Научная статья на тему 'УСТРОЙСТВО ПЛАНИРОВАНИЯ ЗАГРУЗКИ ПРОЦЕССОРОВ В МУЛЬТИПРОЦЕССОРНЫХ СИСТЕМАХ КРИТИЧЕСКОГО НАЗНАЧЕНИЯ'

УСТРОЙСТВО ПЛАНИРОВАНИЯ ЗАГРУЗКИ ПРОЦЕССОРОВ В МУЛЬТИПРОЦЕССОРНЫХ СИСТЕМАХ КРИТИЧЕСКОГО НАЗНАЧЕНИЯ Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
63
10
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
МУЛЬТИПРОЦЕССОРНАЯ КРИТИЧЕСКАЯ СИСТЕМА / ПЛАНИРОВАНИЕ ЗАГРУЗКИ ПРОЦЕССОРОВ / ВЫСОКАЯ ГОТОВНОСТЬ / ВЕКТОРНАЯ МУЛЬТИПРОЦЕССОРНАЯ СИСТЕМА / АЛГОРИТМ ПЛАНИРОВАНИЯ

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Борзов Дмитрий Борисович, Басов Родион Григорьевич, Титов Виталий Семенович, Соколова Юлия Васильевна

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

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по компьютерным и информационным наукам , автор научной работы — Борзов Дмитрий Борисович, Басов Родион Григорьевич, Титов Виталий Семенович, Соколова Юлия Васильевна

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

PROCESSOR LOAD SCHEDULING DEVICE IN MULTIPROCESSOR SYSTEMS OF CRITICAL PURPOSE

The need to prompt response from the computing system side emerges in the state-of-the-art multiprocessor critical systems. The systems, which failures lead to the losses (economic, physical, human etc.) are defined as critical systems. In the event of failure, such systems are the subject to high requirements for operability, reliability, safety, security, etc. All costs herewith associated with introduction of changes to such system or its replacing (direct, indirect, etc.) are more important that the losses occurred in the case of the multiprocessor system failure itself. It is obvious that minimization of both time and hardware costs, necessary for the multiprocessor system response to the hazardous situation is of most importance. The failures occurring in the internal processor modules, such as aircraft cockpits, surveillance systems, targeting, atomic systems etc., can be assigned to the critical situations. In case of the multiprocessor system failure herewith, its performance and response decrease, which is unacceptable in critical systems. One of the options for this issue solving may be processor loading planning in multiprocessor systems. In this case, the multiple loading of several processors by the same task (routine, subroutine, algorithm, file, etc.) can be avoided, and, with this, the queue of the incoming tasks can be planned in such a fashion that they are being fed simultaneously. This allows reduce unplanned operation downtime and, at the same, time increase its availability factor along with increased performance. The presented work is devoted to critical multiprocessor systems, to which high availability objects, which operability is critical for any kind of activity, can be assigned. In such cases, a person, country, enterprise, organization, etc. is distinguished. A failure in this case leads to in the system response time decrease and a further decrease in its performance, and, thus, the availability. In this case, the application of the software for solving this issue is unacceptable, which means that it is necessary to use specialized hardware load scheduling tools.

Текст научной работы на тему «УСТРОЙСТВО ПЛАНИРОВАНИЯ ЗАГРУЗКИ ПРОЦЕССОРОВ В МУЛЬТИПРОЦЕССОРНЫХ СИСТЕМАХ КРИТИЧЕСКОГО НАЗНАЧЕНИЯ»

Труды МАИ. Выпуск № 115 УДК 004.31(075.8)

http://trudymai.ru/ DOI: 10.34759/Ы-2020-115-14

Устройство планирования загрузки процессоров в

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

Борзов Д.Б.1*, Басов Р.Г.1**, Титов В.С.1***, Соколова Ю.В.

1*

1 Юго-Западный государственный университет, ЮЗГУ, ул. 50 лет Октября, 94, Курск, 305040, Россия 2Научно-производственное объединение им. С.А. Лавочкина, ул. Ленинградская, 24, Химки, Московская область, 141400, Россия

*е^аИ: bоrzоvdb@,kursknеt. т **е^аИ: r-basov@eureca. т ***е-mаil: titov-kstu@rambler.т ****е^аИ: ]У.sokolova@mail.т

Аннотация

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

Статья поступила 10.11.2020

Труды МАИ. Выпуск № 115 Ьнр://1:гиёута1. ги/

Постановка задачи

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

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

Труды МАИ. Выпуск № 115 http://tгudymai. ш/

одновременно повысить коэффициент ее готовности вместе с повышением

