diplom (664611), страница 12

Файл №664611 diplom (Разработка отказоустойчивой операционной системы реального времени для вычислительных систем с максимальным рангом отказоустойчивости) 12 страницаdiplom (664611) страница 122016-07-31СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 12)

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

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ядных таймера

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

4.2 Обзор базовых ОСРВ для платформы TMS320C30

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

Операционная система SPOX.

SPOX поддерживает несколько различных вариантов архитектур:

  • дополнительные вычислительные среды для рабочих станций;

  • однородные встраиваемые системы;

  • неоднородные встраиваемые системы;

  • персональные компьютеры с процессором Intel Pentium под управлением Microsoft Windows 95.

Среда SPOX состоит из четырех основных компонентов (рис. 4.1):

  • ядро SPOX (SPOX-KNL) обеспечивает вытесняющую приоритетную многозадачность, высокоскоростную обработку прерываний, распределение памяти, различные механизмы межзадачного обмена информацией и синхронизации, а также независимый от устройств ввод-вывод. Результатами тестирования SPOX-KNL стали следующие цифры:

  • Время захвата семафора – 7.9 мкс;

  • Время переключения задач одинакового приоритета – 15 мкс;

  • Время реакции на прерывание – 33 мкс;

  • Время завершения прерывания – 1.4 мкс;

  • Задержка диспетчеризации (время вытеснения задачи с большим приоритетом задачу с меньшим) – 12.24 мкс;

  • Время переключения контекста – 7 мкс;

  • Минимальный размер системы 1532 слова.

  • модуль SPOX-LINK поддерживает «прозрачное» взаимодействие между целевой платформой и хост-системой и дающее доступ к основным ресурсам хост-машины, таким как консоли, файловые системы и сети;

  • библиотека (SPOX-MATH) содержит свыше 175 математических функций;

  • высокоуровневый отладчик SPOX-DBUG.

Рис. 4.1. Структурная схема ОС SPOX

Все четыре подсистемы реализованы как библиотеки C-вызываемых перемещаемых модулей. При этом системные функции SPOX подключаются к объектному коду приложения на этапе связывания.

С помощью дополнительного модуля SPOX-MP становится возможной многопроцессорная обработка сигналов. Настройка на конкретную конфигурацию сети процессорных элементов задается в конфигурационном файле, что позволяет не привязываться к конкретной топологии в процессе разработки приложения. SPOX-MP обеспечивает динамическую передачу данных и сообщений по сети процессорных элементов, глобальное пространство имен, а также лавинообразную первоначальную загрузку сети.

Таким образом ОСРВ SPOX имеет необходимые механизмы для создания отказоустойчивой распределенной операционной системы реального времени, концепция построения которой описана в главе 2.

4.3 Аппаратно-зависимые компоненты ОСРВ

Модули маршрутизации, реконфигурации, голосования реализованы как аппаратно-независимые процедуры операционной системы. Модули оперируют данными, заданными в конфигурационном файле, что не привязывает их к конкретной топологии. Реализованные методом структурного программирования на языке Си, модули могут быть перенесены на большинство платформ, включая и TMS320C30.

Модуль коммуникации оперирует высокоуровневыми функциями обмена, опирающимися на драйвера операционной системы. Обмен данными осуществляется через последовательные порты с помощью встроенных механизмов передачи маркера между соседними процессорными элементами.

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

4.3.1. Модуль диагностики ПЭ

Модуль диагностики, реализованный в виде набора функций, возвращающих код ошибки, призван решать следующие задачи:

  1. На этапе инициализации:

  • Тестирование регистров общего назначения процессора;

  • Проверка правильности выполнения арифметических, логических и др. операций;

  • Занесение в соответствующую таблицу контрольных сумм неизменных во время выполнения программ областей памяти (исполняемый код, константы), размещение которых в памяти проводится на этапе сборки рабочего кода в соответствии с картой памяти;

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

  • Тестирование регистров общего назначение;

  • Проверка правильности выполнения арифметических, логических и др. операций;

  • Вычисление контрольных сумм указанных областей памяти и сопоставление их с вычисленными на этапе инициализации.

4.3.1.1. Тестирование регистров общего назначения

Этот тест выполняется первым для проверки регистров повышенной точности (R0-R7) и вспомогательных регистров (АR0-АR7). Тестирование сводится к проверке регистров на запись/чтение из памяти/в память и проверке правильности перемещения данных из регистра в регистр. Тест разбивается на два этапа:

  • Проверка вспомогательных регистров (целочисленные значения). Проверка реализована по следующему алгоритму:

  1. Инициализировать две целочисленные переменные начальным и ожидаемым значением тестирования;

  2. Загрузить начальное значение в регистры (АR0-АR7).

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

  4. Запись в стек модифицированных регистров.

  5. Произвести операцию сдвига влево содержимого стека на N разрядов в соответствии с номером записанного регистра.

  6. Записать данные из стека в регистры.

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

  8. Сравнить содержимое регистра АR7 с ожидаемым, заранее рассчитанным значением.

  • Проверка регистров повышенной точности (значения с плавающей точкой) проводится аналогично.

