Планирование сроков может быть разделено на две категории: 1) по мнению компьютерного сообщества в реальном времени;и 2) как полагает сообщество теории расписаний.Категория 1 является подмножеством категории 2. Большинство практиков в области вычислений в реальном времени не знают о категории 2.
Основное различие заключается в том, что категория 1 предполагает относительно простой особый случай, когда крайние сроки либо соблюдаются, либо пропускаются, иэти пропущенные сроки являются провалом, поэтому критерий оптимальности планирования должен соответствовать всем срокам (так называемым «жестким» в реальном времени).Самый ранний крайний срок - первый (EDF) - наиболее распространенный алгоритм планирования крайнего срока категории 1.Существует огромное количество литературы по планированию крайних сроков категории 1 - например, в материалах симпозиума систем реального времени IEEE.Хорошей книгой является Планирование сроков исполнения для систем реального времени Станковича и др. - EDF и смежные алгоритмы .
AFAIK, не существует существующих продуктов COTS операционной системы реального времени, которые реализуют планирование крайних сроков, особенно EDF.Несколько коммерческих продуктов были предприняты (например, DEC, IBM), но были заброшены из-за различных трудностей, таких как интеграция EDF с другими средствами управления ресурсами (например, синхронизаторами, незапланированными действиями) в ОС при сохранении обратной совместимостиРешение состоит в том, чтобы спланировать сроки исполнения (EDF и другие алгоритмы) как неотъемлемую часть ОС с нуля.Мне известны три продукта ОС реального времени COTS, которые сделали это, но ни один из них не вышел на рынок по организационным причинам, не связанным с ОС: DECs Libra, IBM OS / 2 для PowerPC (в сотрудничестве с DEC) иOSF-1 Mk7.3a от Open Software Foundation (в сотрудничестве с DEC и IBM).Некоторым исследовательским ОС, разработанным и внедренным с нуля, например, Альфа Дженсена в CMU, удалось внедрить планирование крайних сроков.Alpha воспользовалась преимуществом полной свободы, позволив подключать произвольные алгоритмы планирования, в том числе EDF и Utility Acrual.Другие исследовательские ОС стремились улучшить Linux (см. Проект VA Tech ChronOS, цитируемый постом Джонатана Андерсона).ChronOS ограничен тем, что основан на Linux, но также поддерживает алгоритмы планирования Utility Accrual.
Категория 2 охватывает всю тему планирования крайних сроков в целом, из которых категория 1 является более простым подмножеством.В частности, категория 2 признает понятия преждевременности и опоздания в отношении крайнего срока.Критерии оптимальности планирования включают минимизацию количества пропущенных сроков, минимизацию среднего опоздания, минимизацию максимального опоздания и многие (любые) другие.Технически, категория 2 минус подмножество категории 1 является «мягким» в реальном времени, хотя практики и даже исследователи в реальном времени используют много разных неточных и неточных описаний термина «мягкое» в реальном времени.это планирование категории 1. Однако оно более реалистично и более широко применимо, используется во многих отраслях (например, в сфере транспорта, производства и т. д.). Литература еще более обширная, чем для категории 1. Хороший учебник - это книга Пиндо Планирование: теория, алгоритмы и системы .