МИНОБРНАУКИ РОССИИ

САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ

ЭЛЕКТРОТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ

«ЛЭТИ» ИМ. В.И. УЛЬЯНОВА (ЛЕНИНА)

Кафедра информационной безопасности

Реферат

по дисциплине «Системы реального времени»

Тема: Выполнимость набора задач

Студент _________________

Преподаватель _________________ Сидельников В.В.

Санкт-Петербург

2026

Содержание

Y

СОДЕРЖАНИЕ 3

ОСНОВНАЯ ЧАСТЬ 4

Концептуальные основы выполнимости в системах реального времени 4

Формальная модель и базовые параметры задач реального времени 5

Теория и алгоритм Rate Monotonic (RM) анализа 6

Deadline Monotonic (DM) анализ и его преимущества 7

Реализация планирования в контексте стандарта POSIX 8

Проблемы инверсии приоритетов и методы их решения 9

Заключение 10

СПИСОК ИСТОЧНИКОВ 12

Основная часть Концептуальные основы выполнимости в системах реального времени

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

Формальная модель и базовые параметры задач реального времени

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