Программное обеспечение подсистемы проверки

Разработка отказоустойчивой операционной системы реального времени для вычислительных систем с максимальным рангом отказоустойчивости
Найти, подготовить и загрузить затребованную задачу; Управление взаимодействием частей системы (например, менеджеров процессов и файлов) Поддержка отказоустойчивости вычислительных систем средствами операционных систем реального времени ОС представляет собой совокупность информационно взаимосвязанных и согласовано функционирующих операционных систем каждого отдельного узла сети ВС Описание системных таблиц Модуль маршрутизатора Процедура голосования Инициализация Недостоверность переданной информации была вызвана кратковременным сбоем, при этом ПЭ1 получил достоверные результаты счета, а ПЭ3 – недостоверные Методика анализа отказов Оценка надежностных характеристик отказоустойчивой ВС Программное обеспечение модели отказоустойчивой ВС Программное обеспечение подсистемы проверки Обзор базовых ОСРВ для платформы TMS320C30 Проверка содержимого памяти Системные исследования Разработка алгоритмов Метод сквозного структурного контроля
148576
знаков
34
таблицы
0
изображений

3.2 Программное обеспечение подсистемы проверки


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

Отображение текущей топологической информации ВС.

Отображение вычислительного процесса в ВС.

Возможность моделирования различных отказов ВС.

Для обеспечения удобного интерфейса, приложение было сделано в виде диалогового окна с помощью библиотеки классов Windows MFC (Microsoft Foundation Classes).

Рис. 3.3. Диалоговое окно программы Host.


Функциональное назначение элементов диалогового окна представлено в таблице 3.6.

Таблица 3.6 Назначение и функции элементов диалога
Элемент

Описание

Панель «Отказ линка»

Содержит три связанных элемента:

Переключатели (Radio Group) задания вида отказа линка, при этом «Фатальный отказ» означает полное прекращение передачи информации, а «Некорректная передача» - искажение передаваемых пакетов.

Поля «ПЭ» и «Линк» задают номер ПЭ и номер канала связи для моделирования отказа.

Кнопка «Задать» активизирует передачу управляющей информации заданному ПЭ.

Панель «Отказ ПЭ»

Содержит два связанных элемента:

Переключатели задания вида отказа ПЭ, при этом «Фатальный отказ» означает полное прекращение функционирования (например зависание), а «Отказ ФЗ» - неправильный расчет ФЗ, с сохранением функций обмена и голосования.

Поле «ПЭ» задает номер ПЭ для моделирования отказа.

Кнопка «Задать» активизирует передачу управляющей информации заданному ПЭ.

Поле вывода (Rich Edit) «Топология»

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

Поле вывода «Процесс»

Обеспечивает вывод в текстовом или графическом виде согласованных результатов счета ФЗ.

Кнопка «ПУСК»

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

Кнопка «Выход»

Обеспечивает освобождение памяти, уничтожения потоков исполнения, завершение программы.


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

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

Представленное программное обеспечение позволяет моделировать произвольную ВС, заданную матрицей связности, проводить проверку функционирования модулей ОСРВ, обеспечивающих отказоустойчивость, проводить комплексную отладку ПО.

4. Портирование ОСРВ на платформу TMS320C30


Под портированием (от англ. porting) понимается изменение программного обеспечения для функционирования в услвиях разных архитектур процессорных элементов.


4.1 Основные характиристики и область применения процессора TMS320C30


Унивеpсальность и pабота в pеальном масштабе вpемени пpоцессоpов семейства TMS320 позволяют использовать их в шиpоком кpуге pазpаботок, таких как:

ЦОС ОБЩЕГО НАЗНАЧЕНИЯ:

цифpовая фильтpация;

свертка;

коppеляция;

пpеобpазование Гильбеpта;

быстpое пpеобpазование Фуpье;

адаптивная фильтpация и др.

ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА :

спектpальный анализ;

генеpиpование функций;

сейсмическая обpаботка;

анализ переходных процессов;

цифpовая фильтpация и др.

ВОЕННАЯ ТЕХНИКА, управляющие системы и др.

секpетная связь;

обpаботка сигналов pадаpа;

навигация;

упpавление pакетами;

автоматические системы;

бортовые системы и др.

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

Ниже пеpечислены основные параметры TMS320C30:

60 нс вpемя выполнения однотактной команды

33.3 MFLOPS (миллион операций с плавающей точкой в секунду)

16.7 MIPS (миллион инструкций в секунду)

Блок ПЗУ 4К х 32 двойного доступа без такта ожидания

Два блока ОЗУ 1К х 32 двойного доступа без такта ожидания

Кэш-память команд 64 х 32

32-pазpядные слова данных и команд, 24-pазpядный адpес

40/32-бит плавающая точка/целые числа умножитель и АЛУ

32-pазpядный кольцевой сдвиговый pегистp

Восемь pегистpов pасшиpенной точности (аккумулятоpы)

Два адpесных генеpатоpа с восемью вспомогательными pегистpами и два аpифметических блока вспомогательных pегистpов

Внутpикpистальный контpоллеp пpямого доступа в память (DMA) для независимых опеpаций ввода/вывода и центpального пpоцессоpного блока

Целочисленные, с плавающей точкой и логические опеpации

Двух- и тpехопеpандные команды

Паpаллельная pабота АЛУ и умножителя в одном такте

Возможность повтоpения блоков команд

Циклы с нулевыми непроизводительными издержками и пеpеходы за один цикл

Условные переходы и возвраты

Команды для поддеpжки мультипpоцессоpной pаботы

Два последовательных порта для обмена 8/16/32 - pазpядными сообщениями

Два 32-pазpядных таймера

Два внешних флага общего назначения, четыре внешних прерывания



Информация о работе «Разработка отказоустойчивой операционной системы реального времени для вычислительных систем с максимальным рангом отказоустойчивости»
Раздел: Информатика, программирование
Количество знаков с пробелами: 148576
Количество таблиц: 34
Количество изображений: 0

Похожие работы

Скачать
172056
0
5

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

Скачать
200314
8
2

... , практически, не используются. Проблема информатизации Минторга может быть решена путем создания Автоматизированной Информационной системы Министерства Торговли РФ (АИС МТ РФ) в соответствии с настоящим Техническим предложением.   ГЛАВА 2. МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ КОМПЛЕКСА ЗАДАЧ "СИСТЕМА ДОКУМЕНТООБОРОТА УЧЕРЕЖДЕНИЯ”. функции поиска и архивации 2.1. Постановка задачи и её спецификация ...

Скачать
152655
7
3

... дейст­вий одной из них; • обращение к внешним устройствам только через операционную систему, что по­зволяет программистам использовать уже написанные драйверы, и не заниматься проблемами обеспечения совместимости с ними вновь разработанных программ; • возможность использования звуковых и видеоприложений. В отличие от Windows З.х новая операционная система не нуждается в установке на компьютере ...

Скачать
214673
1
8

... Системы обработки информации. Защита криптографическая. Алгоритм криптографического преобразования. М.: Госстандарт СССР. ГОСТ 31078-2002. Защита информации. Испытания программных средств на наличие компьютерных вирусов. Типовое руководство. СТБ ИСО/МЭК 9126-2003. Информационные технологии. Оценка программной продукции. Характеристики качества и руководства по их применению. СТБ ИСО/МЭК ТО ...

0 комментариев


Наверх