быстродействия.

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

Введение

Для мультипроцессорной системы [1-3] из Р процессоров определены вычисления из X = {хьх2,...,х]-хп| заданий, заданные некоторым алгоритмом,

сведенного в вектор сложности Ж = \|wг.||, где N = п = |х|, / е X. При этом задача i приходят в случайный момент времени и их количество на входе в очереди < Q, где Q - суммарный объем заданий (биты, байты, килобайты и т.д.), находящихся в очереди, а сами задачи могут приходить в случайный момент времени. Задания поступают на процессор в момент времени г ^ 0 и задаются заранее значениями wi.

Для мультипроцессорной системы заранее определено, что процессоры одинаковы, т.е. обладают одинаковыми тактовыми частотами; производительностью и архитектурой, не прерываются на выполнение других задач, то есть не имеют приоритетов и равнозначны (равноправны) [5]. Мультипроцессорная система задается множеством Рг, которое представлено как: Туг = {Р1,Р2,...,Р/1,...,Рл}, где Рр -

процессоры мультипроцессорной системы, причем (Рр = 1,Я) [6-7].

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

Труды МАИ. Выпуск № 115 http://trudymai. ru/

X е X определить момент начала выполнения Sj такого, что Sj > rj так что Sj + w; < Sj,

где S, S - моменты начала выполнения других заданий, причем i,j ^ X, i Ф j.

Аналитически поиск расписания загрузки процессоров может быть описан отображением [8-9]:

ая={\ С1)

где q = 1,...,п, символ «-»» показывает операцию планирования заданий множества X на соответствующее множество процессоров Рг.

Здесь q - это номер очередного варианта назначения, соответствующий q-у варианту назначения. Мощность множества x¥ = aq всевозможных отображений (1)

равна числу всевозможных назначений заданий |xq j в матрице X: |¥|- N!.

На основе формализованной постановки задачи ее соответствующая математическая постановка выглядит следующим образом [2,3]:

n

^ Tj ^ min

j=1 (2)

С учетом (1-2) и исходя из представленных выше теоретических предположений в работе предложен метод конвейерного планирования загрузки процессоров в мультипроцессорных критических системах, основанный на (1 -2). Фрагменты программ предлагается назначать независимо на процессоры мультипроцессорной системы без учета других операторов. Предлагаемый метод состоит из следующих этапов [8-10]:

Труды МАИ. Выпуск № 115 http://trudymai. ru/

1. Получение множества заданий Х=(х1; х2, ..., xj, . ..xn}, требующих

составления плана загрузки процессоров, множества процессоров Pr= |Pi,P2,.,Pp} мультипроцессорной системы и запись в виде матрицы

PrX=||pp,xJ.

2. Получение в строке и столбце Pr минимального элемента и вычитание

его из всех остальных элементов.

3.Поиск в строке Pr нуля вычеркивание остальных нулей в строке.

4. Поиск в столбце Pr Х^ нуля вычеркивание остальных нулей в столбце.

5. Повтор п. 3-4 для всех элементов PrХ^ .

6. Проведение минимального количества горизонтальных и вертикальных пересечений через отмеченные нули.

7. Поиск минимума среди не зачеркнутых прямыми чисел и вычитание его из этих чисел.

8. Прибавление минимального числа к числам, стоящим на пересечении прямых.

9. Повторение п. 2-8 пока в Pr не найден ноль.

10. Если PrХра = 0, то подпрограмма i назначается на процессор j.

11. Повторение п. 1-11 до нахождения остальных назначений подпрограмм на процессоры мультипроцессорной системы.

12. Получение тэга готовности Exec .

Труды МАИ. Выпуск № 115 http://trudymai. ru/

13. Анализ битов доступности поля Work тэга Exec . Если Work = 1, то прочитать

номер свободного процессора и п.1, иначе п. 4.

Общая длительность всех операций вычисляется по формуле:

n

T = ^ r ^ min. (3)

j=i

Для решения задачи составления плана загрузки процессоров предлагается алгоритм, позволяющий снизить время планирования параллельного выполнения подпрограмм на процессорах мультипроцессорной системы, исключающий связи по управлению и данным между ними по критериям (1-3).

На основе предложенного метода был разработан алгоритм планирования загрузки процессоров в мультипроцессорных системах, состоящий из следующих шагов [11].

1. Задать Pr Xßa - матрицу заданий, где а = 1, P - количество заданий мультипроцессорной системы, а ß = 1,P - количество процессоров.

p

2. Поиск в строке minPr X^ и вычитание его из всех ее элементов.

j

p

