Чтение онлайн

Так как тасклеты реализованы на основе отложенных прерываний, они тоже являются отложенными прерываниями (softirq). Как уже рассказывалось, тасклеты представлены двумя типами отложенных прерываний:

и . Единственная разница между ними в том, что тасклеты типа выполняются всегда раньше тасклетов типа .

Тасклеты представлены с помощью структуры

. Каждый экземпляр структуры представляет собой уникальный тасклет. Эта структура определена в заголовочном файле в следующем виде.

Поле

— это функция-обработчик тасклета (эквивалент поля для структуры, представляющей отложенное прерывание), которая получает поле в качестве единственного аргумента при вызове.

Поле

может принимать одно из следующих значений: нуль, или . Значение указывает на то, что тасклет запланирован на выполнение, а значение — что тасклет выполняется. Для оптимизации значение может использоваться только на многопроцессорной машине, так как на однопроцессорной машине и без этого точно известно, выполняется ли тасклет (действительно, ведь код, который выполняется, либо принадлежит тасклету, либо нет).

Поле

используется как счетчик ссылок на тасклет. Если это значение не равно нулю, то тасклет запрещен и не может выполняться; если оно равно нулю, то тасклет разрешен и может выполняться в случае, когда он помечен как ожидающий выполнения.

Запланированные (scheduled) на выполнение тасклеты (эквивалент сгенерированных отложенных прерываний) [39] хранятся в двух структурах, определенных для каждого процессора: структуре

(для обычных тасклетов) и структуре (для высокоприоритетных тасклетов). Каждая из этих структур — это связанный список структур . Каждый экземпляр структуры представляет собой отдельный тасклет.

Тасклеты могут быть запланированы на выполнение с помощью функций

и , которые принимают единственный аргумент— указатель на структуру тасклета— . Эти функции очень похожи (отличие состоит в том, что одна использует отложенное прерывание с номером , а другая — с номером ). К написанию и использованию тасклетов мы вернемся в следующем разделе. А сейчас рассмотрим детали реализации функции , которые состоят в следующем.

• Проверяется, не установлено ли поле

в значение . Если установлено, то тасклет уже запланирован на выполнение и функция может возвратить управление.

• Сохраняется состояние системы прерываний и запрещаются прерывания на локальном процессоре. Это гарантирует, что ничто на данном процессоре не будет мешать выполнению этого кода.

• Добавляется тасклет, который планируется на выполнение, в начало связанного списка структуры

или , которые уникальны для каждого процессора в системе.

• Генерируется отложенное прерывание с номером

или , чтобы в ближайшее время данный тасклет выполнился при вызове функции .

• Устанавливается состояние системы прерываний в первоначальное значение и возвращается управление.

При первой же удобной возможности функция

выполнится, как это обсуждалось в предыдущем разделе. Поскольку большинство тасклетов помечаются как готовые к выполнению в обработчиках прерываний, то, скорее всего, функция вызывается сразу же, как только возвратится последний обработчик прерывания. Так как отложенные прерывания с номерами или к этому моменту уже сгенерированы, то функция выполняет соответствующие обработчики. Эти обработчики, а также функции и являются сердцем механизма обработки тасклетов- Давайте рассмотрим, что они делают.

• Запрещаются прерывания, и получается весь список

или для текущего процессора.

• Список текущего процессора очищается путем присваивания значения нуль указателю на него.

• Разрешаются прерывания (нет необходимости восстанавливать состояние системы прерываний в первоначальное значение, так как этот код может выполняться только в обработчике отложенного прерывания, который вызывается только при разрешенных прерываниях).

• Организовывается цикл по всем тасклетам в полученном списке.

• Если данная машина является многопроцессорной, то нужно проверить не выполняется ли текущий тасклет на другом процессоре, то есть проверить не установлен ли флаг

. Если тасклет уже выполняется, то его необходимо пропустить и перейти к следующему тасклету в списке (вспомним, что только один тасклет данного типа может выполняться в любой момент времени).

• Если тасклет не выполняется, то нужно установить флаг

, чтобы другой процессор не мог выполнить этот тасклет.