Функция register_test реализована на языке Ассемблер в соответствии с архитектурой и системой команд TMS320C30.

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

Данный тест разделен на три различных модуля. Вместе они проверяют следующие числовые операции:

1. Логические, сдвиг, циклический сдвиг.

2. Операции с плавающей запятой, выполненные над одним значением и соответствующие параллельные команды.

3. Операции с плавающей запятой и целочисленные, выполняющие сложение, вычитание, и умножение и соответствующие параллельные команды.

В тестах проверяются команды, перечисленные в Таблице 4.1.

Таблица 4.1

Перечень тестируемых команд

Тест

Команды

1

2

Тест 1

ROL – циклический сдвиг влево,

ROLC – циклический сдвиг влево через перенос,

ROR – циклический сдвиг вправо,

RORC – циклический сдвиг вправо через перенос,

AND3 || STI – поразрядное логическое И с сохранением,

LSH3 || STI – логический сдвиг с сохранением,

NOT || STI – дополнение с сохранением,

OR3 || STI – поразрядное логическое ИЛИ с сохранением,

XOR3 || STI – поразрядное исключающее ИЛИ с сохранением,

ABSI || STI – абсолютное значение целого с сохранением,

NEGI || STI – отрицание целого с сохранением,

ASH3 || STI – арифметический сдвиг с сохранением,

1

2

NOT – поразрядное логическое дополнение,

ABSI – абсолютное значение целого числа,

NEGB – отрицание целого с заемом,

ASH – арифметический сдвиг,

NEGI – отрицание целого,

TSTB3 – проверка битовых полей,

CMPI3 – сравнение целых,

STI || STI – сохранение целых,

LDI || LDI – загрузка целых,

XOR – поразрядное исключающее ИЛИ.

Тест 2

STF – сохранить значение с плавающей точкой,

LDF – загрузить значение с плавающей точкой,

LDE – загрузка значения экспоненты с плавающей точкой,

LDM – загрузка значения мантиссы с плавающей точкой,

FIX – преобразование в целое,

FLOAT – преобразование в значение с плавающей точкой,

ABSF – абсолютное значение числа с плавающей точкой,

NEGF – отрицание значения с плавающей точкой,

NORM – нормирование значения с плавающей точкой,

RND – округление значения с плавающей точкой,

POPF – выталкивание значения с плавающей точкой из стека,

PUSHF – загрузка в стек значения с плавающей точкой,

ABSF || STF – абсолютное значение числа с плавающей точкой с сохранением значения с плавающей точкой,

FIX || STI – преобразование в целое с сохранением,

FLOAT || STF – преобразование в значение с плавающей точкой с сохранением значения с плавающей точкой,

PUSH – загрузка целого в стек,

POP – выталкивание целого из стека,

LDF || STF – загрузить значение с плавающей точкой с сохранением значения с плавающей точкой,

1

2

NEGF || STF – отрицание значения с плавающей точкой с сохранением значения с плавающей точкой,

STF || STF – сохранения значений с плавающей точкой,

LDF || LDF – загрузка значений с плавающей точкой.

Тест 3

SUBF3 – вычитание значений с плавающей точкой,

SUBF3 || STF – значения с плавающей точкой с сохранением значения с плавающей точкой,

SUBB – вычитание целых с заемом,

SUBC – условное вычитание целых,

SUBF – вычитание значений с плавающей точкой,

SUBRB – вычитание целых в обратном порядке с заемом,

SUBRF - вычитание с плавающей точкой в обратном порядке,

SUBI3 || STI – вычитание целых с сохранением,

ADDC – сложение целых с переносом,

ADDF – сложение значений с плавающей точкой,

ADDF3 – сложение значений с плавающей точкой,

ADDF3 || STF – значений с плавающей точкой с сохранением значения с плавающей точкой,

ADDI3 || STI – сложение целых с сохранением,

MPYF- умножение значений с плавающей точкой,

MPYF3 – умножение значений с плавающей точкой,

MPYI – умножение целых,

MPYF3 || STF – умножение значений с плавающей точкой с сохранением значения с плавающей точкой,

MPYF3 || ADDF3 – умножение и сложение с плавающей точкой,

MPYF3 || SUBF3 умножение и вычитание с плавающей точкой,

MPYI3 || STI – умножение целых с сохранением,

MPYI3 || ADDI3 – умножение и сложение целых,

MPYI3 || SUBI3 – умножение и вычитание целых,

CMPF – сравнение значений с плавающей точкой,

CMPF3 - сравнение значений с плавающей точкой.

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

Характеристики

Список файлов реферата

Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6390
Авторов
на СтудИзбе
307
Средний доход
с одного платного файла
Обучение Подробнее