3. Определение в столбце minPrXß а и вычисление из всех ее элементов.

4. Поиск в строке минимального элемента и его фиксация. Если есть еще нули в строке, то вычеркивание их.

5. П. 4 выполнить для всех строк Pr X^ .

6. Поиск в столбце ноля и его фиксация. Если есть еще нули в столбце, то вычеркнуть их.

Труды МАИ. Выпуск № 115 Ьнр://1:гиёута1. ги/

7. П. 6 выполнить для всех Рг .

8. Если в Рг нет нулей, то выделение минимальное количество

горизонтальных и вертикальных пересечений через отмеченные нули и п.9, иначе п. 2-7.

9. Среди не зачеркнутых прямыми чисел поиск минимального значения и вычитание его из этих чисел. Прибавление минимального числа к числам, стоящим на пересечении прямых.

10. Повторять п. 2-13 пока в Рг не появится один ноль.

11. Если Рг Хра = 0, то подпрограмма i назначается на процессор у.

12. Повторять п. 1-11 до нахождения остальных назначений подпрограмм на процессоры мультипроцессорной системы.

В соответствии с предложенным методом, в алгоритме на первом шаге задается исходная матрица Рг Х^, где а - строки, задающие множество заданий, для

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

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

Труды МАИ. Выпуск № 115 http://tгudymai. ги/

Если на данном шаге в матрице присутствует количество нулей, равное

начальному количеству подпрограмм, то поиск завершен. В этом случае каждый

ноль в матрице означает: строка показывает номер подпрограммы, а столбец -

процессор, на который назначается эта подпрограмма.

Если количество нулей не равно числу подпрограмм, то перейти к шагу 9. На

данном этапе необходимо провести минимальное число прямых, проходящих через

все нули таблицы. На девятом шаге в полученной таблице выполняется поиск

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

найденный минимум из всех чисел, через которые не проходит ни одна прямая, и

добавляем его ко всем элементам, лежащим на пересечении двух прямых. Если

после выполнения п. 9 не появилось числа нулей, равного числу подпрограмм, то

повторять п. 2-10, пока не выполнится данное требование.

Результаты и их обсуждение В соответствии с представленной математической постановкой задачи, задания для мультипроцессорной системы из Р процессоров сводятся в вектор сложности Ж ^ . Как следует из предложенного метода и алгоритма планирования загрузки

процессоров, фактически для работы процессора используется две операции сложения и вычитания, исполняемых по классической векторной схеме. В свою очередь это приводит к возможности применения векторного процессора, структурная схема которого представлена на рисунке 1 [1,6-7,12-15].

Рис. 1. Структурная схема векторного процессора Обработка всех п компонентов векторов-операндов задается одной векторной командой (рис. 1). Распространена структура, когда АЛУ состоит из отдельных блоков сложения и умножения. Например, иногда блок для вычисления обратной

величины операции деления X реализуется в виде X ^ -1 ^. Каждый из таких блоков

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

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

В случае конвейерной обработки очередной элемент вектора подается на вход конвейера, как только освобождается первая ступень так, как это показано на рисунке 2.

х1, у1 —•> П М С Н

х2, у2-► П М С Н

хз, уз —► П М С Н-

х4, у 4-► П М С Н

х5, у5-► П М С Н

Рис. 2. Обработка векторов в конвейерном АЛУ

Как видно из рисунка 2, данный вариант пригоден для обработки векторов.

В [16] считается, что типовое вычислительное устройство выглядит так, как показано на рисунке 3.

к ВУ

Запросы на прерывания

Рис. 3. Структурная схема вычислительно устройства: ОЗУ - оперативное запоминающее устройство, Рг - блок регистров и логических схем, АЛУ -арифметико-логическое устройство (устройство управления АЛУ не показано), УУ -устройство управления, БС - блок согласования разрядности шин, ША - шина адреса, ШД - шина данных, ШС - шина состояния, ШУ - шина управления, ВУ -

внешние устройства Процесс управления исполнением команд представляется в виде двухступенчатой иерархической структуры управляющих автоматов, состоящей из

Труды МАИ. Выпуск № 115 ЬЦр://1;щёуша1. ги/

ведущего устройства управления процессором и ведомого (подчиненного) автомата

устройства управления АЛУ (УУ АЛУ) [16] (рис. 4). ШС

ХВУ к УУ процессора (верхний уровень)

р

к

Хну УУ АЛУ (нижний уровень)

Г

ВУ

Г

НУ

ШУ

Контроллер кэш памяти

Рис. 4. Двухступенчатая структура процесса управления Как следует из рисунков 3 и 4 для реализации функций векторного процессора

