Методы и инструментальные средства разработки масштабируемых параллельных программ для многопроцессорных систем со структурно-процедурной организацией вычислений тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Шматок, Алексей Владимирович

• Шматок, Алексей Владимирович
• кандидат технических наук
• 2004

Оглавление диссертации кандидат технических наук Шматок, Алексей Владимирович

Введение.

1. МЕТОДЫ РАЗРАБОТКИ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ ДЛЯ МВС СПОВ.

1.1. Анализ современных методов разработки параллельных программ для МВС с массовым параллелизмом.

1.2. Архитектура и организация вычислений МВС СПОВ.

1.3. Структура математического обеспечения МВС СПОВ.

1.4. Структурно-функциональный и структурно-декларативный принципы разработки компонентов масштабируемых параллельных программ.

1.5. Выводы.

2. РАЗРАБОТКА МАСШТАБИРУЕМЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ НА ОСНОВЕ КОМПОНЕНТНОГО

ПРОГРАММИРОВАНИЯ.

2.1. Идеология компонентного программирования для разработки масштабируемых параллельных программ для МВС СПОВ различной конфигурации.

2.2. Многоуровневая модель разработки и взаимодействия компонентов масштабируемых параллельных программ МВС СПОВ.

2.3. Синтез масштабируемых параллельных программ на базе структурно-функционального и структурно-декларативного методов.

2.4. Выводы.

3. РАЗРАБОТКА КОМПОНЕНТОВ МАСШТАБИРУЕМЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ НА БАЗЕ СТРУКТУРНО-ФУНКЦИОНАЛЬНОГО И СТРУКТУРНО-ДЕКЛАРАТИВНОГО МЕТОДОВ.

3.1. Типовые схемы распараллеливания информационных потоков.

3.2. Бинарный базис системного уровня компонентной модели программирования.

3.3. Базис макрообъектов системного уровня компонентной модели программирования.

3.4. Примеры решения прикладных задач.

3.5. Анализ продуктивности разработки структурно-декларативным и структурно-функциональным методами.

3.5. Выводы.

4. КОМПЛЕКС ПРОГРАММНЫХ СРЕДСТВ МВС СПОВ.

4.1. Структура программных средств МВС СПОВ.

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

Argus».

4.2.1 .Назначение интегрированной среды разработки «Argus».

4.2.2.Управление процессом разработки в среде «Argus».

4.3. Интегрированная среда разработки компонентов параллельных программ в виде граф-схем «Easyo».

4.3.1. Назначение интегрированной среды разработки «Easyo».

4.3.2. Общие принципы построения граф-схем в среде разработки Easyo».

4.3.3. Примеры построения граф-схем компонентов параллельных программ в среде разработки «Easyo IDE».

4.3.4. Особенности пользовательского интерфейса среды разработки

Easyo IDE».

4.3.5. Разработка масштабируемых компонентов в среде разработки

Easyo IDE».

4.4. Отладчик параллельных программ на реализуемых на базовых модулях МВС СПОВ.

4.5. Выводы.

Введение диссертации (часть автореферата) на тему «Методы и инструментальные средства разработки масштабируемых параллельных программ для многопроцессорных систем со структурно-процедурной организацией вычислений»

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

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

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

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

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

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

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

В то же время широкое распространение новых нетрадиционных принципов программирования МВС МП затруднительно без использования высокоуровневых средств и методов разработки.

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

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

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

На данный момент фирмой Star Bridge Systems, Inc. (США) предлагается среда разработки "Viva" [5], предназначенная для создания параллельных решений для семейства "гиперкомпьютеров" в виде граф-схем, в которой используется независимый от аппаратуры графический язык описания параллельных алгоритмов, на основе которого возможно создавать масштабируемые решения.

Компанией Xputer Lab (Kaiserslautern) (Германия) [6] разрабатывается специализированный "пространственно-ориентированный" (Map-Oriented) язык программирования для оригинальных реконфигурируемых вычислительных систем [7,8], который позволит программировать детерминированный процесс выборки операндов из пространства памяти, при этом через вычислительную структуру системы организуется детерминированный поток данных. Данный язык наиболее эффективен на систолических либо сводимых к ним классах задач, в которых присутствуют регулярные зависимости между данными.

