Принципы построения крейта бортовой многопроцессорной вычислительной системы для авионики пятого поколения Текст научной статьи по специальности «Компьютерные и информационные науки»

УДК 629.7.05

ПРИНЦИПЫ ПОСТРОЕНИЯ КРЕЙТА БОРТОВОЙ МНОГОПРОЦЕССОРНОЙ ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ ДЛЯ АВИОНИКИ ПЯТОГО ПОКОЛЕНИЯ О.О. Жаринов, Б.В. Видин, Р.А. Шек-Иовсепянц

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

Ключевые слова: принципы построения, бортовая вычислительная система, крейт.

Введение

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

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

Иерархическая трехступенчатая веерная модель БЦВС

Открытая архитектура интегрированной модульной авионики строится по иерархическому принципу [1]:

- нижний уровень иерархии образуют унифицированные быстросъемные функциональные модули различного назначения, имеющие собственные вычислительные средства в компактном стандартном исполнении (европлаты с типоразмерами 3и, бИ, 9и);

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

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

В иерархической структуре ИМА заложен принцип присвоения более высокого ранга тем подсистемам управления и информационного обеспечения летательного аппарата (ЛА), которые в большей степени способствуют повышению эффективности использования ЛА в целом. Согласно принятой терминологии [2], схема иерархической организации БЦВС по концепции ИМА относится к классу трехступенчатых веерных структур, определяющих систему, в которой существует один привилегированный субъект (центр), который имеет возможность управлять остальными субъектами - посредниками П. Целевая функция центра Ц имеет вид Ц = Ц(г^,г^,...,гХ1;гу,гу2,...,гл ), где } - ресурс управления, который находится в распоряжении центра Ц (воздействие центра на посредников П1, П2, ..., Пк). Целевые функции посредников П,имеют вид П, = П, (гу^ ,гуг,...,гу ;г^ ,г2^,...,г2 ), 1 = 1, 2, ..., к, где | -

это управление П, , его воздействие на исполнителей И (исполнителя номер ], подчиненного по уровню иерархии посреднику П,).