следует определить разрядности основных элементов верхнего уровня процессора, к

которым относятся шины адреса (ША), шины данных (ШД), ОЗУ, шины управления

(ШУ) и элементов нижнего уровня процессора: операционный автомат АЛУ и

устройства управления (УУ) АЛУ.

Введем предварительные ограничения:

- задания представляются числовым эквивалентом разрядностью не больше 8

бит;

- количество заданий в очереди, ожидающих обработки не более 100;

- количество процессоров равно четырем:

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

шести.

Необходимо реализовать следующие операции:

- сложение;

- вычитание;

Труды МАИ. Выпуск № 115 ЬЦр://1гиёуша1. ги/

- условный переход по значению >0;

- условный переход по значению <0.

Используемый формат команды «регистр-регистр».

Формирование исполнительного адреса операнда должно быть организовано по прямому способу адресации.

Для определения разрядностей ША, ЩД и ШУ воспользуемся исходными данными для проектирования векторного процессора и получаем:

- так как разрядность передаваемых данных не более восьми, то выбираем ШД(7-0);

- так как очередей, ожидающих выполнения равно шести и предполагается использование векторного процессора, то получаем ША(7-0).

Та как в векторном процессоре предполагается использовать четыре команды, то их кодирование необходимо два двоичных разряда, а значит получаем разрядность поля кода операции КОП(1-0). Получаем таблицу кодов команд (табл. 1).

Таблица 1 Кодирование команд

Тип операции Код

Сложение 00

Вычитание 01

условный переход по значению <0 10

условный переход по значению >0 11

Получаем формат команды:

О 1 2 3 4 10 11

КОП ФК ТА R1 R2

На основании разрядности полей формата команды получаем разрядность ШУ(31-0).

На основе полученных разрядностей форматов команды получаем содержательную таблицу кодирования вариантов форматов команд (табл. 2).

Таблица 2

Кодирование форматов команд

Код операции Формат команды Тип адресации (ТА) Код ТА Содержание операции

Сложение 00 RR П 00 AH.AL := POH[R1] + РОНВД

Вычитание 00 RR П 01 AH.AL := POH[R1] + РОНВД

УП по > 0 10 RR П 10 if (SF = 0) and (ZF = 0) then PC := R1

УП по < 0 10 RR П 10 if SF = 1 then PC := R2

На основе содержательной таблицы команд 2 проектируем обобщенный

алгоритм командного цикла (рис. 5).

http://trudymai. ru/ 17 31

Труды МАИ. Выпуск № 115 ЬЦр://1гиёуша1. ги/

^ Начало^) WF:=1 1Б:=1

OF:=0

В алгоритме, представленном на рисунке 3первоначально устанавливаются флаги процессора: флаг работы устройства WF устанавливается в единицу (работа разрешена), флаг прерывания ГР=1 (прерывания разрешены), флаг знака равен нулю (SF=0), флаг переполнения равен нулю (OF=0).

Работа алгоритмов векторного процессора представлена на рисунке 6-7.

Рис. 6. Алгоритм перехода по значению больше нуля (а) и меньше нуля (б)

Труды МАИ. Выпуск № 115 ЬЦр://1гиёуша1. ги/

Алгоритмы операций перехода выполняются в зависимости от состояния

соответствующих флагов. Управление на новый адрес передаётся путём загрузки

программного счётчика значением с шины управления (из кода команды).

Алгоритмы команды сложения и вычитания приведены на рисунке 7.

Рис. 7. Алгоритмы команд сложения и вычитания Операции сложения и вычитания в алгоритме (рис. 7) выполняются одинаково. Отличие состоит в том, что при вычитании операндов, хранящийся в регистровой паре RgBH.RgBL, преобразуется в дополнительный код. Затем происходит сложение содержимого регистров RgAL и RgBL с помещением результата в AL и установкой

Труды МАИ. Выпуск № 115 ЬЦр://1гиёуша1. ги/

при переполнении флага переноса С. Сложение содержимых Я^АН и К^ВН

происходит с учетом этого флага.

Если после выполнения операции получился отрицательный результат, нужно

преобразовать его, проинвертировав и прибавив единицу. Флаг переполнения равен

сумме по модулю 2 знакового и предшествующего ему разрядов результата. Флаг

знака - знаковый разряд результата. Флаг нуля - признак равенства результата нулю.

При построении операционного автомата АЛУ необходимо вначале на

основании полученных алгоритмов составить список микроопераций МПА ведомого

УУ [3]. Обозначим множество его входных сигналов (логических условий) через