В России можно выделить работы, проводимые в Институте программных систем РАН и Исследовательском центре мультипроцессорных систем по созданию системы автоматического динамического распараллеливания программ [9]. Известна система программирования Норма [10], разработанная в Институте прикладной математики им. М.В. Келдыша, которая обеспечивает высокую эффективность реализации вычислительных процессов для многопроцессорных систем с различной архитектурой, но она ориентирована на решение класса задач математической физики.

В Институте проблем информатики РАН под руководством академика РАН B.C. Бурцева разрабатывается вычислительная система с автоматическим распределением ресурсов [11], в которой, благодаря оригинальной архитектуре, основанной на потоках операндов (так называемых "токенов"), осуществляется динамическое распараллеливание задач, обеспечивая при этом высокий коэффициент использования оборудования.

Одним из перспективных направлений в области построения высокопроизводительных вычислительных систем являются МВС со структурно-процедурной организацией вычислений (СПОВ) и программируемой архитектурой (ПА). В Научно-исследовательском институте многопроцессорных вычислительных систем Таганрогского государственного радиотехнического университета (НИИ МВС ТРТУ) под руководством академика РАН А.В. Каляева была разработана основная концепция технологии создания МВС СПОВ и ПА [12,13,14,15].

Основная идея параллельных вычислений, реализуемых в МВС СПОВ и

ПЛ, заключается в том, чтобы позволить пользователю с помощью предоставляемых программных средств и соответствующей аппаратной поддержки программировать и формировать в исходной универсальной системе на время решения специализированные вычислители, адекватные структуре решаемой задачи, что позволяет достигать максимальной производительности, соизмеримой со специализированными аппаратными системами, разработанными специально для решения данной задачи. При этом для широкого класса задач достигается реальная производительность системы, близкая к пиковой. Существенное отличие создания параллельных программ для МВС СПОВ заключается в том, что для таких систем формируется не столько структура задачи, адекватная структуре системы, а, наоборот, отталкиваясь от структуры задачи, формируются конфигурация вычислительной системы и процедуры организации потоков данных решаемой задачи [16,17,18].

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

При создании МВС СПОВ число объектов системы конечно, что накладывает ряд ограничений на структурную реализацию вычислений, в связи с этим информационный граф задачи разбивается на множество последовательно реализуемых фрагментов задачи - кадров, каждый из которых реализуется на оборудовании МВС СПОВ структурно. Такую организацию вычислений принято называть структурно-процедурной [20,21].

В НИИ МВС ТРТУ разрабатываются не только технологии создания суперкомпьютеров, но и средства программирования, в том числе, для создания масштабируемых параллельных решений прикладных задач. В работах Л.В. Каляева, И.И. Левина, И.М. Пономарева были заложены базовые принципы технологии разработки масштабируемых параллельных программ для МВС МП различных конфигураций [22,23,24]. Однако не были созданы инструментальные средства и методы разработки масштабируемых параллельных программ, соответствующие современным концепциям быстрой разработки (RAD) [25]. Использование таких инструментов позволило бы не только ускорить процесс создания параллельных программ, но и поднять его на новый уровень, не требующий высокой квалификации от разработчиков прикладных программ.

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

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

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

Для достижения этой цели в работе решаются следующие задачи:

1) исследуются средства и методы организации параллельных вычислений для МВС с массовым параллелизмом;

2) исследуются формы представления структурно-процедурных параллельных программ;

3) разрабатываются формы представления масштабируемых параллельных алгоритмов как в текстовом виде, так и в виде граф-схем;

4) разрабатывается новый метод описания структурных компонентов масштабируемых параллельных программ в виде граф-схем для реализации на МВС СПОВ различной конфигурации;

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

6) разрабатывается информационная структура многопользовательской базы данных компонентов масштабируемых параллельных программ.

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

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

К числу наиболее важных результатов диссертации относятся:

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

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

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

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

Практическую ценность работы представляют:

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

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

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

Использование результатов работы. Теоретические и практические результаты диссертационной работы использованы при выполнении госбюджетных и хоздоговорных НИР в НИИ МВС ТРТУ, непосредственным участником которых являлся автор диссертации.

Наиболее важными из них являются:

- "Синтез унифицированных алгоритмов решения военно-прикладных задач на суперкомпьютере", руководитель - академик РАН А.В. Каляев, зарег. в ЦВНИ, ИН-858;

