Linux Kernel (Ядро линукса) (часть 1)

Функции, вызываемые планировщиком

В своей работе планировщик опирается на ряд функций, самыми важными из которых являются следующие:
- scheduier ticko — поддерживает корректное состояние счетчика time_ slice у текущего процесса;
- try_to_wake_up —будит спящие процессы;
- recaic task prio — обновляет динамический приоритет процесса;
- schedule — выбирает новый процесс для выполнения;
- load baianceo — поддерживает сбалансированность очередей в многопроцессорной системе.

Функция scheduler_tick

что функция scheduier ticko вызывается на каждом тике для выполнения некоторых операций, имеющих отношение к планированию. Она выполняет следующие действия:
1. Сохраняет в поле timestamp iast tick локальной очереди на выполнение текущее значение регистра TSC, переведенное в наносекунды. Эта отметка времени возвращаеися функцией sched ciock .
2. Проверяет, является ли текущий процесс процессом swapper на локальном процессоре. Если является, функция выполняет следующие действия:
• если локальная очередь на выполнение содержит еще один процесс, кроме процесса swapper, функция устанавливает флаг tif need resched текущего процесса, чтобы форсировать перепланирование. Как мы увидим далее в этой главе, если ядро поддерживает технологию Hyper- Threading, то логический процессор может работать вхолостую, даже при наличии выполняемых процессов в его очереди на выполнение, если приоритеты этих процессов значительно ниже, чем у процесса, работающего на другом логическом процессоре, ассоциированном с тем же физическим процессором;
• переходит к шагу 7 (нет необходимости обновлять счетчик отрезка времени для процесса swapper).
3. Проверяет, указывает ли поле current->array на список активных процессов в локальной очереди на выполнение. Если это не так, значит, процесс исчерпал свой квант времени, но еще не был замещен. В таком случае функция устанавливает флаг tif need resched текущего процесса, чтобы форсировать перепланирование, и переходит к шагу 7.
4. Получает СПИН-блОКИрОВКу this_rq ->lock.
5. Уменьшает счетчик отрезка времени у текущего процесса и проверяет, истек ли этот квант. Действия функции сильно различаются в зависимости от класса планирования, к которому принадлежит процесс, и мы вскоре обсудим их.
6. Освобождает спин-блокировку this rq ->lock.
7. Вызывает функцию rebaiance ticko, которая должна добиться, чтобы очереди на выполнение у различных процессоров содержали примерно одинаковое количество выполняемых процессов. Балансировку очередей мы обсудим в разд. "Балансирование очередей на выполнение в многопроцессорных системах" далее в этой главе.