X = {^^x2,"',xl} , а множество его выходных (управляющих) сигналов - через

Y = {у!, У2ym }. Множество состояний управляющего автомата обозначим

через $ s2,•••,sn} . Список соответствующих микроопераций представлен в

таблице 3.

Таблица 3 Список микроопераций

Выходные сигналы УУ Микрооперация

у0 RgBH.RgBL:=доп(RgBH.RgBL)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

у1 AL:=RgAL+RgBL

У2 AH:=RgAH+RgBH+c

уз АН.АЬ:=доп(АН.АЬ)

у4 SF:=AH[31]

у5 ZF:=(AH.AL=0)

уб OF:=AH[31] © AH[30]

у7 РС[13:0]:=ШУ [35:22]

х1 КОп = "УП>0"

х2 КОп = "УП<0"

х3 КОп = "УП=0"

х4 8Б=1

х5 8Б=0 &7Б=0

х6 АН[31]=1

После разработки обобщенного алгоритма АЛУ, кодирования микроопераций и логических условий строится функциональная схема операционного автомата АЛУ. Управляющие сигналы {у;} расставляются в соответствии с разметкой присваиваний в алгоритме АЛУ (табл. 3). Выходные сигналы {х^ формируются с учетом разметки и используются в качестве входных сигналов (логических условий) МПА ведомого УУ АЛУ, который разрабатывается на основании этого же обобщенного размеченного алгоритма АЛУ с учетом обозначенных на рис. 8 его состояний {Б;}.

Рис. 8. Обобщенный размеченный алгоритм АЛУ В соответствии обобщенным размеченным алгоритмом командного цикла процессора (рис. 8, МПА УУ АЛУ процессора должен фиксировать 6 состояний

(состояния б0. .. б6). Для хранения в памяти МПА кодов этих состояний

Щр://1;щёуша1. ги/ функционируют на основе следующей

Таблица 4

_Таблица истинности для Б-триггера

Входной Исходное Конечное

сигнал состояние состояние

0 0 0

0 1 0

1 0 1

1 1 1

Выбираем количество триггеров, соответствующее числу, равному ближайшей наибольшей степени двойки. Этот показатель степени равен 3; следовательно, необходимо 3 Б-триггера.

Комбинационная схема КСх состоит из набора программируемых логических интегральных схем ПЛМ или ПЛИС, которые, в зависимости от значений логических сигналов Х = (хо, х\, ..., х/} и элементов множества Б = {50, $1, ..., 5Ш}, определяющего текущее состояние устройства, вырабатывают множество выходных значений, состоящее из подмножества управляющих сигналов У = {у0, у1, ..., уи} и подмножества элементов £' = {£0,£{,..., 8'т}, определяющего следующее состояние

устройства. Триггеры Т1, Т2, Т3 хранят код состояния МПА, соответствующий номеру бита, который будет истинным на выходе дешифратора БС в унитарном коде текущего состояния Б (рис. 9).

Труды МАИ. Выпуск № 115 воспользуемся Б-триггерами, которые

таблицы истинности (табл. 4).

Рис. 9. Структура управляющего автомата процессора на жесткой логике На выходе КСх образуется унитарный код следующего состояния £' автомата, который шифратором СБ сворачивается в номер, используемый в следующем такте как код будущего текущего состояния.

Для ведомого УУ процессора список кодов и таблица переходов автомата будут следующими (табл. 5).

Таблица 5

Список кодов состояний и таблица переходов ведущего управляющего автомата _процессора

Исходное состояние Б Код исходного состояния Б Состояние перехода Б' Код состояния перехода Б' Входной набор Выходной набор Функции возбуждения триггеров

Б0 000 Б'1 001 - у1 БЗ

Б1 001 Б'2 010 - У2 Б2

010 Б'З 011 X 6 - Б2,БЗ

Б2 010 б'4 100 х6 У3 Б1

Б3 011 Б'4 100 - -

Б4 100 Б'5 101 - У6 Б1.Б3

Б5 101 Б'6 110 - У4,У5 Б1,Б2

Б0 000 Б'6 110 х1,х5 У7 Б1,Б2

Б0 000 Б'6 110 х2,х4 У7 Б1,Б2

Б0 000 б'6 110 х3,х4 У7 Б1,Б2

На основе данных таблицы 5 запишем функции возбуждения триггеров, при

этом соответствующие коды исходных состояний будем обозначать буквой а для

значения единица и а для значения ноль.

Б1 = а2 а а0 х6У3 V а2 а а0 У6 V а2 а а У4У5 V а2 а а х1х5У7 V а2 а а х2х4У7 V а2 а а х3х4У7 Б2= а2ах ао

У2 V а2аа0 У2хб V а2аха0 У4У5 V а2 а а х1х5У7 V а2 а а х2х4У7 V

а2 а а х3х4У7

Б3=а2аа0у^ аа^хб V а2аа0Уб. На основе спроектированного операционного автомата и арифметико-

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

(рис. 10). Функциональная схема процессора является объединением названного

операционного автомата нижнего уровня процессора и АЛУ, его устройства

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

7 У6 0 7 у6 0

Я§БЫ ЯВБЬ

7 у6 0

7 У6

у6

У2

Я§АЫ

У2

ЯВАЬ

БЫ

у1

БиМ

у1

0 7

БЬ

у2

АЫ

АЬ

7 0 7 0 7 у6 к г 0 1 Ь

1 7-0] , [7-0] , 1 г