- "Исследование и разработка фундаментальных принципов и методов программирования многопроцессорных вычислительных систем с массовым параллелизмом, программируемой архитектурой и структурно-процедурной организацией вычислений", руководитель - академик РАН А.В. Каляев, № гос. per. 01.2.00100686;

- "Разработка и исследование системы программирования и настройки архитектуры многопроцессорной системы под структуру задачи", руководитель - академик РАН А.В. Каляев, № гос. контракта 37.011.1.1.0013;

- "Создание экспериментального образца ВПА и компонентов системного программного обеспечения", руководитель НИР - член-корреспондент РАН И.А. Каляев;

- "Разработка и исследование математической модели, структуры и принципов построения многопроцессорной вычислительной системы с динамически программируемой архитектурой", руководитель - к.т.н. И.И. Левин, № гос. per. 01.2.00316409;

- "Создание экспериментального образца МНМС и компонентов системного программного обеспечения", руководитель - к.т.н. И.И. Левин;

- "Разработка математической модели МВС с многоуровневой организацией программирования", руководитель - к.т.н. И.И.Левин, № гос. per. 01.20.031382;

- "Разработка и исследование методов реализации задачи в самонастраиваемой под структуру задачи вычислительной системе", руководитель - к.т.н. И.И.Левин, № гос. per. 01.20.0301381;

- "Разработка методов и аппаратно-программных средств программирования и настройки архитектуры мультимикропроцессорных систем под структуру решаемой задачи", руководитель - академик РАН А.В. Каляев, № гос. per. 01.2.00104214;

- "Исследование и разработка методов преобразования алгоритма задачи в унифицированную параллельную форму и ее адаптации к архитектуре ВВК", руководитель НИР - член-корреспондент РАН И.А. Каляев.

Апробация работы. Основные результаты работы докладывались и обсуждались на всероссийских и международных научно-технических конференциях:

- Международная конференция "Интеллектуальные многопроцессорные системы (ИМС'99)", г. Таганрог, 1-5 сентября 1999 г.;

- Международная конференция "Искусственный интеллект - 2000", Кацивели, Украина, 11-16 сентября 2000 г.;

- 3-я международная научно-техническая конференция "Электроника и информатика - XXI век", Зеленоград-Москва, 2000 г.;

- Всероссийская научная конференция "Высокопроизводительные вычисления и их приложения", Черноголовка, 29 октября- 2 ноября 2000 г.;

- Международная конференция "Интеллектуальные и многопроцессорные системы-2001", Дивноморское, 2001 г.;

- Международная научно-техническая конференция "СуперЭВМ и многопроцессорные вычислительные системы", Таганрог, 26-30 июня 2002 г.;

- Международная конференция "Искусственный интеллект-2000", Кацивели, 2002 г.;

- Международная конференция "Интеллектуальные и многопроцессорные системы-2003", пос. Дивноморское, 2003 г.;

- Международная конференция "Интеллектуальные и многопроцессорные системы-2004", Кацивели, 2004 г.;

- Выставка "Информатика и информационные технологии", г. Берлин (Германия) 2002 г.

По теме диссертационной работы опубликовано 18 печатных работ, из них: 4 статьи, 12 тезисов и материалов докладов на российских и международных научно-технических конференциях, 2 свидетельства о регистрации программ для ЭВМ.

Наиболее важными из публикаций являются:

Левин И.И., Шматок А.В. Технология параллельных индуктивных программ // Труды международной конференции "Интеллектуальные многопроцессорные системы (ИМС'99)". - Таганрог: Изд-во ТРТУ, 1999. - С. 142-146.

Шматок А.В. Средства программирования суперкомпьютеров с программируемой архитектурой // Труды Всероссийской научной конференции "Высокопроизводительные вычисления и их приложения". - М.: Изд-во МГУ, 2000.-С. 168-170.

Левин И.Р1., Пономарев И.М., Шматок А.В. Методы преобразования параллельных программ под структуру вычислительной системы // Искусственный интеллект. - Донецк: Наука i освгга, 2001. - №3. - С. 227-231.

Левин И.И., Шматок А.В. Сборочная система параллельного макропрограммирования "Интегрированная среда для МВС СПРВ" // Искусственный интеллект. - Донецк: Наука i освгга, 2001. - №3. - С. 228-233.

