Разработка отказоустойчивой операционной системы реального времени для вычислительных систем с максимальным рангом отказоустойчивости

Разработка отказоустойчивой операционной системы реального времени для вычислительных систем с максимальным рангом отказоустойчивости

Содержание

• Операционные системы реального времени.
• Описание и общие требования к системам реального времени.
• 1.2. Параметры ОСРВ
• 1.2.1. Время реакции системы
• 1.2.2. Время переключения контекста
• Размеры системы
• Механизмы реального времени
• 1.3.1. Система приоритетов и алгоритмы диспетчеризации
• 1.3.2. Механизмы межзадачного взаимодействия
• Средства для работы с таймерами
• Классы систем реального времени
• Операционная система OS-9
• ОС разработки (host): UNIX/Windows
• Операционная система VxWorks
• Операционная система QNX
• Операционная система LynxOS
• Физическая связь (линк) под номером 4 используется каждым ПЭ для обмена с объектом управления и приема данных функциональной задачей для расчета на очередном цикле. В данной главе аспекты использования и надежности этих связей не рассматриваются, анализу подвергается только внутренняя структура ВС.
• Таблица 2.8
• Таблица 2.11
• Таблица 2.13
• Таблица 2.14
• Обновленная таблица связности
• Анализ работоспособными узлами причин отказа показывает:
• Таблица 2.23
• Таблица 2.24
• Таблица 2.25
• 2.7. Выводы к главе 2
• Таблица 3.1
• Таблица 3.2
• Функции, реализующие маршрутизатор
• Имя
• Формирование таблиц рассылки методом волны
• Таблица 3.3
• Функции, реализующие модуль коммуникации
• Имя
• Таблица 3.4
• Функции, реализующие модуль голосования и анализатора отказов
• Имя
• Переинициализация буферов голосования
• Таблица 3.5
• Функции, реализующие реконфигуратор
• Имя
• Проверка изолированности ПЭ Cpu.
• Таблица 3.6
• Функции, реализующие функциональную задачу
• Имя
• Функция исполнения ФЗ (на данном этапе ФЗ – набор последовательных простейших операторов) по информации от объекта управления. Завершается отсылкой результатов для голосования другим ПЭ и передачей управления задачам прослушивания и голосования.
• Таблица 3.7
• Функции, реализующие моделирование отказа
• Имя
• type=1 – фатальный отказ ПЭ, приостановка всех канальных потоков и ФЗ.
• Завершает соответствующий канальный поток, в случае фатального отказа (type=0), или дает указание модулю коммуникации отсылать ошибочные пакеты (type=1).
• Таблица 3.6
• Назначение и функции элементов диалога
• Элемент
• Содержит три связанных элемента:
• Модули маршрутизации, реконфигурации, голосования реализованы как аппаратно-независимые процедуры операционной системы. Модули оперируют данными, заданными в конфигурационном файле, что не привязывает их к конкретной топологии. Реализованные методом структурного программирования на языке Си, модули могут быть перенесены на большинство платформ, включая и TMS320C30.
• Таблица 4.1
• Команды