Пример 9 характеристики шести задач, обсуждаемых в Примере 9

Интересный пример был предложен Borger, Klein, и Veltre [8] для набора задач, представленных в Таблице 9. Этот пример показывает определение максимального времени контекстного переключения C, таким, что задачи все еще являются диспетчируемыми. В приложении представлена программа на языке C для выполнения этих вычислений, использующая методику, весьма подобную используемой в Примере 8.

Таблица 9: Характеристики шести задач, обсуждаемых в Примере 9.

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

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

C ’_i + D _e

Где D_e - время выполнения диспетчера.

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

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

C’_i + (N - i) x D_b

где C’’_i = C’_i + D_e и D_b – время блокировки планировщиком, где D_b ≤ D_e. В общем случае D_b может быть меньше D_e, если низкоприоритетная задача активизируется одновременно с высокоприоритетной [8].

Пример теста на диспетчируемость для набора задач из Таблицы 9, включая оба эффекта планировки (то есть те, которые определяют времена D_b и D_e) приводится в статье Borger, Klein, и Veltre [8] (для De = Db = 0.2 миллисекунды). Дополнительное представление о вкладе накладных расходов планировщика можно получить из анализа диспетчеризации, полученного на основе экспериментальных исследований, приведенного в статье Burns, Wellings и Hutcheon [9].