Левин И.И, Пономарев И.М., Шматок А.В., Шахов Р.В. Многопроцессорные рабочие станции с ПА - эффективный инструмент решения сложных научно-технических задач // Материалы научно-технической конференции с международным участием «Компьютерные технологии в инженерной и управленческой деятельности». - Таганрог: изд-во ТРТУ, 2002. -№2.-С. 180-183.

Левин И.И., Шахов Р.В., Сластен JI.M. Математическое обеспечение многопроцессорных вычислительных систем с программируемой архитектурой // Искусственный интеллект. - Донецк: Наука i освгга, 2002. - №3, - С. 286-294.

Левин И.И., Шматок А.В. Система разработки параллельных программ для многопроцессорных вычислительных систем с программируемой архитектурой // Материалы Международной научно-технической конференции "СуперЭВМ и многопроцессорные вычислительные системы". - Таганрог: Изд-воТРТУ, 2002.-С. 153-156.

Левин И.И., Шматок А.В., Каляев З.В. Средства разработки параллельных программ для многопроцессорных вычислительных систем с программируемой архитектурой // Искусственный интеллект. - Донецк: Наука i освгга, 2003. - №3. - С. 147-149.

Шматок А.В., Каляев З.В. Декларативный и функциональный методы разработки компонентов масштабируемых параллельных программ // Искусственный интеллект. Интеллектуальные и многопроцессорные системы. Материалы международной научно-технической конференции, 20-25 сентября 2004 г. - Таганрог: Изд-во ТРТУ, 2004. - Т 1. - С. 227-229.

Шматок А.В., Каляев З.В. Декларативный и функциональный методы разработки компонентов масштабируемых параллельных программ // Высокопроизводительные вычислительные системы (ВПВС-2004). Материалы научной международной школы, 20-25 сентября 2004 г. - Таганрог: Изд-во ТРТУ, 2004. - С. 139-142.

Основные положения, выносимые на защиту:

- модернизированный структурно-функциональный метод разработки масштабируемых параллельных программ для МВС СПОВ;

- новый структурно-декларативный метод разработки масштабируемых параллельных программ для МВС СПОВ;

- алгоритм синтеза структурных компонентов параллельных программ, представленных в виде масштабируемых граф-схем;

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

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

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Шматок, Алексей Владимирович

4.5. Выводы

1) Для реализации методов разработки масштабируемых программ для МВС СПОВ предложена структура комплекса математического обеспечения, основными компонентами которого являются: интегрированная среда разработки параллельных программ «Argus IDE» на базе языка структурно-процедурных вычислений «Argus», интегрированная среда разработки компонентов параллельных программ в виде граф-схем «Easyo IDE», интерактивный отладчик параллельных программ «Argus Debugger».

2) Для эффективной разработки параллельных решений прикладных задач на базе языка программирования структурно-процедурных вычислений «Argus» создана интегрированная среда разработки параллельных программ и программных компонентов «Argus IDE», которая за счет интеграции необходимых для процесса разработки средств в одну систему позволяет ускорить процесс создания параллельных программ для МВС СПОВ различной конфигурации.

3) Для эффективной разработки компонентов параллельных решений прикладных задач, представимых в виде граф-схем, создана интегрированная среда разработки программных компонентов в виде граф-схем «Easyo IDE», которая за счет интеграции необходимых для процесса разработки средств в одну систему позволяет ускорить процесс создания компонентов параллельных программ для МВС СПОВ различной конфигурации.

4) Создана базовая библиотека классов статических и масштабируемых компонентов параллельных программ.

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

ЗАКЛЮЧЕНИЕ

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

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

1) модернизирован комплекс математического обеспечения МВС СПОВ за счет расширения среды исполнения и средств разработки и взаимодействия с пользователем, что в несколько раз позволяет повысить продуктивность разработки масштабируемых приложений;

2) предложены принципы разработки и синтеза масштабируемых параллельных программ на основе идеологии компонентного программирования для МВС СПОВ различной конфигурации;

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

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

5) разработаны унифицированные типовые схемы распараллеливания, позволяющие на их основе создавать масштабируемые параллельные программы за минимальное время;

6) создан комплекс инструментальных средств на базе интегрированной среды разработки масштабируемых параллельных программ и программных компонентов как в текстовом, так и в графическом представлении, использование которого позволяет в 2-4 раза ускорить процесс создания масштабируемых параллельных программ;

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

