Монотонное планирование по частоте
Назначение фиксированных приоритетов периодическим задачам реального времени по частоте: чем короче период, тем выше приоритет.
Чунг Лаунг Лю и Джеймс Лейланд доказали в 1973 году, что среди всех схем с фиксированными приоритетами эта оптимальна, и дали к ней простой критерий: если суммарная загрузка процессора для n задач остаётся ниже n(21/n − 1), все сроки выдерживаются. Граница стремится к ln 2, примерно 69 процентам. Превышение не значит, что система сломана, — лишь что считать теперь придётся всерьёз.
Метод идеально подходит обычной RTOS, ведь ему нужен лишь вытесняющий планировщик с фиксированными приоритетами. Альтернатива — «ближайший срок первым» (EDF) — достигает 100 процентов, но вынуждена перетасовывать приоритеты на лету. Весь анализ держится на знании времени выполнения каждой задачи в наихудшем случае и на том, что ни одну задачу не блокирует менее приоритетная, — а именно об этом говорит инверсия приоритетов.