Процесс реального времени

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

Классификация процессов реального времени

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

По жёсткости временных ограничений

• Жёсткие процессы реального времени (Hard Real-Time): Нарушение временного ограничения (дедлайна) считается полным отказом системы. Результат, полученный с опозданием, теряет ценность и может привести к аварии или повреждению оборудования. Примеры: система управления подушками безопасности автомобиля, автопилот самолёта, управление ядерным реактором.
• Мягкие процессы реального времени (Soft Real-Time): Пропуск дедлайна не является катастрофой, но приводит к снижению качества обслуживания (QoS) или производительности системы. Система продолжает функционировать, хотя и с ухудшенными характеристиками. Примеры: система видеоконференцсвязи (пропуск кадра — джиттер), потоковое аудио, онлайн-игры.
• Гибридные процессы (Firm Real-Time): Промежуточный класс. Пропуск дедлайна не приводит к фатальным последствиям, но результат становится бесполезным и отбрасывается. Система не деградирует, но теряет часть данных. Пример: цифровое телевидение (потеря пакета данных).

По характеру запуска

• Периодические процессы: Запускаются через строго определённые интервалы времени (период). Требования к времени выполнения и дедлайну обычно привязаны к началу периода. Пример: опрос датчика температуры каждые 100 мс.
• Спорадические процессы: Запускаются в ответ на внешние события, которые происходят нерегулярно, но с известной минимальной задержкой между ними (inter-arrival time). Пример: обработка нажатия кнопки.
• Апериодические процессы: Запускаются в ответ на случайные события, время возникновения которых невозможно предсказать. В системах реального времени такие процессы часто обрабатываются с помощью механизмов прерываний и приоритетов.

Основные характеристики и требования

Для обеспечения детерминированного поведения процессов реального времени используются следующие ключевые метрики:

• Дедлайн (Deadline): Абсолютный или относительный момент времени, к которому процесс должен завершить выполнение.
• Время выполнения (Execution Time): Время, необходимое процессу для выполнения на процессоре при отсутствии конкуренции за ресурсы. Может быть фиксированным или варьироваться (WCET — Worst-Case Execution Time, наихудшее время выполнения).
• Период (Period): Для периодических процессов — интервал между двумя последовательными запусками.
• Приоритет (Priority): Статический или динамический уровень важности, определяющий порядок доступа к процессору. В системах реального времени часто используются приоритеты с фиксацией (priority ceiling) или наследованием приоритета для предотвращения инверсии приоритетов.
• Время отклика (Response Time): Интервал от момента возникновения запроса до момента завершения обработки. Для жёстких систем время отклика должно быть гарантированно меньше дедлайна.

Планирование процессов реального времени

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

Статические алгоритмы (предопределённые приоритеты)

• Rate-Monotonic Scheduling (RMS): Приоритет назначается обратно пропорционально периоду процесса. Чем короче период, тем выше приоритет. Является оптимальным статическим алгоритмом для периодических процессов при условии, что суммарная загрузка процессора не превышает определённого порога (для n процессов — n*(2^(1/n)-1)).
• Deadline-Monotonic Scheduling (DMS): Приоритет назначается обратно пропорционально длине дедлайна. Чем короче дедлайн, тем выше приоритет. Используется, когда дедлайн не равен периоду.

Динамические алгоритмы (приоритеты меняются во времени)

• Earliest Deadline First (EDF): В каждый момент времени выполняется процесс с самым ранним дедлайном. Является оптимальным динамическим алгоритмом, позволяющим достичь загрузки процессора до 100% для жёстких систем.
• Least Laxity First (LLF): Выполняется процесс с наименьшим запасом времени (laxity = deadline - remaining execution time). Требует частого пересчёта приоритетов.

Механизмы синхронизации

Для предотвращения конфликтов при доступе к общим ресурсам (память, устройства ввода-вывода) в системах реального времени применяются специальные протоколы:

• Priority Inheritance Protocol (PIP): Низкоприоритетный процесс, захвативший ресурс, временно наследует приоритет высокоприоритетного процесса, ожидающего этот ресурс. Это предотвращает инверсию приоритетов.
• Priority Ceiling Protocol (PCP): Каждому ресурсу назначается «потолок приоритета» — максимальный приоритет процесса, который может его использовать. Процесс может захватить ресурс, только если его приоритет выше текущего потолка всех захваченных ресурсов.

Операционные системы реального времени

Для поддержки процессов реального времени разработаны специализированные ОСРВ, которые отличаются от универсальных операционных систем (Windows, Linux общего назначения) следующими особенностями:

• Детерминизм: Предсказуемое время реакции на прерывания и системные вызовы.
• Минимальные накладные расходы: Быстрое переключение контекста, минимальное время обработки прерываний.
• Поддержка приоритетов: Возможность назначения приоритетов процессам и обработчикам прерываний.
• Поддержка протоколов синхронизации: Встроенная реализация PIP, PCP.
• Ограниченная функциональность: Часто отсутствуют сложные графические оболочки, файловые системы с произвольным доступом, виртуальная память (или она реализована с ограничениями).

Примеры ОСРВ: VxWorks, QNX Neutrino, FreeRTOS, RTEMS, INTEGRITY, а также расширения реального времени для Linux (PREEMPT_RT, Xenomai, RTAI).

Применение

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

• Авионика и космонавтика: Системы управления полётом, автопилоты, системы навигации (например, в российских самолётах Sukhoi Superjet 100 и МС-21 используются ОСРВ).
• Автомобильная промышленность: Электронные блоки управления (ECU) двигателем, тормозной системой (ABS), подушками безопасности, системами помощи водителю (ADAS).
• Промышленная автоматизация: Программируемые логические контроллеры (ПЛК), системы управления технологическими процессами (SCADA), робототехника.
• Медицина: Системы жизнеобеспечения, аппараты ИВЛ, дефибрилляторы, системы мониторинга пациентов.
• Телекоммуникации: Базовые станции сотовой связи, маршрутизаторы с гарантированной пропускной способностью (QoS).
• Военная техника: Системы наведения, управления оружием, радиолокационные станции.

Критика и ограничения

Несмотря на свою эффективность, концепция процессов реального времени имеет ряд ограничений:

• Сложность верификации: Гарантировать соблюдение всех дедлайнов в сложной многозадачной системе крайне трудно. Требуется анализ наихудшего времени выполнения (WCET), который часто завышается, что приводит к неэффективному использованию ресурсов.
• Чувствительность к аппаратным сбоям: Отказ кэша, ошибка памяти или прерывание могут нарушить временные характеристики.
• Трудность масштабирования: Увеличение числа процессов или снижение периодов может привести к перегрузке процессора и пропуску дедлайнов.
• Отсутствие универсальности: ОСРВ, как правило, менее удобны для разработки пользовательских интерфейсов и работы с сетью, чем универсальные ОС.

Источники

1. Бен-Ари М. «Принципы операционных систем реального времени». — М.: ДМК Пресс, 2011.
2. Buttazzo G. C. «Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications». — Springer, 2011.
3. Kopetz H. «Real-Time Systems: Design Principles for Distributed Embedded Applications». — Springer, 2011.
4. Liu J. W. S. «Real-Time Systems». — Prentice Hall, 2000.
5. Tanenbaum A. S., Bos H. «Современные операционные системы». — 4-е изд. — СПб.: Питер, 2015.