По теме диссертационной работы опубликовано 18 печатных работ, из них: 4 статьи, 12 тезисов и материалов докладов на российских и международных научно-технических конференциях, 2 свидетельства о регистрации программ для ЭВМ.

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

Список литературы диссертационного исследования кандидат технических наук Шматок, Алексей Владимирович, 2004 год

1. Кузьминский М.Б. Волков Д. Современные суперкомпьютеры: состояние и перспективы // Открытые системы. 2004. №9.

2. Легалов. А.И. Построение параллельных алгоритмов // Открытые системы. 2004. №9.

3. Средства автоматического распараллеливания.http://parallel.ru/tech/techdev/autopar.html

4. Каляев А.В., Левин И.И. Модульно-наращиваемые многопроцессорные системы со структурно-процедурной организацией вычислений. М.: ООО "Янус-К", 2003. - 380 с.

5. Star Bridge Systems, Inc. «Hypercomputers» overview //http://www.starbridgesystems.eom/products/hardware.html#rc

6. Hartenstein R. W., Hirschbiel A. G., Weber M. Xputers: An open family of non-von neumann architectures. Universitat Kaiserslautern, Bau 12, Postfach 3049, D-675, Kaiserslautern, Germany.

7. Ast A., Becker J., Hartenstein R.W., Kress R., Reinig H. K. Data-procedural Languages for FPL-based Machines Schmidt Fachbereich Informatik, Universitat Kaiserslautern Postfach 3049, D-67653 Kaiserslautern, Germany

8. Xputer Page //http://xputers.informatik.uni-kl.de/xputer/indexxputer.html

9. Проект ИПС РАН. Т-система //littp://parallel.ru/parallel/russia/map/data/ projectl5.html

10. И.Бурцев B.C. Новые подходы к созданию высокопараллельных вычислительных структур // Искусственный интеллект 2000. Тез. докл. науч. конф. - Таганрог: ТРТУ, 2000.

11. Каляев А.В., Левин И.И. Многопроцессорные систехМЫ с перестраиваемой архитектурой: концепции развития и применения // Наука -производству, 1999.-№ 11.-С. 11-19.

12. Каляев А.В. Принципы и методы программирования виртуальных архитектур в многопроцессорных универсальных суперкомпьютерах // Высокопроизводительные вычисления и их приложения. Труды всероссийской научной конференции. М.: Изд-во МГУ, 2000. - С. 12-16. t

13. Каляев А.В. Программирование виртуальных архитектур в суперкомпьютерах с массовым параллелизмом // Информационные технологии и вычислительные системы, 2000. № 2. 1

14. Левин И.И. Параллельные компьютеры с программируемой архитектурой и структурно-процедурной организацией вычислений. //"TELEMATIC А-2001International Conference on Telematics and Web-Based Education, 2001, St. Petersburg, http://risbank.spb.ru/trn2001/.

15. Каляев A.B., Левин И.И. Структурно-процедурная организация параллельных вычислений // Труды межд. конф. "Параллельные вычисления и задачи управления (РАСО'2001)" М., ИПУ РАН им. В.А.Трапезникова, 2001. Т. 5.-С. 112-119.

16. Каляев А.В., Левин И.И., Пономарев И.М. Базовый модуль многопроцессорной вычислительной системы с программируемой архитектурой для эффективного решения исследовательских и производственных задач//Наука производству, 1999. -№П.-С. 33-39.

17. Левин И.И., Пономарев И.М. Методика организации высокоэффективных параллельных вычислений в многопроцессорных системах // Тезисы докладов Международной научной конференции "Искусственный интеллект-2000", Кацивели, 2000. С. 142- 144.

18. Пономарев И.М. Методы преобразования задач в структурно-процедурную форму // Труды международной конференции "Интеллектуальные многопроцессорные системы (ИМС'99)", Таганрог, 1999. -С. 51-52.

19. Левин И.И., Пономарев И.М. Структурно-процедурная реализация задачи трассировки // Искусственный интеллект. Донецк: Наука i освта, 2003. -№3. - С.121-129.

20. Коберн Алистер. Быстрая разработка программного обеспечения. Издательство: Лори, 2002 г. 336 с. ISBN 5-85582-182-Х. 2002 г.

21. Немнюгин С., Стесик О. Параллельное программирование для многопроцессорных вычислительных систем. ISBN 5-94157-188-7. 396 с.

22. Хоар Ч. Взаимодействующие последовательные процессы. М.: Мир, 1989.-265 с.

