Разработка отказоустойчивой операционной системы реального времени для вычислительных систем с макси...
Реферат - Компьютеры, программирование
Другие рефераты по предмету Компьютеры, программирование
»жны предусматриваться на этапе проектирования в зависимости от вычислительных ресурсов элементов системы. Таким образом, реконфигурация должна быть выполнена до начала выдачи результатов контроллерам приемников управляющей информации.
- Отказ канала связи. Первоначально корректируется матрица связности ПЭ. При этом определяется, имеет ли отказавший канал связи отношение к данному процессорному элементу. В случае, если после отказа канала связи, какой-либо процессор оказывается изолированным, выполняется отключение процессорного элемента.
- Отказ процессорного элемента. Обработка отказа всего процессорного элемента выполняется посредством коррекции матрицы связности ПЭ, удаление всех каналов связи.
- Отказ функциональной задачи трактуется так же, как и отказ процессорного элемента.
Реконфигуратор тесно связан с модулем маршрутизации и обращается к нему сразу после изменения системных таблиц для коррекции таблиц рассылки и определения активных элементов системы. Обобщенная модель реконфигуратора может быть представлена на следующей схеме:
Рис. 2.3. Модуль реконфигурации
После отказа функционального элемента, процесс реконфигурации осуществляется по следующей схеме:
- В таблице связности отказавший линк или линки отказавшего ПЭ помечаются как недоступные.
- Проверяется, не остались ли изолированными оставшиеся узлы, если да, то они отключаются.
- По таблице связности определяется новый список соседних узлов системы, определяется ПЭ, которого (которых) необходимо вывести из резерва.
- Производится активизация резервного ПЭ путем передачи ему кода активизации, текущей таблицы связности и контекста задачи от старшего ПЭ в ВС (например, от ПЭ с младшим номером).
2.4.4. Модуль коммуникации
Основной задачей этого модуля является организация информационного обмена между процессами в системе, то есть передача информационных сообщений между функциональными задачами и системных сообщений между операционными системами разных ПЭ.
Таким образом, модуль коммуникации обеспечивает:
- получение запроса на прием/передачу данных от функциональной задачи;
- установление соответствия между передатчиком и приемником данных;
- передача сообщения и идентификаторов адресатов модулю пересылки информации;
- хранение принимаемых данных;
- проверка согласованности данных от резервированных источников (голосование);
- выявление в результате голосования отказа компонент системы и посылка соответствующего сигнала модулю реконфигурации;
- передача согласованных данных ФЗ;
- передача/прием системных сообщений.
Модуль пересылки информации:
- формирование формата передаваемого сообщения;
- идентификация принимаемых сообщений;
- диагностика целостности принимаемых сообщений (проверка контрольной суммы);
- определение отказов физической среды передачи данных (проверка подтверждений приема данных “квитанций”);
- формирование сигнала модулю ОС реконфигуратору о неисправности среды передачи.
В своей работе модуль опирается на функции ввода-вывода нижележащего модуля пересылки информации. Поскольку распределенная ОСРВ является надстройкой над базовой ОС нижнего уровня, она не имеет доступа к аппаратуре ПЭ и не может осуществлять ввод-вывод на основе обработки прерываний. Общая структура взаимодействия модулей представлена на рис. 1.3:
Рис. 2.4. Структура модулей коммуникации
В связи с этим для обеспечения приёма и передачи информации по каналам связи, для обслуживания каждого из них создаётся задача прослушивания. Прослушивание каналов связи осуществляется после отработки задачи на очередном цикле. При этом должна происходить проверка, не является ли сообщение транзитным, и в случае транзитной передачи, немедленно осуществлять отсылку по нужному каналу связи из таблицы рассылки.
Формат посылки состоит из заголовка и самого тела посылки. В заголовке используются следующие поля:
- Получатель (номер ПЭ);
- Отправитель;
- Тип посылки (информационная или системная);
- Размер информационной части посылки (может быть нулевой);
- Контрольная сумма пакета.
Передача информации происходит сразу после завершения функциональной задачей процедуры расчета, и управление передается задаче прослушивания (модулю пересылки), причем на это отводится фиксированное время (включается сторожевой таймер), равное максимальному периоду обмена между процессорными элементами в активной тройке. Максимальным временем в данном случае будет время с учетом транзитных передач через узлы ВС при отказе связей, которое может составлять до N-1 периодов записи.
2.4.5. Процедура голосования
Под голосованием будем понимать совокупность элементарных проверок (сопоставлений результатов) независимых решений одного и того же фрагмента задачи.
По результатам сравнения формируется вектор промежуточного состояния (предварительный вывод о состоянии системы). Например, вектор может состоять из 0, если соответствующий узел исправен по результатам сравнения или 1, при расхождении результатов сравнения. При этом, если данные текущего узла не совпадают с одинаковыми результатами соседних ПЭ, то текущий узел может прогнозировать собственный сбой.
Далее следует обмен результатами сравнения по описанной выше схеме