7-0] [7-0]

[4-0]

[4-0]

у0

ША

ШД ШУ

х4 х5 у6

ББ О

■у ■у

Ï1 х5 \ ВС

15

БМиХ

г

0_

КОП ФК ТА Ю Я2

31

Рис. 10. Функциональная схема векторного процессора Работа векторного процессора, представленного на рисунке 10 происходит следующим образом.

0

0

0

7

0

7

7

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

7

0

7

0

1

0

0

Труды МАИ. Выпуск № 115 ЬЦр://1гиёуша1. ги/

Первоначально предполагается, на вход векторного процессора поступили два

вектора сложности Ж = ||, соответствующие двум операндам хд длиной не более

ста, разрядностью < 8 с количеством таких векторов не более шести.

Предложенный процессор считывает разрядности полей КОП[1-0] для определения того, какая именно операция должна быть выполнена в данный момент времени. При этом в данный момент на входе АЛУ процессора присутствует два вектора, которые подаются на вход векторного сумматора. После окончания операции суммирования происходит сохранение результатов в регистрах ЛИ.ЛЬ и установка соответствующих флагов выполнения операции ББ, 7Б. О.

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

Скалярный процессор в этом случае последовательно выбирает пары чисел после чего складывает их. То есть необходимо повторить цикл 10 раз, прочитать следующую инструкцию, декодировать ее, получить первое слагаемое, получить второе слагаемое сложить сохранить результат и т.д. [1].

При использовании векторного процессора необходимо выполнить следующие инструкции: прочитать инструкцию, декодировать ее, получить 10 чисел, получить 10 чисел, получить 10 чисел, сложить, умножить их и сохранить результат [17,18].

Из приведенного анализа очевиден выигрыш в скорости выполнения около двух раз, что подтверждает выигрышность использования предложенного

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

системах критического назначения.

Заключение

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

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

Библиографический список

1. Цилькер Б.Я. Организация ЭВМ и систем. - СПб.: Питер, 2007. - 668 с.

2. Оре О. Теория графов. - М.: Наука, 1968. - 352 с.

3. Кормен Т.М. и др. Алгоритмы: построение и анализ. Алгоритмы для работы с графами. - СПБ.: Издательский дом "Вильямс", 2006. - 1296 с.

4. Stallings W. Computer organization and architecture. Designing for Perfomance. Tenth Edition, Prentice-Hall, 1999. URL:

Труды МАИ. Выпуск № 115 http://trudymai. ru/

http://home.ustc.edu.cn/~leedsong/reference books tools/computer%200rganization%20

and%20Architecture%2010th%20-%20William%20Stallings.pdf

5. Левин И.И., Штейнберг Б.Я. Сравнительный анализ эффективности параллельных программ для различных архитектур параллельных ЭВМ // Искусственный интеллект. 2001. № 3. С. 234 - 242.

6. Слюсар В. Многоядерная архитектура: проблемные аспекты // Электроника НТБ. 2007. № 1. URL: https://www.electronics.ru/journal/article/514

7. Майоров С.А., Кириллов В.В., Приблуда А.А. Введение в микроЭВМ. -Ленинград: Машиностроение, 1988. - 304 с.

8. Микушин А.В., Сажнев А.М., Сединин В.И. Цифровые устройства и микропроцессоры. - СПб.: БХВ-Петербург, 2010. - 832 с.

9. Бусурин В.И., Медведев В.М., Карабицкий А.С., Гроппа Д.В. Алгоритмы анализа цифровой информации для оптимизации контроля систем управления // Труды МАИ. 2017. № 97. URL: http://trudymai.ru/published.php?ID=87277