23. Дейкстра Э. Взаимодействие последовательных процессов //В сб. Языки программирования. / Под ред. Женюи Ф. М.: Мир, 1972.- С. 9-86.

24. Андреев А.Н., Воеводин В.В., Жуматий С.А. Кластеры и суперкомпьютеры близнецы или братья. Открытые системы, 2000. - №5-6.

25. Антонов А.С. Параллельное программирование с использованием технологии MPI / Учебное пособие. М.: Изд-во МГУ, 2004. - 71 с.

26. Митрофанов В.В., Слуцкин А.И., Ларионов К.А., Эйсымонт Л.К. Направления развития отечественных высокопроизводительных систем. Открытые системы, 2003. №5.

27. Коуги П.М. Архитектура конвейерных ЭВМ / Пер. с англ. М.: Радио и связь, 1985.

28. Кохонен Т. Ассоциативная память. М.: Мир, 1980.

29. Лейнекер. СОМ+. Энциклопедия программиста, издательство: ДиаСофт. 2001 г. 656 с. ISBN 5-93772-013-х

30. Петцольд. Программирование для Microsoft Windows на С#. В! 2-х томах, издательство: Русская Редакция. 2002 г. 576 с. ISBN 5-7502-0210-0.

31. Cellmatrix. //http://www.cellmatrix.com/

32. Леонид Бараш. Архитектура коммутаторов. Основные принципы // http://www.vector.kharkov.com/support/techn/ararchkom.htm; 1

33. Коммутаторы ATM. //http://osp.irtel.ru/lan/1997/04/source/21.htm;

34. Нирва Мориссо-Леруа, Мартин К. Соломон, Джули Басу Oracle8i: Java-компонентное программирование при помощи EJB, CORBA и JSP Издательство: Лори, 2002 г. ISBN 5-85582-173-0

35. Хомоненко. Delphi 7 в подлиннике, издательство: BHV-СПб. 2003 г.1216 с. ISBN 5-94157-267-0

36. Лейнекер. СОМ+. Энциклопедия программиста, издательство: ДиаСофт. 2001 г. 656 с. ISBN 5-93772-013-х

37. Елманова, Трепалин, Тенцер. Delphi и технология СОМ. -Издательство: Питер, серия Мастер-Класс, январь 2003,704 с, ISBN 5-94723648-6.

38. Нирва Мориссо-Леруа, Мартин К. Соломон, Джули Басу Oracle8i: Java-компонентное программирование при помощи EJB, CORBA и JSP Издательство: Лори, 2002 г. ISBN 5-85582-173-0

39. Microsoft Corporation Разработка Windows-приложений на Microsoft Visual Basic.NET и Microsoft Visual C# .NET(c CD-ROM) издательство: Русская Редакция. 2003 г. 512 с. ISBN 5-7502-0222-4

40. С. Фалчер. Программирование на Microsoft Visual Studio .NET Серия: Фундаментальные знания Издательство: Русская Редакция, 2002 г. 800 стр. ISBN 5-7502-0224-0

41. Брайан Джонсон, Крэйг Скибо, Марк Янг Основы Microsoft Visual Studio.NET 2003 Inside Microsoft Visual Studio.NET Серия: Фундаментальные знания Издательство: Русская Редакция, 2003. 464 с. ISBN 0-7356-1874-7

42. Шеферд. Программирование на Microsoft Visual С++ .NET серия: Фундаментальные знания, 2003. 928 с. ISBN 5-7502-0225-9

43. Эммерих. Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft/COM и Java/RMI. Издательство: Мир, 2002. 510 с. ISBN 5-03-003405-6

44. Рофэйл Э., Шохауд Я. СОМ и СОМ+. Полное руководство, издательство: Век. 2000. ISBN 966-7140-14-8

45. Роберт Орфали, Дэн Харки. Java и CORBA в приложениях клиент-сервер. Издательство: Лори, 2000. 734 с. ISBN 5-85582-092-0, 0-47-24578-Х

46. Х. М. Дейтел, П. Дж. Дейтел, С. И. Сантри. Технологии программирования на Java 2. Книги 1,2,3 Издательство: Бином-Пресс, 2003 г. 560 с. 5-9518-0017-Х, 0-13-089560-1.

47. Валерий Фаронов. Искусство создания компонентов Delphi. Издательство: Питер, 2004. 464 с. ISBN 5-469-00410-4.

