CC BY
47
УДК004.42: 519.85
ТЕХНОЛОГИЯ ВИЗУАЛЬНОГО МОДЕЛИРОВАНИЯ ПАРАЛЛЕЛЬНЫХ АЛГОРИТМОВ.
ЯЗЫК РСВДРИ
© 2018 А.Н. Коварцев, В.В. Жидченко, Д.А. Попова-Коварцева, А.Н. Даниленко
Самарский национальный исследовательский университет имени академика С.П. Королёва
Статья поступила в редакцию 12.12.2018
Рассматриваются основные принципы разработки моделей параллельных алгоритмов на основе визуального стиля программирования. Визуальное моделирование параллельных вычислительных процессов обладает достоинством наглядного представления информации и гораздо лучше соответствует природе человеческого восприятия, чем методы традиционного, текстового программирования. Предложенная технология и созданный на её основе язык визуального представления параллельных алгоритмов имеют большое практическое значение, поскольку позволяют упростить и ускорить разработку алгоритмов параллельных вычислений. Ключевые слова: визуальное программирование, технология программирования, параллельные вычисления, синхронизация вычислительных процессов.
ВВЕДЕНИЕ
Современное программное обеспечение (ПО) характеризуется сложностью выполняемых функций и значительностью объемов исполняемых кодов. При этом к программам предъявляются высокие требования к качеству и надежности ее кодов. Использование графических методов программирования позволяет повысить производительность труда программиста, сократить время разработки параллельных вычислительных процессов, а также повысить их надежность.
Визуальные средства разработки алгоритмов используют для создания программ графические элементы (диаграммы и схемы). Технология гра-фосимволического программирования (ГСП), созданная на кафедре программных систем Самарского национально-исследовательского университета, является одним из способов наглядного представления алгоритмов программы в виде графа управления и в большей степени соответствует образному способу мышления человека.
1. ОСНОВНЫЕ ПОЛОЖЕНИЯ ТЕХНОЛОГИИ ГСП
Технология ГСП предоставляет возможности проектирования и создания алгоритмов программ с использованием графической нотации.
Коварцев Александр Николаевич, доктор технических наук, профессор, заведующий кафедрой программных систем. E-mail: [email protected] Жидченко Виктор Викторович, кандидат технических наук, доцент кафедры программных систем. E-mail: [email protected]
Попова-Коварцева Дарья Александровна, кандидат технических наук, доцент кафедры программных систем. E-mail: [email protected]
Даниленко Александра Николаевна, кандидат технических наук, доцент кафедры программных систем. E-mail: [email protected]
Данная технология разрабатывалась для автоматизации процессов проектирования, кодирования и тестирования программного обеспечения.
В основу рассматриваемой технологии легла традиционная модель объекта с дискретными состояниями, когда можно выделить конечное число состояний для любого объекта программирования. Тогда вычислительный процесс можно описать переходами объекта из одного состояния в другое.
1.1. Моделирование последовательных алгоритмов
В технологии ГСП понятие алгоритма связывается с совокупностью вычислимых функций (модулей, операций). Тогда программу алгоритма A можно интерпретировать как некоторую результирующую вычислимую функцию: f : n (D) ^ out(D),
где in(D) - множество входных данных функции f, out(D) - множество выходных данных функцииf.
В [2] изложена концепция описания алгоритма для вычислительной модели, названной машиной Колмогорова. В машине Колмогорова на каждом шаге работы алгоритма реализуется переработка текущего состояния структур данных D в новое состояние D* с помощью некоторой локальной функции D*=fk(D). Процесс переработки D0=D в D1=f1(D0), D1 в D2=f2(D1)=f1(f2(D)) и т.д. продолжается до тех пор, пока не появится сигнал о получении решения.
В ГСП тоже реализуется преобразование структур данных с помощью вычислимых функций, но по другим правилам. Граф состояний G - ориентированный помеченный граф, вершины этого графа - состояния, а дуги определяют переходы системы из состояния в состояние [1].
Формально состояние - это достижение объ-
ектом O (моделью алгоритма) определенной конкретизации структур данных, требующее выполнения соответствующих действий над данными предметной области с помощью некоторой вычислимой функции Ak. Поэтому каждая вершина графа помечается локальной вычислимой функцией Ak. При этом следует помнить, что состояние графа Sj - это некое понятие («концепт»), связанное с абстрагированием объекта O, а вычислимая функция Ak, «приписанная» состоянию, - функциональное действие, которое необходимо выполнить при переходе объекта в это состояние.
Для реализации событийного управления на графе состояний G вводится множество логических функций (предикатов) Р={Р1, Р2,..., Р;}. Здесь Р((Б) е {0,1} в зависимости от значений данных Б.
Дугам графа G поставим в соответствие функции-предикаты. Событие, реализующее переход S. ^ Sj на графе состояний G, инициируется, если модель объекта О на текущем шаге работы алгоритма находится в состоянии S. и соответствующий предикат Ру(Б) (помечающий данный переход) истинен.
Ориентированный помеченный граф наглядно представляет пути развития вычислительного процесса. Фактически граф G является строгим описанием графа управления программы.
Модель алгоритма в технологии графосим-волического алгоритма можно описать следующим образом:
М=<Б,Р,Р,0, где Б - данные некоторой предметной области, Р - множество вычислимых функций, Р - множество предикатов, действующих над структурами данных, G - граф состояний объекта О [1].
С помощью данной четверки М можно описать любой алгоритм программы. При этом алгоритм программы представляется в визуальной форме, в виде графа управления. Кроме того, происходит декомпозиционное рассло-
ение основных компонент описания алгоритма. Так структура алгоритма представляется графом управления G, логические выражения, определяющие управления, собраны в едином хранилище - множестве предикатов Р.
Технология ГСП допускает построение иерархически вложенных алгоритмических моделей, уровень вложенности граф-моделей не ограничен.
Рисунок 1 содержит описание модели алгоритма решения задачи о ханойских башнях. Текст программы на языке С++ в соответствии с графическими нотациями, представленными на рисунке, генерируется автоматически [3].
Предложенный стиль визуального программирования языка PGRAPH имеет много общего с другими языками визуального программирования. С одной стороны, графические нотации языка PGRAPH часто воспринимаются как разновидность автоматного программирования, например, Swгícй-технологии Шалыто А.А. [4]. С другой стороны, язык PGRAPH имеет схожие черты с языками, использующими блок-схемы: ДРАКОН [5]. В определенном смысле PGRAPH можно считать алгоритмическим языком моделирования, реализующим процесс проектирования ПО, и тогда он похож на язык иМЬ [6] за тем исключением, что на языке PGRAPH после завершения описания модели алгоритма всегда автоматически порождается код программы.
Используемый в ГСП математический формализм - граф управления (ГУ) - служит хорошей основой для решения ряда задач повышения качества разрабатываемых моделей алгоритмов: структурного тестирования графа управления, структурной оптимизации ГУ, построения схем маршрутов вычислительных процессов, классификации используемых данных по признаку вход/выход и т.д. Но удивительной особенностью данной технологии является возможность разработки модели алгоритма без использования его
Рис. 1. Пример последовательной программы
готового облика. В технологии ГСП для разработки алгоритма достаточно иметь лишь идею решения задачи, а алгоритм строится шаг за шагом в процессе прорисовки графа управления.
1.2. Моделирование параллельных алгоритмов
Параллельная программа содержит несколько вычислительных процессов, поэтому для описания модели параллельного алгоритма в технологии ГСП необходимо ввести новые элементы. Следует обозначить начало и конец параллельных процессов, а также определить условия их запуска и завершения [7]. Для этих целей вводится понятие дуг различного типа.
Рассматриваемая технология допускает для описания параллельного алгоритма использование следующих типов дуг: последовательная, параллельная (обозначение начала параллельного процесса) и терминирующая (обозначение завершения параллельного процесса).
Для формального описания типов дуг Т.. используется функция, принимающая три значения T(Т.) е {1,2,3} (1 - последовательная дуга, 2- параллельная дуга, 3 - терминирующая).
Каждый отдельный вычислительный процесс начинается параллельной дугой и заканчивается терминирующей. В технологии ГСП для описания такого процесса вводится понятие параллельной ветви Ь, являющейся подграфом графа О. Параллельную ветвь алгоритма можно формально определить следующим образом:
Ь = <Аь Ть , ^ где АЬ - множество вершин ветви, ТЬ - множество дуг управления ветви, ЯЬ - отношение над множествами вершин и дуг ветви, определяющее способ их связи.
Дуга, которая обозначает вход в параллель -ный процесс называется параллельной дугой и помечается «кружком». Дуга, обозначающая выход из параллельной ветви, называется терминирующей и помечается перечеркиванием. Допускается вложенность параллельных ветвей. Ветви, породившиеся в одной вершине некоторой ветви, должны терминироваться также в одной вершине этой же ветви. Можно создать неограниченное количество параллельных ветвей. Число параллельных ветвей программы фиксируется при создании алгоритма. Модель параллельного алгоритма можно представить как совокупность всех параллельных ветвей:
С=ирк,
где рк, - параллельные ветви графа G.
Функционирование модели начинается с запуска единственной ветви, называемой мастер-ветвью. На рисунке 2 представлен пример параллельной программы, предназначенной для решения системы обыкновенных дифференци-
альных уравнений (ОДУ) больших размерностей методом Рунге-Кутты. Данный модуль входит в более общую программу расчета движения космической тросовой системы (КТС) [8].
Применение КТС открывает новые возможности в использовании космического пространства: создание искусственной тяжести, транспортные операции в космосе, возвращение полезных грузов с орбиты, запуск малых спутников с базового космического аппарата (КА), использование геомагнитного поля Земли для орбитальных маневров - вот далеко не полный перечень возможностей КТС [9].
Несмотря на свою внешнюю простоту, задача высокоточного расчета движения КТС имеет свои сложности. Трос может иметь длину 30 километров и более. Для достижения приемлемой точности расчетов необходимо разбивать трос на значительное количество участков (100000 и более). На одном процессоре (для последовательного алгоритма) потребуется слишком много машинного времени. Однако исходную задачу можно разбить на р частных задач, меньших размерностей, и решать их на высокопроизводительной кластерной вычислительной системе, что достигается за счет разбиения всего троса на р участков.
В то же время, особенности решаемой задачи не позволяют использовать классические схемы организации параллельных вычислений, часто используемые численные решения дифференциальных уравнений [10]. Дело в том, что для опреде -ления сил натяжения для каждой точки троса требуется знать положение соседних с ней точек, что не позволяет организовать независимое решение частных систем ОДУ на каждом процессоре. Каждая частная задача должна получать и передавать информацию о положении точек, смежных с соседним участком троса (каждый участок обсчитывается на собственном процессоре).
В методе Рунге-Кутты изменение фазовых
ёХ
координат для уравнения -= Е(X, £) рас-
&
считывается по формуле Ь
X(г+1) = X(г) + - (К1 + 2К2 + 2К3 + К4). (1) 6
Здесь X - матрица фазовых координат для каждой точки КТС; F(X,t) - правые части ОДУ движения тросовой системы; K1 ,Е.2 4 - матрицы коэффициентов формулы (1). Использование метода Рунге-Кутты применительно для КТС не позволяет производить вычисления коэффициентов К независимо друг от друга. И, как следствие, возникает такая странная 4-х фазная (пульсирующая) модель организации параллельных вычислений, представленная на рис. 2. В каждой фазе независимо друг от друга вычисляются коэффициенты K¡,K2,K3,K4. При этом при переходе от фазы к фазе передаются каждому
процессору положения точек, смежных с каждым участком троса. Последняя фаза вычисляет новое положение всех точек троса.
-О разослать Ю-исх. дан.
Р!
сбор и рассылка ч—
Ж ж Ж Ж
го.1о '
ц; . ], где и.. - сообщение, посылаемое от вершины А.вершине А.. Возможность передачи сообщения от одной вершины граф-модели к другой вершине изображается графически дугой синхронизации проведенной из вершины-источника сообщения в вершину-получателя сообщения.
Вершина Ак посылает сообщения другим вершинам, записывая сообщения
ЬЛ,Сош = к, 1о,-, ^ к, ,П ] в список Ьро$, Наличие
&,у. Булевы переменные определяются следующим образом:
Ъ
к, 1
¡1, если ц к, у е , 10, если цк, 1 ^ •
Семафорный предикат разрешает или запрещает запуск соответствующей вершины, в которую входит дуга синхронизации. Если ЯЛ = 1, то запуск оператора вершины А. разрешается, иначе вычисления приостанавливаются до того момента, когда ЯЛ станет равным 1.
Проиллюстрируем применение рассмотренных методов на реальном примере. Рассмотрим модель асинхронного потенциального ЯЯ-триггера, построенного на элементах И-НЕ (рис. 3) [7].
Рис. 2. Пример параллельной программы
2. МОДЕЛЬ СИНХРОНИЗАЦИИ ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ
При выполнении параллельных вычислений требуется синхронизация работы модулей программы, выполняемых разными процессорами. Задача синхронизации - это задача, в рамках которой требуется согласовать выполнение нескольких процессов. Данная задача решается с использованием различных механизмов [11]. В технологии ГСП применяется комбинированный способ, использующий одновременно механизмы передачи сообщений и принципы мо-ниторной синхронизации.
Определим почтовый ящик Ьроз1 как список сообщений, с помощью которых вершины модели информируют друг друга о своем состоянии: =
Рис. 3. Принципиальная схема ЯБ-триггера на элементах И-НЕ
Логика работы ЯЯ-триггера во времени может быть описана следующей системой функций:
\y\it +1) = х11(7 )& у 2(7), 1у 2(7 +1) = х22(0&у1(0.
(2)
сообщения р.. в списке Ьроз1 говорит о том, что оператор вершины А. завершил работу и хочет сообщить об этом вершине А..
Каждой вершине ставится в соответствие семафорный предикат ЯЛ = г(Ъ^ ^,...,Ь т ) , представляющий собой правильно построенную формулу относительно булевых переменных Ъ , связанных логическими связками типа
Поскольку триггеры в основном применяются в цифровых устройствах, они, как правило, работают в дискретном времени, и, как следствие, значения их выходных сигналов анализируются только в определенные моменты времени.
Пусть Я=х11(г), Я=х22(г), х12(г)=у2(г), х21(г)=у1(г), д=у1(г+1), ф=у2(г+1). На рисунке 4 представлена параллельная модель алгоритма ЯЯ-триггера. Параллельные ветви данной модели совместно используют переменные у1 и у2 (вершина 3.0 использует переменную у2 для чтения, а вершина 4.1 - для записи). Дуги синхронизации, на рисунке 4 - пунктирные «стрелки», позволяют разрешить конфликт совместного использования данных.
ЗАКЛЮЧЕНИЕ
Визуальное программирование является удобным способом написания параллельных программ. В статье рассмотрены основные аспекты создания параллельных программ в рамках технологии ГСП. В теоретическом плане для организации параллельных вычислений
Рис. 4. Параллельная модель RS-триггера
последовательная алгоритмическая модель расширена дополнительными компонентами. Для описания параллельной программы введено понятия типа дуг и изменен алгоритм управления вычислительными процессами, для этого используются средства организации синхронизации параллельных вычислений.
Разработка и запись параллельного алгоритма в графическом виде значительно облегчает понимание такого алгоритма. Графический способ записи программы в технологии ГСП предоставляет пользователям возможности анализа структуры и производительности параллельной программы, а так же корректности применяемых механизмов синхронизации вычислений.
БЛАГОДАРНОСТИ
Работа выполнена при государственной поддержке Министерства образования и науки РФ, а также гранта РФФИ №16-41-630637.
СПИСОК ЛИТЕРАТУРЫ
1. Коварцев А.Н. Автоматизация разработки и тестирования программных средств. Самара: Самар.
гос. аэрокосм. ун-т, 1999. 150 с.
2. Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. М.: Наука, 1987. 288 с.
3. Коварцев А.Н. Онтологический аспект модели вычислений графосимволического программирования// Онтология проектирования. 2012. № 3. С. 38-48.
4. Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998. 628 с.
5. Паронджанов В.Д. Язык ДРАКОН. Краткое описание. М.: 2009. 124 с.
6. Буч Г., Рамбо Дж., Джекобсон А. Язык UML. Руководство пользователя. СПб.: Питер, 2004. 432 с.
7. Коварцев А.Н., Жидченко В.В. Методы и средства визуального параллельного программирования. Автоматизация программирования. Самара: Са-мар. гос. аэрокосм. ун-т, 2011. 168 с.
8. Заболотнов Ю.М., Фефелов Д.И. Динамика движения капсулы с тросом на внеатмосферном участке спуска с орбиты // Известия Самарского научного РАН. 2006. Т. 8. № 3. С. 841-848.
9. Белецкий В.В., Левин Е.М. Динамика космических тросовых систем. М.: Наука, 1990. 336 с.
10. Гергель В.П. Теория и практика параллельных вычислений. 2-е изд. М.: Интуит, 2016. 500 с.
11. Воеводин В.В., Воеводин Вл.В. Параллельные вычисления. СПб.: БХВ-Петербург, 2002. 608 с.
A TECHNIQUE FOR THE VISUAL MODELING OF PARALLEL ALGORITHMS: THE PGRAPH LANGUAGE
© 2019 A.N. Kovartsev, D.A. Popova-Kovartseva, V.V. Zhidchenko, A.N. Danilenko
Samara National Research University named after Academician S.P. Korolyov
This paper concerns basic principles for developing parallel-algorithm models based on a visual programming style. The visual modeling of parallel computational processes has the advantage of presenting information visually and so agrees with the nature of human reception much better than conventional textual-programming methods. The proposed technique and the resulting language for the visual presentation of parallel algorithms are of significant practical importance because they simplify and accelerate the development of parallel-computation algorithms.
Keywords: visual programming, programming technique, parallel computation, synchronization of computational processes.
Alexsandr Kovartsev, Doctor of Technics, Professor, Head of Software Systems Department. E-mail: [email protected] Victor Zhidchenko, Candidate ofTechnics, Associate Professor of Software Systems Department. E-mail: [email protected] Darya Popova-Kolarceva, Candidate of Technics, Associate Professor of Software Systems Department. E-mail: [email protected]
Alexandra Danilenko, Candidate of Technics, Associate Professor of Software Systems Department. E-mail: [email protected]
