Планирование задач

Необходимость планирования задач появляется, как только в очереди активных (готовых) задач появляется более одной задачи (в многопроцессорных системах – более числа имеющихся процессоров). Алгоритм планирования задач является основным отличием СРВ от "обычных" ОС. В последних целью планирования является обеспечение выполнения всех задач из очереди готовых задач, не допуская монополизацию процессора какой-либо из задач. В ОСРВ же целью планирования является обеспечение выполнения каждой готовой задачи к определенному моменту времени, при этом часто "параллельность" работы задач не допускается, поскольку тогда время исполнения задачи будет зависеть от наличия других задач.

Важнейшим требованием при планировании задач в ОСРВ является предсказуемость времени работы задачи. Это время не должно зависеть от текущей загруженности системы, количества задач в очередях ожидания (процессора, семафора, события) и т.д. При этом желательно, чтобы длина этих очередей не была бы ограничена (т.е. ограничена только объемом памяти, доступной системе).

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

Ключевым вопросом планирования является выбор момента принятия решения:

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

б) когда процесс завершает работу. Этот процесс уже не существует, следовательно, необходимо из набора готовых процессов выбрать и запустить следующий;

в) когда процесс блокируется по какой-либо причине, необходимо выбрать и запустить другой процесс;

г) решение по диспетчеризации должно приниматься после разблокировки процесса;

д) планировщик может принимать решение по истечении кванта времени, отпущенного процессу.

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

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

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

Фиксированные приоритеты – приоритет задаче назначается при ее создании и не меняется в течение ее жизни. В схемах планирования ОСРВ требуется, чтобы приоритет каждой задачи был уникальным, поэтому часто ОСРВ имеют большое число приоритетов (обычно 255 и более).

Турнирное определение приоритета – приоритет последней исполнявшейся задачи понижается.

Приоритет по алгоритму round robin – приоритет задачи определяется ее начальным приоритетом и временем ее обслуживания. Чем больше задача обслуживается процессором, тем меньше ее приоритет (но не опускается ниже некоторого порогового значения). Эта схема применяется в большинстве UNIX систем. В разных системах различные алгоритмы планирования задач могут вводить новые схемы изменения приоритетов, так в системе OS -9 приоритеты ожидающих задач увеличиваются для избежания слишком больших времен ожидания.

Возможные типы алгоритмов диспетчеризации.

«Первым пришел – первым обслужен» (алгоритм FIFO). Является алгоритмом планирования без переключений. Процессам предоставляется доступ к процессору в том порядке, в котором они его запрашивают. При FIFO диспетчеризации процесс продолжает выполнение, пока не наступит момент, когда он:

· добровольно уступает управление;

· вытесняется процессом с более высоким приоритетом.

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

«Кратчайшая задача–первая». Этот алгоритм без переключений предполагает, что временные отрезки работы известны заранее. В этом алгоритме первым выбирается самая короткая задача. Данная схема работает только в случае одновременного наличия задач.

«Наименьшее оставшееся время выполнения». Является версией предыдущего алгоритма с переключениями. В соответствии с этим алгоритмом планировщик выбирает процесс с наименьшим оставшимся временем выполнения. В этом случае необходимо знать заранее время выполнения каждого процесса. Когда поступает новый процесс, его время выполнения сравнивается с оставшимся временем выполнения текущего процесса. Если время выполнения нового процесса меньше, текущий процесс приостанавливается и управление передается новому процессу. Это позволяет быстро обслуживать короткие процессы.

Рис. 1.9. Карусельная диспетчеризация. Процесс A выполняется до тех пор, пока он не использовал свой квант времени; затем выполняется следующий процесс, находящийся в состоянии готовности (процесс B).

«Карусельная диспетчеризация (циклическое планирование)». При карусельной диспетчеризации процесс (рис. 1.9) продолжает выполнение, пока не наступит момент, когда он:

1.10. Адаптивная диспетчеризация. Процесс A использовал свой квант времени; его приоритет снизился на 1. Выполняется следующий процесс в состоянии готовности (процесс B)

· добровольно уступает управление (т.е. блокируется);

· вытесняется процессом с более высоким приоритетом;

· использовал свой квант времени (timeslice). После того, как процесс использовал свой квант времени, управление передается следующему процессу, который находится в состоянии готовности и имеет тот же уровень приоритета.

«Адаптивная диспетчеризация». При адаптивной диспетчеризации (рис. 1.10) процесс ведет себя следующим образом:

· Если процесс использовал свой квант времени (он не блокировался), происходит снижение приоритета (priority decay) (его приоритет уменьшается на 1). "Пониженный" процесс не продолжает "снижаться", даже если он использовал еще один квант времени и не блокировался – он снизится на один уровень ниже своего исходного приоритета.

· Если процесс блокируется, то ему возвращается первоначальное значение приоритета.

Дата добавления: 2014-01-05