10. Басов Р.Г., Борзов Д.Б., Локтионова О.Г. Программа моделирования загрузки мультипроцессорной системы. Свидетельство о государственной регистрации программ на ЭВМ № 2019616927 РФ, 30.05.2019.

11. Басов Р.Г., Борзов Д.Б., Титов В.С. Метод и алгоритм планирования загрузки процессоров в мультипроцессорных системах критического назначения // Телекоммуникации. 2020. № 1. С. 41 - 48.

12. Трахтенгерц Э.А. Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции - М.: Наука, 1981. - 254 с.

Труды МАИ. Выпуск № 115 http://trudymai. ru/

13. Tyutlyaeva E.O., Konyukhov S.S., Odintsov I.O., Moskovsky A.A. Seismic

Processing Performance Analysis on Different Hardware Environment // Seismic Processing Performance Analysis on Different Hardware Environment, 2017, vol. 4, no. 3, pp. 80 - 90. DOI: 10.14529/jsfi170305

14. Хокни Р., Джессхоуп К. Параллельные ЭВМ. Архитектура, программирование и алгоритмы. - М.: Радио и связь, 1986. - 392 с.

15. Каляев A.B., Левин И.И. Модульно-наращиваемые многопроцессорные системы со структурно-процедурной организацией вычислений. - M.: Янус-К, 2003. - 379 с.

16. Борзов Д.Б., Чернецкая И.Е. Проектирование процессора ЭВМ. - Курск: Изд-во Юго-Западный государственный университет, 2020. - 199 с.

17. Momose S. SX-Aurora TSUBASA. Brand-new Vector Supercomputer // SC'17 Supercomputer Forum, 2017. URL: https://www.osp.ru/os/2018/01/13053934

18. Кузьминский М. Из ускорителей в процессоры // Открытые системы СУБД. 2016. № 3. C. 4 - 6. URL: https://www.osp.ru/os/2016/03/13050252

19. Маркарян А.О., Чурков И.С. Задачи управления в системе принятия решений при отказах автоматизированных рабочих мест // Труды МАИ. 2020. № 113. URL: http://trudymai.ru/published.php?ID=118150. DOI: 10.34759/trd-2020-113-10

20. Набатов А.Н., Веденяпин И.Э., Мухтаров А.Р. Применение онтологического подхода к процессу проектирования информационной системы // Труды МАИ. 2018. № 102. URL: http ://trudymai.ru/published.php?ID=99177

Труды МАИ. Выпуск № 115 http://trudymai. ru/

Processor load scheduling device in multiprocessor systems

of critical purpose

Borzov D.B.1*, Basov R.G.1**, Titov V.S.1***, Sokolova Yu.V.2****

Southwestern State University, SWSU, 94, str. 50 Let Oktyabrya, Kursk, 305040, Russia 2Lavochkin Research and Production Association, NPO Lavochkin, 24, Leningradskay str.,

Khimki, Moscow region, 141400, Russia *e-mail: borzovdb@kursknet. ru **e-mail: r_basov@eureca. ru ***e-mail: [email protected] ****e-mail: [email protected]

Abstract

The need to prompt response from the computing system side emerges in the state-of-the-art multiprocessor critical systems. The systems, which failures lead to the losses (economic, physical, human etc.) are defined as critical systems. In the event of failure, such systems are the subject to high requirements for operability, reliability, safety, security, etc. All costs herewith associated with introduction of changes to such system or its replacing (direct, indirect, etc.) are more important that the losses occurred in the case of the multiprocessor system failure itself. It is obvious that minimization of both time and hardware costs, necessary for the multiprocessor system response to the hazardous situation is of most importance.

The failures occurring in the internal processor modules, such as aircraft cockpits, surveillance systems, targeting, atomic systems etc., can be assigned to the critical situations. In case of the multiprocessor system failure herewith, its performance and response decrease, which is unacceptable in critical systems. One of the options for this

Труды МАИ. Выпуск № 115 http://trudymai. ru/

issue solving may be processor loading planning in multiprocessor systems. In this case,

the multiple loading of several processors by the same task (routine, subroutine, algorithm,

file, etc.) can be avoided, and, with this, the queue of the incoming tasks can be planned in

such a fashion that they are being fed simultaneously. This allows reduce unplanned

operation downtime and, at the same, time increase its availability factor along with

increased performance.

The presented work is devoted to critical multiprocessor systems, to which high

availability objects, which operability is critical for any kind of activity, can be assigned. In

such cases, a person, country, enterprise, organization, etc. is distinguished. A failure in

this case leads to in the system response time decrease and a further decrease in its

performance, and, thus, the availability. In this case, the application of the software for