Таким образом, интересы посредников определяются ресурсом {ry^i,ry^2,...,ryi j , который находится

в их собственном распоряжении, и ресурсом {rx ,r^,...,rxi j, которым распоряжается центр.

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

назначает правила использования ресурса {r^,r^,...,rXi j, который зависит тем или иным образом от действий посредников, от их выбора {ry,ry2,...,ry j . Посредникам эти правила становятся известными в тот

момент, когда они принимают решения об использовании {гу^гуг>...>гу j , тем самым центр в иерархической системе имеет возможность (правило первого хода) направлять в нужное русло усилия элементов низшего иерархического уровня, что создает предпосылки для организации реконфигурируемых вычислительных структур.

Целевые функции исполнителей И = И (ry;rz^, i = l,2,...,k ; j = 1,2,..., z,, где величины {rZj j характеризуют действия исполнителей. Первый ход в трехступенчатой иерархической структуре делает центр - он сообщает посредникам правила назначения ресурсов {rx ,r^,...,rxi j в зависимости от их выбора. Следующий ход производит посредник, который сообщает правила выбора {ryi,ry2,...,ry j .

Модель вычислительных ресурсов БЦВС У каждого типа ресурса ri существует набор функций f = { fl ,f2,...,f'f, j, которые он способен выполнять на множестве заданий Z = {Z1 ,Z2,...,Zz j Выполнение одного задания Zi требует выполнения набора функций f = {f{,...,f~ft j. При этом [3]:

- ресурс r е R считается способным к работе над заданием Zj е Z , i=l, 2, ..., z, если существует функция f : f е f и f е f ;

- ресурс ri е R считается способным к работе над набором заданий Z, е Z , i=1, 2, ., 2z, если VZh е Zj, где Z - множество всех подмножеств заданий Z;

- совокупность ресурсов rj е R считается способной к работе над заданием Zi е Z, i=1, 2, ..., z, если Vr е R , где R - множество всех подмножеств ресурсов R;

- совокупность ресурсов ri е R считается способной к работе над набором Zt е Z , i=1, 2, ..., 2z, если VZh е Zj,3 rk е f, способный к работе над ZJt .

Распределением заданий считается назначение совокупности ri е R для каждого задания Zi е Z , пригодной к работе над ними, с условием, что никакие два r Ф rj не выполняют одну и ту же функцию f одного и того же задания Z.

Принципы построения аппаратных средств БЦВС

Детализация ИМА-структуры крейта вычислительной системы БЦВС показана на рис. 1 [4]. Приняты следующие обозначения: БР - буферный регистр, ЛОП - локальная оперативная память, ПДП -узел прямого доступа к памяти. Обмен данными между вычислителями МБ,-, i=1, 2, ..., n, осуществляется через системный интерфейс СИ и общий модуль памяти МП. Физическую основу реализации БЦВС ИМА-структуры (см. рис. 2) составляют модули-вычислители типа МБ80, модули памяти МП80, разработанные в ФГУП «СПб ОКБ „Электроавтоматика" им. П. А. Ефимова» и выполненные по стандарту 6U на базе отечественного микропроцессорного комплекта «Мультиборт», который отвечает требованиям стандарта высокоскоростных коммуникаций системного интерфейса SpaceWire ECSS-E-50-12A, внедренного и поддерживаемого ESA (European Space Agency), NASA (США), JAXA (Япония), CSA (Канада) и Российским космическим агентством.

Идея реализации задач комплекса на вычислителях класса МБ1, МВ2, ..., МВП заключается в следующем. Каждый из Мб,, i=1, 2, ..., n, функционирует по своей циклограмме, задаваемой препроцессором форматирования. Препроцессор форматирования ПФ,-, i=1, 2, .., n, распознает данные из общего

потока к абонентам или от абонентов, предназначенные для обработки на соответствующем вычислителе МВ1, 1=1, 2, ..., п. В каждом из вычислителей МВ,-, 1=1, 2, ..., п, помимо препроцессора форматирования, имеются вычислительный узел ВУ, блок памяти БП и, в случае децентрализованного управления обменом с системным интерфейсом СИ, процессор обмена ПО. От соответствующего препроцессора форматирования в блок обмена БО поступают данные согласно принятому на борту ЛА протоколу взаимодействия. Согласно системе классификации Флинна, такая БЦВС относится к классу многопроцессорных систем с множественным потоком команд и множественным потоком данных (МГМЭ).

Абоненты

ПФ

Шина данных

Разделение каналов

Совмещение каналов

ч-З-ч-4-

Бииомиалыюе резервирование каналов

О

Каналы бортового информационного обмена

Абоненты

БЦВС

МВ 1 МВ 2 . МВ п-1

*

МВ п

Системный интерфейс

МП

Абоненты

£

мв

БП

Л|Ф

ттг тт

Шк на Данных

■ V к

ш ИИЁ Управг ен ни* 1

по

тг

си

ву.

БО

II

Цина Адреса

ВУ

Цина Данных

БР

т

от / к ПФ

Я

ЛОП

пдп

Рис.1. Обобщенная структура многопроцессорной вычислительной системы |

Рис. 2. Прототип бортовой цифровой вычислительной платформы „Крейт-61Г, разработанной в ФГУП «СПб ОКБ „Электроавтоматика" им. П. А. Ефимова»

В архитектуре БЦВС структуры ИМА средствами модулей МВ,, 1=1, 2, ..., п предусматриваются три типа препроцессорной обработки [4]:

- форматирование с разделением каналов, когда ПФ устанавливает биективное соответствие между каналами связи с абонентами комплекса и каналами шины данных вычислителей МВ,-, 1=1, 2, ..., п;

- совмещение каналов, когда соответствия между каналами обменов и каналами шины данных вычислителей МВ,, 1=1, 2, ..., п являются произвольными (каждый с каждым, т.е. реализуется свойство отказоустойчивости

- БЦВС остается работоспособной при наличии хотя бы одного исправного ресурса каждого типа);

- форматирование данных в условиях биномиального резервирования каналов обмена (при этом препроцессор форматирования устанавливает соответствие между каналами абонентов комплекса и каналами шины данных вычислителя МВ,-, , = 1, 2, ..., п с учетом введенной аппаратурной избыточности, обусловленной резервированием).

В соответствии с принятыми [4] способами препроцессорной обработки вычислители МВ,, ,=1, 2, ..., п реализуют функции:

- препроцессорной обработки 0 средствами препроцессора форматирования ПФ;

- промежуточного хранения данных О (буферизацию), осуществляемого блоком памяти БП;

- обмена I с системным интерфейсом СИ с помощью процессора ПО или вычислительного узла ВУ;

- обработки Р на вычислительном узле;

- управления и обменом. При централизованном управлении обменом функция и реализуется ВУ, а процессор обмена ПО отсутствует.

Соответствующие этим функциям архитектурные признаки БЦВС структуры ИМА являются наиболее значимыми и имеют вид 0 = {91,92,93}, где 01 - разделение, 92 - совместное использование, 93 -

биномиальное резервирование каналов обмена; О = {ю1 ,ю2} , где ю1 - наличие, ю2 - отсутствие буферизации данных; I = { ц, ,2 }, где 11 - пословный обмен, ,2 - обмен блоками слов в системном интерфейсе; Р = { рь р2 р3, р4 }, где р1 - обработка слов сразу после форматирования, р2, р3 - обработка перед буферизацией и после считывания данных из буфера обмена (блока памяти) соответственно, р4 - обработка до и после буферизации; и = { щ, и2 }, где и1 и и2 обозначают соответственно централизованное и децентрализованное управление.

Правила синтеза описаний Л = {0^ ,0к } формируются на основе известных знаний [4]

о предметной области (назначения БЦВС) и исходя из допустимых принципов сочетаний вычислительных ресурсов в заданном наборе архитектурных признаков. Подмножество разрешенных частных описаний вычислителей МВ,-, 1=1, 2, ..., п и их композиции в составе БЦВС определяется набором допустимых сочетаний Л1 ={91 ,ю1,11 ,р1 ,и1}; Л2 = {9^ ю1,11 ,р2 ,и1}, ] = 1, 2, 3; Л3 ={9у,ю1 ,р3 ,и1}, ] = 1, 2, 3;

Л4 ={9^,ю1 лх ,р,,и1}, ] = I 2, 3; Л5 = {9],ю л,Р1 ,и1}, ] = 1 2, 3; Л6 ={9ю Л,РЗ,и2}, ] = 1 2, 3;

Л7 = {9 р о^ ,,2 ,р4 ,и2 },j = 1, 2, 3; Л8 = {9р ю2,р1 ,и1}, у' = 2, 3. Сами по себе правила формирования описаний не формализуют конструктивного приема порождения вариантов (проектных альтернатив) архитектуры БЦВС. Эти правила лишь допускают либо запрещают определенные комбинации архитектурных признаков базиса модулей МВ,, ,=1, 2, .., п. Сама же процедура синтеза связана с отображением операционной модели БЦВС на ее целевую структуру.

Отображение операционной модели БЦВС на доступные вычислительные ресурсы

Сущность метода отображения операционной модели на доступные вычислительные ресурсы заключается в следующем [5]. Пусть имеется п информационно связанных задач, которые необходимо решать с помощью крейта ИМА, и соответствующие задачам алгоритмы. Каждый алгоритм может быть представлен как некоторая последовательность функциональных операторов.

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

Назовем вершины графа Овс, в которые входят дуги исходных данных, начальными, а вершины, из которых выходят дуги результата решения задач или фрагментов вычисления, - конечными (так, на рис. 3 вершины v1, V5, V9 являются начальными, а вершины Vб, V'?, V11 - конечными). Назовем также подграф Ова графа Овс независимым, если ни в одну его вершину не входит дуга другого подграфа. Нетрудно видеть, что для организации вычислительного процесса необходимо разложить граф Овс на независимые подграфы Овс,. Действительно, для независимого подграфа не нужны промежуточные результаты опера-

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

Рис. 3. Операционная модель вВс вычислительной системы в виде многосвязного графа операций обмена

и обработки информации

Рассмотрим основные положения, на которых строится алгоритм декомпозиции графа на независимые подграфы. Если существует множество вершин V,!, vI-2,..., vk, из которых дуги выходят и входят в вершину V,, то это множество принадлежит независимым подграфам, в которые входит вершина V;. В то же время вершина V,- будет входить в независимые подграфы, строящиеся на базе вершин, в которые входят дуги, выходящие из вершины V,.

Определим матрицу размерностью т х т (т - число вершин графа), у которой элемент на пересечении 1-й строки и /-го столбца равен 1, если имеется дуга, направленная от 1-й вершины к /-й вершине. Если дуга имеет противоположное направление, соответствующий элемент равен -1. При отсутствии такой дуги рассматриваемый элемент определяется как 0.

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

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

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

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

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

I

р, то /р=шах{ (Р1, /р2,..., Если имеются ограничения вида ^/ <?, тогда I подграфов, которым

/=1 4

принадлежит суммарное время решения, могут быть реализованы последовательно на одном бортовом вычислителе, при этом общее время ^ решения п задач не увеличится. Конструктивная реализация многомашинной вычислительной системы дает оптимум по критерию минимума числа вычислителей МВ, задействованных в составе крейта БЦВС ИМА.

Применение алгоритма функционального разделения графа, показанного на рис. 3, позволяет получить три его независимых подграфа (см. рис. 4), каждый из которых соответствует своему алгоритму, исполняемому на отдельном МВ.

Заключение

В согласии с результатами работы [4] можно сделать вывод, что наиболее экономичным и предпочтительным по реализации мультипроцессорной БЦВС в условиях компромисса в пространстве состояний (|HW|, Г), где - затраты на реализацию аппаратной платформы модулей МВ, |SW| -сложность программного кода, Т - ограничение на время выполнения бортовой задачи в вычислительной системе соответствующей архитектуры Л,., является вариант многопроцессорной системы «Крейт-6Ц»

(см. рис. 2) с архитектурными признаками Л3 = {91 ,ю1 ,, ,р3 ,и1} - вычислители типа МВ80, модуль памяти МП80, разработанные в ФГУП «СПб ОКБ „Электроавтоматика" им. П. А. Ефимова» в рамках реализации концепции ИМА бортовой авионики.

Рассмотренные в работе принципы построения БЦВС в соответствии с основными положениями концепции ИМА и методика оценки сложности вычислительного алгоритма БЦВС были применены также к анализу комплектов документации бортовых комплексов (систем) К-130, СОИ-У-25-1, СОИ-У-25-2, ССИ-80. Расчеты показывают, что внедрение структур ИМА на базе унифицированных конструктивно-функциональных модулей стандарта би с крейтово-модульным конструктивом БЦВС для решения бортовых задач указанных комплексов (систем) приводит к экономии материальных средств аппаратного обеспечения от 19% до 48%.

Литература

1. Павлов А. М. Принцип организации бортовых вычислительных систем перспективных летательных аппаратов // Мир компьютерной автоматизации. - 2001. - № 4 [Электронный ресурс]. - Режим доступа: www.mka.ru/?p=41177, открытый.

2. Моисеев Н.Н. Математические задачи системного анализа. - М.: Наука, Главная редакция физико-математической литературы, 1981. - 488 с.

3. Ивченко В. Д., Корнеев А. А. Анализ методов распределения заданий в задачах управления коллективом роботов // Мехатроника, Автоматизация, Управление. - 2009. - № 7. - С. 36-42.

4. Топорков В. В. Модели распределенных вычислений. - М.: ФизМатЛит, 2004. - 320 с.

5. Копорский Н. С., Видин Б. В., Жаринов И. О. Организация вычислительного процесса в многомашинном бортовом вычислительном комплексе // Известия вузов. Приборостроение. - 2006. - Т. 49. -№ 6. - С. 41-50.

Жаринов Олег Олегович

Видин Борис Викторович Шек-Иовсепянц Рубен Ашотович

Санкт-Петербургский государственный университет аэрокосмического приборостроения, кандидат технических наук, доцент, zharinov@hotbox.ru

ФГУП «СПб ОКБ "Электроавтоматика" имени П. А. Ефимова», кандидат технических наук, зам. главного конструктора, postmaster@elavt.spb.ru ФГУП «СПб ОКБ "Электроавтоматика" имени П. А. Ефимова», доктор технических наук, профессор, главный конструктор, postmaster@elavt.spb.ru