48. Павловская Т. А., Щупак Ю. А. C/C++. Структурное программирование: Практикум. Программирование на языке высокого уровня, 2003. 240 с. ISBN 5-94723-967-1

49. Бакнелл. Фундаментальные алгоритмы и структуры данных в Delphi, издательство: ДиаСофт, 2003. 560 с. ISBN 5-93772-087-3

50. Корнеев В.В. Параллельные вычислительные системы. М.: Изд-во Нолидж. ISBN 5-89251-065-4.

51. Программирование на параллельных вычислительных системах. / Под ред. Р. Бэба II. М.: Мир, 1991. - 376 с. j

52. Пономарев В. Самоучитель Delphi 7 Studio. БХВ-Петербург Питер, 2003. Серия "Самоучитель" 504 с. ISBN 5-94157-271-9,

53. Междунапродная организация по стандартизации. //http://www.iso.org;

54. Бъерн Страуструп. AT&T Labs, Флохем Парк, Нью-Джерси. Язык программирования С++, спец. изд. / Пер. с англ. - М.; СПб.: «Издательство БИНОМ» - «Невский Диалект», 2001. - 1099 с.

55. Е.А. Суворова, Ю.Э. Шейнин. Проектирование цифровых систем на VHDL. Санкт-Петербург «БХВ-Петербург», 2003. 576 с. ISBN 5-94157-189-5.

56. Поляков. Языки VHDL и VERILOG в проектировании цифровой аппаратуры, издательство: СОЛОН-Р, 2003. 320 с. ISBN 5-98003-016-6 «

57. Al Major. COM IDL and Interface Design. ISBN 1861002254

58. Конноли, Бегг. Базы данных. Проектирование, реализация и сопровождение. Теория и практика. 3-е издание издательство: Вильяме. 2003. 1436 с. ISBN 5-8459-0527-3.

59. Д. Тейлор, Дж. Мишель, Дж. Пенман, Т. Гогин, Дж. Шемитц. Delphi 3: библиотека программиста СПб: Питер, 1998. - 560 с.

60. Адаменко, Кучуков. Логическое программирование и Visual Prolog, издательство: BHV-СПб, 2003. 992 с. ISBN 5-94157-156-9.

61. Саттер. Решение сложных задач на С++. Серия С++ In-Depth. издательство: Вильяме, 2002. 400 с. ISBN 5-8459-0352-1

62. Джосьютис. С++ Стандартная библиотека. Для профессионалов, издательство: Питер, 2003. 730 с. ISBN 5-94723-635-4.

63. Ахо, Хопкрофт, Ульман. Структуры данных и алгоритмы, издательство: Вильяме, 2000. 384 с. ISBN 5-8459-0122-7

64. Вандевурд, Джосаттис. Шаблоны С++: справочник разработчика, издательство: Вильяме, 2003. 544 с. ISBN 5-8459-0513-3

65. Скотт Мейерс. Эффективное использование STL. Библиотека программиста. СПб.: Питере, 2003. - 224 с. ISBN 5-94723-382-7/

66. Создание экспериментального образца ВПА и компонентов системного программного обеспечения // Отчет о НИР НИИ МВС ТРТУ; Руководитель темы к.т.н. Левин И.И., Таганрог, 2002. - 123 с.

67. Создание экспериментального образца МНМС и компонентов системного программного обеспечения // Отчет о НИР НИИ МВС ТРТУ; Руководитель темы к.т.н. Левин И.И., Таганрог, 2003. - 135 с.

68. Каляев А.В., Левин И.И, Пономарев И.М. Базовый модуль многопроцессорной вычислительной системы с программируемой архитектурой для эффективного решения исследовательских ипроизводственных задач // Наука производству, 1999. - № 11. - С. 33-39.

69. Левин И.И, Шахов Р.В. Алгоритмы трансляции структурно-реализуемого фрагмента задачи для многопроцессорной системы с программируемой архитектурой // Искусственный интеллект. Донецк: Наука i освп-а, 2003. - №3. - С. 138-146.

70. Сластен Л.М. Алгоритм отображения графа задачи в структуру многопроцессорной системы // Труды 9-й Всероссийской межвузовской научно-технической конференции студентов и аспирантов "Микроэлектроника и информатика 2002". - М.: Изд-во МИЭТ, 2002.