solving this issue is unacceptable, which means that it is necessary to use specialized

hardware load scheduling tools.

Keywords: multiprocessor system, scheduling, loading, high availability, assignment, method, algorithm, schedule.

References

1. Tsil'ker B.Ya. Organizatsiya EVM i system (Organization of computers and systems), Saint Petersburg, Piter, 2007, 668 p.

2. Ore O. Teoriya grafov (Theory of Graphs), Moscow, Nauka, 1968, 352 p.

Труды МАИ. Выпуск № 115 http://trudymai. ru/

3. Kormen T.M. et al. Algoritmy: postroenie i analiz. Algoritmy dlya raboty s grafami

(Algorithms: construction and analysis. Algorithms for working with graphs), Saint Petersburg, Izdatel'skii dom "Vil'yams", 2006, 1296 p.

4. Stallings W. Computer organization and architecture. Designing for Perfomance. Tenth Edition, Prentice-Hall, 1999. URL: http://home.ustc.edu.cn/~leedsong/reference books tools/Computer%200rganization%20 and%20Architecture%2010th%20-%20William%20Stallings.pdf

5. Levin I.I., Shteinberg B.Ya. Iskusstvennyi intellect, 2001, no. 3, pp. 234 - 242.

6. Slyusar V. Elektronika NTB, 2007, no. 1. URL: https ://www.electronics.ru/journal/article/514

7. Maiorov S.A., Kirillov V.V., Pribluda A.A. Vvedenie v mikroEVM (Introduction to microcomputers), Leningrad, Mashinostroenie, 1988, 304 p.

8. Mikushin A.V., Sazhnev A.M., Sedinin V.I. Tsifrovye ustroistva i mikroprotsessory (Digital devices and microprocessors), Saint Petersburg, BKhV-Peterburg, 2010, 832 p.

9. Busurin V.I., Medvedev V.M., Karabitskii A.S., Groppa D.V. Trudy MAI, 2017, no. 97. URL: http://trudymai.ru/eng/published.php?ID=87277

10. Basov R.G., Borzov D.B., Loktionova O.G. Svidetel'stvo o gosudarstvennoi registratsii Programm na EVM№ 2019616927 RF, 30.05.2019.

11. Basov R.G., Borzov D.B., Titov V.S. Telekommunikatsii, 2020, no. 1, pp. 41 - 48.

12. Trakhtengerts E.A. Vvedenie v teoriyu analiza i rasparallelivaniya programm EVM v protsesse translyatsii (Introduction to the theory of analysis and parallelization of computer programs in the translation process), Moscow, Nauka, 1981, 254 p.

Труды МАИ. Выпуск № 115 http://trudymai. ru/

13. Tyutlyaeva E.O., Konyukhov S.S., Odintsov I.O., Moskovsky A.A. Seismic Processing

Performance Analysis on Different Hardware Environment, Seismic Processing Performance Analysis on Different Hardware Environment, 2017, vol. 4, no. 3, pp. 80 - 90. DOI: 10.14529/jsfi170305

14. Khokni R., Dzhesskhoup K. Parallel'nye EVM. Arkhitektura, programmirovanie i algoritmy (Parallel computers. Architecture, programming and algorithms), Moscow, Radio i svyaz', 1986, 392 p.

15. Kalyaev A.B., Levin I.I. Modul'no-narashchivaemye mnogoprotsessornye sistemy so strukturno-protsedurnoi organizatsiei vychislenii (Modularly expandable multiprocessor systems with structural and procedural organization of computations), Moscow, Yanus-K, 2003, 379 p.

16. Borzov D.B., Chernetskaya I.E. Proektirovanie protsessora EVM (Computer processor design), Kursk, Izd-vo Yugo-Zapadnyi gosudarstvennyi universitet, 2020, 199 p.

17. Momose S. SX-Aurora TSUBASA. Brand-new Vector Supercomputer, SC'17 Supercomputer Forum, 2017. URL: https://www.osp.ru/os/2018/01/13053934

18. Kuz'minskii M. Otkrytye sistemy SUBD, 2016, no. 3, pp. 4-6. URL: https://www.osp.ru/os/2016/03/13050252

19. Markaryan A.O., Churkov I.S. Trudy MAI, 2020, no. 113. URL: http://trudymai.ru/eng/published.php?ID=118150. DOI: 10.34759/trd-2020-113-10

20. Nabatov A.N., Vedenyapin I.E., Mukhtarov A.R. Trudy MAI, 2018, no. 102. URL: http://trudymai.ru/eng/published.php?ID=99177

i Надоели баннеры? Вы всегда можете отключить рекламу.