Альтернативные решения

Частотно-монотонная теория диспетчеризации - частный случай теории диспетчеризации с равномерным распределением критических сроков обслуживания, в которой пределы (критические сроки обслуживания) могут быть короче, чем периоды. (Для ситуации, в которой пределы длиннее, чем периоды, в настоящее время успешной теории не существует). Для ситуации, в которой приоритеты основаны на пределах таким образом, что задачи с самым коротким критическим сроком выполнения получают самый высокий приоритет (диспетчеризация с равномерным распределением критических сроков обслуживания(deadline-monotonic scheduling)), достаточное и необходимое условие было доказано [14]. (Не путать с earliest-deadline-first диспетчеризацией, которая является динамическим алгоритмом, требующим динамического изменений приоритетов, с их реорганизацией в начале каждого периода. Эта политика здесь не описана.) Если мы отказываемся от фундаментального предположения о ЧМА, и допускаем, что пределы могут быть меньше чем периоды, тогда можно получить очень интересные результаты. Эти результаты кратко обрисованы ниже. В диспетчеризации с равномерным распределением критических сроков обслуживания, основополагающим является понятие отклика задачи, который равен продолжительности задачи в самом плохом случае и включает все время от активизации до завершения задачи. Выполнение задач на более низких приоритетных уровнях может начаться, только если все выполнение на более высоких приоритетных уровнях было закончено – это основной принцип.

Чтобы определить диспетчируемость задачи, должно быть решено простое уравнение [15, 16]:

где R_i - время отклика задачи, и H - набор задач с более высокими приоритетами чем приоритет задачи i. Поскольку время отклика R_i появляется с обеих сторон этого уравнения, уравнение может быть решено путем многократного использования следующего уравнения для i в точке n, которое зависит от его ценности в точке n- 1:

В первом приближении, R ⁰ _i, может быть выбрана как совокупное время выполнения всех задач с приоритетами выше чем приоритет Задачи i. Цикл останавливается, если Rⁿ_i=R^n-1 или если Rⁿ_i>D_i, где D_i является критическим сроком выполнения для задачи i. Также должно быть отмечено, что, уравнение для R_j может иметь больше чем одно решение. Также, возможно включение компонент блокирования B_j в это уравнение, так как это было сделано в ЧМА Теореме 2A.