Разработка методов выполнения функционально-параллельных программ на основе сетей Петри тема диссертации и автореферата по ВАК РФ 05.13.18, кандидат физико-математических наук Калиниченко, Борис Олегович
- Специальность ВАК РФ05.13.18
- Количество страниц 180
Оглавление диссертации кандидат физико-математических наук Калиниченко, Борис Олегович
ВВЕДЕНИЕ
Глава 1. Анализ параллельных архитектур, языковых иинструментальных средств параллельного программирования
1.1 Архитектуры параллельных ВС
1.2.Выбор архитектуры для проведения исследований по созданию среды выполнения программ, написанных на языке функционально-параллельного программирования
1.3.0бщие подходы к реализации исполнения ФП программ
1.4.Системы, обеспечивающие параллельное выполнение наМРР и кластерных архитектурах
1.5.Выбор среды для построения эмулирующей системы
Глава 2. Управление вычислениями в функционально-потоковой модели 2.1.Описание динамики вычисления функционально-потоковой модели
2.2.Программо-формирующие операторы
2.3.Правила срабатывания операторов
2.4.Влияние эквивалентных преобразований на формирование информационно-управляющего графа
Глава 3. Последовательность срабатываний переходов в сетях Петри и связанные с ней проблемы
3.1.Некоторые аспекты теории сетей и основные определения
3.2.Выражение предиката (ргех) и поведение сетей Петри
3.3.Последовательности срабатываний переходов в сетях Петри и параллелизм внутри них
3.4.Распределенная система вычислений
3.4.1.Некоторые определения и понятия
3.4.2.Методы описания распределенных систем вычисления
3.4.3.Распределенная система вычисления
3.4.4.Алгоритм сохранения глобальной информации 140 системы в локальном состоянии процесса
Глава 4. Разработка инструментальной системы для выполнения функционально-параллельных программ на кластерной архитектуре
4.1 Реализация последовательно-параллельного 146 интерпретатора с использованием системы динамического распараллеливания MOSIX
4.1.1 Структура интерпретатора
4.1.2 Описание входного представления
4.1.3 Общий алгоритм работы интерпретатора
4.1.4 Алгоритм параллельной интерпретации
4.1.5 Алгоритм эквивалентных преобразований списков
4.1.6 Описание протокола взаимодействия процессов при 157 передаче результатов
4.1.7 Описание входных параметров командной строки 158 интерпретатора
4.2 Оценка интерпретации ФПП
4.3 Методы повышения эффективности интерпретации 165 4.3.1 Оценка вычислительной сложности интерпретируемой 166 функции
Рекомендованный список диссертаций по специальности «Математическое моделирование, численные методы и комплексы программ», 05.13.18 шифр ВАК
Исследование и разработка методов выполнения функционально-параллельных программ2004 год, кандидат технических наук Кузьмин, Дмитрий Александрович
Развитие методов анализа сетей Петри для распределенных систем1997 год, кандидат физико-математических наук Нгуен Нгок Тхуан
Языковая и инструментальная поддержка функционально-потокового параллельного программирования2004 год, кандидат технических наук Привалихин, Денис Викторович
Функциональный язык для разработки переносимых параллельных программ2003 год, кандидат технических наук Казаков, Фёдор Александрович
Языковые средства систем программирования, ориентированные на создание переносимых, эволюционно расширяемых параллельных программ2005 год, доктор технических наук Легалов, Александр Иванович
Введение диссертации (часть автореферата) на тему «Разработка методов выполнения функционально-параллельных программ на основе сетей Петри»
Актуальность. Использование параллельных вычислений связано с созданием систем программирования и архитектур, существенно отличающихся от тех, что применяются при последовательной обработке данных. Существуют различные подходы к разработке параллельных программ и их выполнению.
Исторически сложившаяся практика разработки систем программирования, ориентированных на поддержку конкретных архитектур, несмотря на эффективное решение задач для различных параллельных вычислительных систем (ПВС), привела к проблемам переносимости программного обеспечения (ПО). Ситуация усугубляется развитием неоднородных архитектур: адаптация уже существующего ПО для таких систем является неординарной задачей даже для опытных программистов.
Теория сетей Петри широко применяется для моделирования и анализа поведения распределительных вычислительных систем. В терминах сетей Петри достаточно адекватно выражаются многие важные явления параллельных вычислений, такие как взаимное блокирование процессов, состязательное распределение ресурсов, взаимное исключение доступа к ресурсам и другие.
Такие системы параллельной обработки информации, как многопроцессорные вычислительные машины, параллельные программы, моделирующие параллельные дискретные системы и их функционирование, мультипрограммные операционные системы, асинхронные электронные схемы и другие моделируются при помощи сетей Петри.
Развитие теории сетей Петри проводилось по двум направлениям. Прикладная теория сетей Петри связана главным образом с применением сетей Петри к моделированию систем, их анализу и получающимся в результате этого глубоким проникновением в моделируемые системы.
Это требует хорошего знания предметной области применения, сетей Петри и методов теории сетей Петри. Чистая теория сетей Петри занимается разработкой основных средств, методов и понятий, необходимых для применения сетей Петри, для чего необходим прочный теоретический фундамент.
Помимо этого аппарат сетей Петри обладает большой гибкостью, позволяющей осуществлять моделирование параллельных вычислений в различных семантиках. В теории параллельных вычислений наиболее употребительными являются семантики чередования и частичного порядка. В семантике чередования параллельное вычисление представляется последовательностью действий, в которой параллельное выполнение нескольких действий подменяется недетерминированным выбором порядка их выполнения. В семантике частичного порядка на множестве действий устанавливается отношение частичного порядка, отражающее причинно-следственные и временные зависимости между событиями. Параллельно выполняемые действия при этом оказываются несравнимыми. Семантика чередования находит отражение в последовательностях срабатывания переходов сети, семантика частичного порядка приводит к рассмотрению специального класса так называемых сетей происшествий, отражающих упорядоченность событий. Каждая из упомянутых семантик обладает своими особенностями и достоинствами, и поэтому в целях наиболее полного анализа поведения распределенных систем необходимо иметь разработанную технику перехода от одной семантики моделирования параллельных вычислений к другой.
В моделировании и исследовании поведения сложной распределенной системы большую трудность представляет задача синтезирования всей глобальной информации о системе по времени, когда известна информация о каждом подпроцессе и нет буферной памяти для ее запоминания. Поэтому разработка необходимого формализма в сетях Петри для распределенных систем для определенного класса является актуальной.
Попытки создания инструментальных средств, обеспечивающих переносимость параллельных программ, предпринимались неоднократно и осуществлялись по нескольким направлениям. Все они, тем или иным образом, связаны с написанием программ для некоторой обобщенной архитектуры. Выполнение таких программ на ПВС осуществляется после их предварительного преобразования с использованием специализированных средств распараллеливания (десеквенторов). Одним из вариантов классификации методов десеквенции является деление по способам представления исходного параллелизма:
1) использование последовательного программирования с дальнейшим автоматическим распараллеливанием разработанных программ;
2)применение языков программирования, обеспечивающих непосредственное описание любых потоков параллельного управления, по сути являющихся расширениями традиционных последовательных языков за счет добавления разнообразных примитивов распараллеливания и синхронизации. При этом уровень параллелизма полностью контролируется разработчиком и может задаваться в зависимости от конкретных условий. Десеквенция подобных программ является переводом одной параллельной формы в другую;
3)опора на языки, неявным образом описывающие максимальный параллелизм, что обеспечивается заданием только информационных связей. Предполагается, что программа будет рассчитана на выполнение в виртуальной машине с неограниченными ресурсами, а запуск операторов будет происходить по готовности их данных. Адаптация программы к конкретной ПВС обычно осуществляется путем сжатия параллелизма с учетом ресурсных и архитектурных ограничений.
Каждый из подходов в настоящее время представлен семейством соответствующих инструментальных средств.
Использование третьего подхода позволяет выстраивать архитектурно независимые программы, однако приводит к необходимости решения проблем отображения этих программ на различные архитектуры.
Все это определяет актуальность исследований в области создания новых средств параллельного программирования, позволяющих писать мобильные, архитектурно независимые программы, а так же актуальность создания систем, обеспечивающих исполнение таких программ.
Цель работы состоит в исследовании средств и методов выполнения функционально-параллельных программ, базирующихся на функционально-потоковой модели вычислений, в разработке методов анализа сетей Петри для моделирования параллельных и распределенных систем на основе предложенного формализма сетей Петри, обеспечивающих эффективное поведение многовариантного анализа систем на этапе их алгоритмического проектирования. Для достижения поставленной цели необходимо решить следующие задачи:
1. разработать модель, описывающую поведение функционально-параллельных программ, построенных на основе функционально-потоковой модели параллельных вычислений. Разработаны обобщенные алгоритмы выполнения предопределенных операций функционально-потоковой модели вычислений.
2. разработать многоуровневую архитектуру параллельной виртуальной машины обеспечивающей выполнение ФП программ.
3. разработать формализм сети Петри для распределенной системы, функционирование которой может быть описано либо в семантике чередования последовательности срабатываний переходов, либо в семантике частичного порядка на множестве происшествий процесса. Установить соответствие между классами эквивалентности процессов и классами эквивалентности последовательностей срабатывания переходов в распределенной системе.
4. создать размеченную переходную систему для распределенной системы для определения глобального состояния распределенной системы с использованием логических часов между событиями.
5. разработать алгоритм сохранения глобальной информации в моделируемой распределительной системе вычислений.
6. разработать алгоритмы анализа сетей Петри для распределенных систем.
Методы исследования. Исследования осуществлялись на основе: теории сетей Петри; теории алгоритмов; теории формальных грамматик, и языков; формальной, предикатной логики; теории множеств.
На защиту выносятся следующие положения, имеющие научную новизну.
1. Исследована взаимосвязь в конкуренции (параллелизме) событий между двумя основными подходами при моделировании и анализе поведения распределенных систем в теории сетей Петри: первый подход привлекает понятие последовательности срабатываний переходов и соответствует семантике чередования параллельных вычислений, второй подход отражает понятие сети-процесса, соответствующее семантике частичного порядка.
2. Для класса сетей (без самоконкурирующих процессов) получены необходимые и достаточные условия, при которых сеть-процесс однозначно восстанавливается по заданной последовательности срабатываний переходов
3. Введено описание формализма распределенной системы вычисления в виде временной алгебры взаимодействующих процессов сети Петри на основе предложенной размеченной переходной системы без буферизации информации.
4. Разработка алгоритма для сохранения глобальной информации в распределенных системах вычислений.
5. Предложен механизм отображения методов интерпретации ФП программ на ОС Linux с поддержкой системы MOSIX в соответствии многоуровневой архитектурой параллельной виртуальной машины.
6. В рамках развития функционального языка параллельного программирования предложены предопределенные функции, обеспечивающие параллельное выполнение независимых модулей (программ), позволяющих реализовать крупноблочное распараллеливание.
Научная ценность работы состоит в создании математических моделей и формализма анализа распределенных систем, создающих основу разработки программных комплексов в задачах спецификации и верификации дискретных параллельных и распределенных систем.
Практическая ценность.
1. Разработан последовательный интерпретатор, обеспечивающий выполнение и отладку функционально-параллельных программ.
2. Разработан параллельный интерпретатор, обеспечивающий выполнение функциональных параллельных программ на кластерных системах, одно и многопроцессорных архитектурах под управлением ОС Linux с поддержкой системы динамического распараллеливания MOSIX.
3. Для проведения экспериментов на базе учебных компьютерных классов создана кластерная система под управлением ОС Linux с поддержкой MOSIX и MPI, позволившая провести работы по созданию и отладке параллельного интерпретатора, а также провести оценочные эксперименты параллельной интерпретации ФП программ.
4. Реализованы методы переноса ФП программ на последовательную и кластерную архитектуры. Методы основаны на сжатии максимального параллелизма задачи за счет изменения стратегии управления вычислениями.
Апробация работы. Основные результаты диссертационной работы докладывались на следующих научных конференциях: Третья международная научно-техническая конференция «Кибернетика и технологии XXI века», Воронеж, 2002 г. Третий Всероссийский симпозиум по прикладной промышленной математике, Сочи, 2003 г., Шестая международная конференция. «Современные сложные системы управления», Воронеж 2004 г.
Седьмой Всероссийский симпозиум по прикладной промышленной математике, Сочи, 2005 г., Седьмая международная конференция «Современные сложные системы управления», Воронеж 2005 г.
Внедрение результатов работы.
Результаты диссертационной работы использованы при выполнении НИР «Разработка теории сетей Петри в распределенных системах информации» и в учебном процессе курсов численных методов Московского государственного горного университета.
Публикации: основное содержание работы отражено в 6 публикациях.
Объем и структура диссертации.
Диссертация состоит из введения, четырех глав, заключения и списка литературы из 127 наименований.
Похожие диссертационные работы по специальности «Математическое моделирование, численные методы и комплексы программ», 05.13.18 шифр ВАК
Формальные модели и анализ корректности параллельных систем и систем реального времени2001 год, доктор физико-математических наук Вирбицкайте, Ирина Бонавентуровна
Машины логического вывода на основе теории параллельных дедуктивных и абдуктивных вычислений1999 год, доктор технических наук Страбыкин, Дмитрий Алексеевич
Методы асинхронного управления функционально-потоковыми параллельными вычислениями2009 год, кандидат технических наук Редькин, Андрей Владимирович
Методы создания и эквивалентных преобразований параллельных программ с учетом информационных зависимостей2014 год, кандидат наук Шичкина, Юлия Александровна
Методы и программно-аппаратные средства параллельных структурно-процедурных вычислений2004 год, доктор технических наук Левин, Илья Израилевич
Заключение диссертации по теме «Математическое моделирование, численные методы и комплексы программ», Калиниченко, Борис Олегович
Выводы по главе 4
1. Разработка интерпретатора обеспечила практическую поддержку экспериментов, связанных с исследованием параллельного выполнения функциональных программ, написанных на ФП языке программирования. Полученные результаты показывают, что использование многоуровневой архитектуры виртуальной машины в системе выполнения ФП программ позволяет обеспечивать сбалансированную загрузку узлов кластера под управлением ОС Linux с поддержкой MOSIX. Параллельная интерпретация позволила повысить производительность вычислений по сравнению с последовательным выполнением одних и тех же задач (в идеальных условиях, когда число используемых узлов кластера было больше числа одновременно выполняющихся «тяжелых» функций).
2. Программы, написанные на ФП языке программирования, и оттестированные на последовательном интерпретаторе выполнялись на параллельном интерпретаторе без модификации кода и достигали эталонных результатов решения.
3. Полученные данные позволяют определить направления дальнейших работ по повышению эффективности интерпретатора, улучшению транслятора и модификации языка программирования.
ЗАКЛЮЧЕНИЕ
В диссертационной работе исследованы и разработаны новые методы параллельного программирования на основе сетей Петри. Основные выводы и результаты диссертационной работы, полученные лично автором:
1. Предложена модель, описывающая динамику поведения функционально-потоковых параллельных программ. Разработаны обобщенные алгоритмы функционирования узлов модели. Разработаны методы наложения управляющих воздействий, обеспечивающих неявное управление вычислениями на основе заданного информационного графа.
2. Доказана основная теорема, где установлены необходимые и достаточные условия, при которых процессы сетей Петри однозначно восстанавливаются по заданным последовательностям срабатывания переходов. Тем самым показано взаимнооднозначное соответствие распределенной системы, функционирование которой описано либо в семантике чередования последовательности срабатываний переходов, либо в семантике частичного порядка на множестве происшествий процесса.
3. Разработана модель описания поведения параллельных и распределенных вычислительных систем па основе предложенной распределенной переходной системы с целью определения глобального состояния всей распределенной системы с использованием векторных логических часов между событиями и отсутствия общей буферной памяти в системе.
4. Разработан алгоритм сохранения глобальной информации в моделируемой распределенной системе вычислений без буферизации на основе предложенной процедуры временного сечения и векторного логического времени.
5. В рамках создания функционального языка параллельного программирования предложены функции, обеспечивающие параллельное выполнение независимых модулей (программ) и позволяющие использовать ФП язык, как язык управления крупноблочным распараллеливанием, а в комбинации с реализованной интерпретирующей средой, как систему управления для кластерной архитектуры.
Список литературы диссертационного исследования кандидат физико-математических наук Калиниченко, Борис Олегович, 2005 год
1. Воеводин, В.В, Параллельные вычисления / В,В, Воеводин, Вл.В. Воеводин СПб/. БХВ-Петербург. - 2002. ~ 608 с.
2. Крюков, В.А, Разработка параллельных программ дм вычислительных кластеров и сетей // В. А. Крюков "Информационные технологии и вычислительные системы". - 2003. - № 1-2. - С. 42-61.
3. Вальковский, В.А. Распараллеливание алгоритмов и программ. Структурный подход / В.А» Вальковскай-Мл Радио и связь. -1989. -176 с.
4. Алгоритмы, математическое обеспечение и проектирование архитектур, многопроцессорных вычислительных систем / Под ред. А.П. Ершова. М.: Наука.-1982 - 336 с.
5. Хоар, Ч. Взаимодействующие последовательные процессы / Ч. Хоар; пер. с англ.-М.: Мир, 1989.—264 с.
6. Лсгалов, А.И. Стратегии управления вычислениями /А,И. Лсгалов // В кн.; Проблемы техники и технологий XXI века. Материалы научной конференции. Красноярск, КГТУ. -1994. С. 122-126.
7. Легалов, А.И. Управление в вычислительных системах и языках программирования. / А.И. Легалов // Материалы конференции "Проблемы информатизации города". Красноярск. -1994. С. 198-202.
8. Антонов, А. С. Эффективная адаптация последовательных программ для современных векторно-конвеисрных и массивно-параллельных СуперЭВМ / А. С Антонов, В. В. Воеводин // Программирование. 1996. - X» 4. -С. 37-51.
9. Джоунз, Г. Программирование на языке Оккам / Г. Джоунз; пер. с англ. -М.: Мир, 1989.- 208 с.
10. Лацис, А.О. Разработка ОС коллективного использования для многопроцессорной супер-ЭВМ МВС 100/А.О. Лацис // Транспьютерныесистемы и их применение: Тез. докл. Всероссийск. науч. конф. М.: ИПМ им. Келдыша. -1995. - С. 17-24.
11. Легалов, А.И. На пути к переносимым параллельным программам / А.И. Легалов, Ф.А. Казаков, Д.А, Кузьмин, Д.В. Привалихин // Открытые системы. 2003, - № 5.— С. 36-42.
12. Чиди, Д. ASCI White впереди планеты всей / Д. Чиди // Открытые системы: Еженедельник «Computerword». 2000. — jf« 42. ~ http://www.osp.nl/cw/2000/42/0060.htm
13. Бэкус, Дж. Алгебра функциональных программ: мышление функционального уровня» линейные уравнения и обобщенные определения // Математическая логика в программировании: Сб. статей / Дж. Бэкус; пер. с англ.-М.: Мир.-1991. С.8-53.
14. Хендерсон, П. Функциональное программирование. Применение и реализация. / П. Хендерсон; пер. с англ. М.: Мир. -1983. - 349 с.
15. Маурер, У. Введение в программирование на языке ЛИСП / У. Маурер М.: Мир. -1976. - 104 с.
16. Пеплер, П. Функциональный подход к разработке программ с развитым параллелизмом / П. Пеппер, Ю. Эксиер, М. Зюдхольд // Системная информатика. Новосибирск: ВО «Наука». 1995. - С. 334-360. Вып. 4: Методы теоретического и системного программирования.
17. Казаков, Ф.А. Параллельно-функциональный язык программирования / Ф.А. Казаков, Д.А. Кузьмин, А.И. Легалов // В кн.: Негфоинформатика и нейрокомпьютеры. Тезисы докладов рабочего семинара. Красноярск. -1993. С. 14.
18. Казаков, Ф.А. Параллельный язык управления потоков данных / Ф.А. Казаков, Д.А. Кузьмин, А.Е Легалов И Математическое обеспечение и архитектура ЭВМ: Сб. научных работ. Вып. 2. КГТУ, Красноярск. 1997.1. C. 105-113.
19. Кузьмин, ДА. Язык программирования параллельных процессов / ДА. Кузьмин, Ф.А. Казаков, А.И. Легалов // В кн. Нейроинформатика и ее приложения. Программа и тезисы докладов всероссийского рабочего семинара, Красноярск, ~ 1994. G. 203-204.
20. Kuzmin, DA. Description of parallel-functional programming language /
21. D.A. Kuzmin, F.A. Kazakov, A.I. Legalov // Advances in Modeling & Analysis, A, AMSE Press, 1995,-VoK2£-No. 3,- pp. 1-17.
22. Казаков, Ф.А. Функциональная модель потоковых вычислений / Ф.А. Казаков, ДА. Кузьмин, А.И. Легалов // В кн.: Проблемы информатизации города: Вторая тучно-практическая конференция, сб. тезисов докл. Красноярск, 1995. G. 65-67.
23. Легалов, А.И. Модель вычислений функционального языка параллельного программирования / А.И. Легалов, Ф.А. Казаков // 6-й Всероссийский семинар "Нейроинформатика и ее приложения". Тезисы докладов. Красноярск. 199В. - 1 с.
24. Кузьмин, Д.А. Интерпретация функциональных программ на кластере под управлением MOSIX / Д.А. Кузьмин, НИ. Рыженко,
25. A.И. Легалов И Вестник Красноярского Государственного Технического университете. Выпуск № 33. Математические методы и моделирование. Под редакциейВ.И.Быкова.Красноярск.ИПЦКГТУ,2003.-С. 396-205.
26. B.И. Подшивалова. Красноярск.* КГТУ. -2001. С. 66-73.
27. Водяхо» АЖ Стратегии управления вычислительными процессами и их модели / А.И. Водяхо, В.П. Емелин, А.И. Легалов // В кн.: Математическое и программное обеспечение САПР сетевых систем, Йошкар-Ола, 1985. С. 135-142.
28. Водяхо, А.И. Функционально ориентированные процессоры /
29. A.И. Водяхо, В.Б. Смолов, В.У. Плюснин, Д.В. Пузанков / Под ред.
30. B.Б. Смолова Л.: Машиностроение. Ленингр. Отделение. - 1988. - 224 с.
31. Воеводин, Вл. В. Методы описания и классификации вычислительных систем. Учебное пособие. / Вл, В. Воеводин,
32. A.П. Капитонова М.:Изд.-во МГУ.-1994,- 103 с .
33. Корнеев, В.В. Параллельные вычислительные системы /
34. B,В. Корнеев- М: «Нолидж». 1999.-320 с.
35. Кузьминский, М. Современные суперкомпьютеры: состояние и перспективы / М. Кузьминский, Д. Волков // Открытые системы. 1995. -№6.- С. 33-40.
36. Амамия, М. Архитектура ЭВМ и искусственный интеллект / Е, Амамия, Ю. Танака; пер. с японск. Мл Мир, 1993. - 400 е.,ил.
37. Шнитман, В. Электронное пособие «Современные высокопроизводительные компьютеры» / В. Шнитман Информационно-аналитические материалы Центра Информационных Технологий. - 1996. -ht^://support.vologda.ruSook/ARCmTECTURE/Svk/contents.htrn
38. Aad, J. van der Steen Overview of Recent Supercomputers // Aad J. van der Steen, Jack J. Dongarra -http://mvvv.phys.uu.nl/~euroben/reports/web03/overview.html
39. Aad, J. van der Steen Overview of Recent Supercomputers // Aad J. van der Steen, Jack J. Dongarra -http://www.top500.org/ORSC/2002/overvievv02.htmi
40. Архитектура и проектирование вычислительных систем. Распределенные вычислительные системы. // Сборник статей. ~ Рига: РПИ. -1990.- С. 14-21.
41. Pfister, G. Sizing Up Parallel Architectures / G. Pfister — DataBase Programming & Design OnLine, May 1998. Vol. 11. - No. 5.
42. Amza, C. Shared memory computing on networks of workstations, to appear in IEEE Computer Treadmarks / C. Amza, A.L. Cox, S. Dwarkadas, P. Keleher, R. Rajamony H. Lu, W. Yu, and W. Zwaenepoel // in IEEE Computer, Volume 29, Number 2, February 1996.
43. Официальный список 500 самых производительных компьютеров -http://www.top500.org
44. Информационный портал НИВЦ МГУ Лаборатории Параллельных Информационных Технологий http://www.parallei.ru
45. Кузьминский; М. Кирпичные компьютеры* Серверы нового поколения архитектуры NUMA компании SGI // М. Кузьминский — Открытые системы.- 2000, № 9,-http://www.osp.ru/os/2000/09/0W.htm
46. Коваленко, Е. Система Sequent NUMA-Q // Е, Коваленко -Открытые системы. 1997. - Лг» 2. -http://www.osp.ru/os/1997/02/6.htm
47. Головкин, Б.А. Параллельные вычислительные системы, / Б.А. Головкин -М.: Наука, Гл. ред; физ.-мат. лит. -1980. 520 с*
48. System architecture description of the Hitachi SR2201 — http;//www.hitachi.co.jp/Prod/comp/hpc/eng/srl.htrnl
49. Елизарова, Т.Г. Применение многопроцессорных транспьютерных систем для решения задач математической физики / Т.Г. -Елизарова^. Б.Н. Четверушкии // Математическое моделирование. — 1992, т. 4, - Ks 1L - С. 75-100.
50. Гольдштейн, M.JI. Мультипроцессорная вычислительная система на базе транспьютерной идеологии / М.Л. Гольдштейн // Алгоритмы и программные средства параллельных вычислений. Сб. науч. тр. Екатеринбург. УрО РАН. -1995. С. 61-68.
51. Транспьютеры. Архитектура и программное обеспечение: Пср.с анг./ Под ред. Г. Харда. МлРадио и связь. - 1993. - 304 с.
52. Андреев, И. Славянский прорыв иа информационном поле / И. Андреев // «Академия Тринитаризма». 2002. - Эл. № 77-6567, публ. 10170.
53. The Earth Simulator Center http://www.es.jamstec.go.jp
54. Уильяме, M. Япония возглавила рейтинг Тор 500 / М. Уильяме // Открытые системы: Еженедельник "Computerworld". — 2002. X» 17. -http://vvww.osp.ru/cvv/2002/17/004l .htm
55. ASCI Program Plan http://wvvw.llnl.gov/asci
56. Андреев, А. Кластеры и суперкомпьютеры близнецы или братья? / : А. Андреев, В. Воеводин, С. Жуматий // Открытые системы. - 2000. - Кч 5. -http://www.osp.ru/os/2000/05-06/009.htm
57. Митрофанов, В, Направления развития отечественных высокопроизводительных систем / В. Митрофанов, А. Слуцкин, К. Ларионов, Л. Эйсымопт. // Открытые системы, 2003. - № 6. -http://www.osp.nl/os/2003/05/029.htm
58. Орлов, С. Искусство объединения / С. Орлов // Открытые системы: «LAN». 2003. ~ Хй 9. - http://www.osp.Tu/ian/2003/09/072Jrtm
59. Уильяме, М. Кластер Apple третий в Тор500 If М. Уильяме -Открытые системы: Еженедельник "Computerworld". - 2003. - М 47. - : http://www.osp.ru/cw/2003/47/028l.htm
60. Анненков, В.А. Анализ производительности межпроцессорного обмена в МВС 1000М / В.А. Анненков, Е.А. Нурминский, С.В. Смирнов // // «Информатика и системы управления». - 2002. - № 2. - С. 3-12.
61. Гедца, Р. В Австралии строят Linux-суперкомпьютер / Р. Геда // Открытые системы. 2003. - http://www.osp.ni/cw/2003/31/0251 .htm
62. Орлов, С. Российские кластеры на базе Opteron. / С. Орлов // Открытые системы: «LAN». 2003. - № 7-8. - http://www.osp.ru/lari/2003/07-08/006J Lhtm
63. Лацис, А. Как построить и использовать суперкомпьютер. / А. Лацис- М.: Бестселлер, 2003. 240 с. ' I
64. Михайлов, Г.М. Высокопроизводительный кластер ВЦ РАН им. А.А.Дородницына / Г.М. Михайлов, Ю.П. Рогов, М.А. Копытов // Научный сервис в сети Интернет. Труды Всероссийской научной конференции. 2003. - ■,. С. 60-62.
65. Букатов, А. А. Опыт создания высокопроизводительного кластера с использованием двух коммуникационных сетей / А.А. Букатов, В.Н. Дацюк, О.В. Дацюк и др. И Научный сервис в сети Интернет.Труды Всероссийской научной конференции. — 2003.- С. 110-112.
66. Ершов, А. П. Введение в теоретическое программирование (беседы о методе) / А. П. Ершов М.: Наука. Главная редакция физико-математической литературы. - 1977. - 288 с.
67. Кауфман, ВЛИ, Языки программирования. Концепции и принципы / В.Ш. Кауфман М.: Радио и связь. - 1993. - 432 с.
68. Ахо, А. Теория синтаксического анализа, перевода и компиляции: Том 1 / А. Ахо, Дж. Ульман- Мл Мир.- 1978.-612 с.
69. Ковалик, Я. Высокоскоростные вычисления. Архитектура, производительность, прикладные алгоритмы и программы суперЭВМ / Я. Ковалик М.: Радио и связь. - 1988. - 432 с.
70. Себеста, Роберт У. Основные концепции языков программирования, 5-ое изд. пер. с англ. / Роберт У. Себеста М.: Издательский дом «Вильяме». -2001.-672 с.
71. Трахтенгерц, Э.А. Программное обеспечение параллельных процессов / Э.А. Трахтенгерц ~ М.: Наука. 1987.- 272 с.
72. Трахтенгерц, Э.А. Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции / Э.А. Трахтенгерц М.: Наука. -1981.-279 с.
73. Корнеев, В.Д. Параллельное программирование в MPI / В.Д. Корнеев -Новосибирск: Изд-во СО РАН.-2000.-213 с.
74. Немнюгин, С.А. Параллельное программирование для многопроцессорных систем / С.А. Немшогин, ОЛ. Стесик СПб.: БХВ-Петербург. -2002. -400 с.
75. Евсеев, И. Использование PYM. Введение в программирование. / И. Евсеев http://www.csa.ru/41/pvmtutor/ Использование PVM.htm
76. Geist, А1 PVM: Parallel Virtual Machine. A User's Guide and Tutorial for Networked Parallel Computing / AI Geist, Adam Beguelin, Jack Dongarra, Weicheng Jiang, Robert Manchek, Vaidy Sundcram// The MIT Press. Cambridge, Massachusetts. London, England.
77. PVM: Parallel Virtual Machine http://wvwv.csm.ornl.gov/pvm/
78. Geist, A! PVM: Parallel Virtual Machine A Users' Guide and Tutorial for Networked Parallel Computing 7 Al Geist, Adam Beguelin, Jack Dongarra, Robert Manchek, Weicheng Jiang and Vaidy Sunderam / MIT Press. -1994.-299 pp.
79. Breshears, Clay A Beginners Guide to PVM Parallel Virtual Machine / Clay Breshears, Asim YarKlian~www-j4cs.cs.utk.edu/PV^pvm/guide.htmI.
80. Crawford, Emily Angerer PVM: An Introduction to Parallel Virtual Machine / Emily Angerer Crawford www.hpc.gatech.edu/seminar/pvm.html
81. Буч, Г. Объектно-ориентированное проектирование с примерами применения /Г. Буч; пер. с ант М.: Конкорд. -1992. - 519 е., ил.
82. Буч, Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++, 2-е изд. / Г. Буч; пер. с англ. -М.: "Издательства Бином", СПб: "Невский диалект". 1998. - 560 е., ил.
83. Средства динамического распараллеливания программ (Т-система) -http://cluster.msu.ru/skif/t-system.html
84. Евсееико, В .А. Адаптация системы параллельных вычислений Т-system к компьютерной сети МГИУ / В .А. Евсеенко, М.Н. Иванов, В.Ю. Радыгин http;//www.ctc.msiu.ru/program/t-system/firstindex.html
85. Official MOSIX web http://www.mosix.org/
86. McChire, S. MOSIX: How Linux Clusters Solve Real World Problems / S. MeClure, R. Wheeler//Proc. 2000 USENIX Annual Tech. Conf., San Diego, CA., June 2000.- pp. 49-56.
87. Barak, A. Scalable Cluster Computing with MOSIX for Linux / A. Barak, O. La'adan, A. Shiloh // Proc. Linux Expo '99,, Raleigh, N.C., May 1999. pp. 95-100.
88. Barak, A. The MOSIX Multicomputer Operating System for High Performance Cluster Computing / A. Barak, O. La'adan, // Journal of Future Generation Computer Systems, March 1998. Vol. 13. - No. 4-5. - pp. 361-372.
89. Рычков, B.H. Промежуточное программное обеспечение для высокопроизводительных вычислений / В.Н. Рычков, И.В. Красноперов, С.П.
90. Копысов // Вычислительные методы в программировании. 2001. - Том 2. -С. 109-124. - http://num-meth.srcc.msu.su/zHurnaI/tom2001/art28.html
91. Джоши, Рауль Параллельный процессинг в ОС Linux с использованием систем PVM и MPI / Рауль Джоши -http://li2mat.tspu.edu.ua/resources/mfo/mir/Ig/Ig65/articles/rus-joshi.html
92. Кернигшг, Б.В. UNIX универсальная среда программирования / Б.В. Керниган, Р. Пайк - Мл Финансы и статистика. - 1992.- 304 с.
93. Документация по Т-системе и Т-языку — ftp://ftp.botik.ru/pub/local/Sergei.Abramov/T-system/
94. Евсеенко, В;А. Сравнение Т-системы и MPI на задаче ЕР из пакета тестов NPB 2.3 / В .А. Евсеенко, М.Н. Иванов, B.IO. Радыгин // Вычислительные методы в программировании. -2001. -Том 2.-С. 17-21. -http://num-meth.srcc.msu.su/2hurnal/tom2001/art22.html
95. American National Stoidard Programming Language С / ANCI X3.159 -1989 American National Standards Institute, New York.
96. Ф 94. Робачевский, A. M. Операционная система UNIX /
97. A. M. Робачевский СПб/.BVH- Санкт-Петербург. - 1997. - 528 е., ил.95. Теренс, Чан Системноепрограммирование на G*H" для UNIX / Чан Теренс; пер. с англ. К.: Издательская группа BHV. - 1999. - 592 с.
98. Вольфенгаген, В.Э. Конструкции языков программирования. Приемы описания. / В.Э. Вольфенгаген -М.: АО «Центр ЮрИнфоР». 2001. - 276 с.
99. Казаков,, Ф.А. Функциональная модель потоковых вычислений / Ф.А. Казаков, Д.А. Кузьмин, А.И. Легалов // В кн.: Проблемы информатизации региона: труды межрегиональной конференции. Красноярск.- 1995.- C.I48.
100. Легалов, А.И. Потоковая модель параллельных вычислений / А.И. Легалов, Ф.А. Казаков, Д.А. Кузьмин // Вестник Красноярского государственного технического университета. Сб. научных трудов. Вып. б, Красноярск. -1996. С. 60-67.
101. Dennis, J.B. Weng Application of data flow computation for the weather problem, high speed computer and algorithm organization / J.B. Dennis, K.S. Ken // Acad. Press. -1977. p. 143-157.
102. Денис, Дж. Б. Схемы потоков данных /Дж. Б. Денис, Дж. Б. Фосснн, Дж. П. Линдерман // В кн. Теория программирования. Ч 2. Новосибирск: ВЦ СО АН СССР.-1972.-С. 7-43.
103. Бердж, В. Методы рекурсивного программирования. Пер. с англ. / В. Бердж М.: Машиностроение. - 1983.-248 с.
104. Головков, СЛ. О языке программирования для модели вычислений^ основанной на принципе потока данных / СЛ. Головков, К.Н. Ефимкин, Э.З. Любимский // препринт института прикладной математики им. М.В.Келдыша . РАН. 2002. - Аг272. - 20 с.
105. SIGMA-1: A Dataflow Computer for Scientific Computations / Т. Yuba, Т. Shimada, К. Hiraki,H. Kashiwagi it Computer Physics Communications. -1985. -pp. 141-148.
106. Казаков, Ф.А. Семантическая модель функционального языка параллельного программирования / Ф.А. Казаков, Д. А. Кузьмин,.; А.И, Легалов // В кн.: Проблемы техники и технологий XXI века. Материалы научной конференции. Красноярск, КГТУ. -1994. С. 85-88.
107. Казаков, Ф.А; Разработка функционально-параллельных программ / Ф.А. Казаков, ДА. Кузьмин, А.И. Легалов //В кн. Нейроинформатика и ее приложения. Программа и тезисы докладов всероссийского рабочего семинара. Красноярск. 1994. - С. 25.
108. Казаков, Ф.А. Организация условных вычислений в потоковых моделях / Ф.А. Казаков // В кн.: Проблемы информатизации региона: труды межрегиональной конференции. Красноярск. 1995. - С. 68-70.
109. Ластовецкий, AJI. Язык и система программирования для-высокопроизводительных параллельных вычислений на неоднородных сетях / А. Л. Ластовецкий, А. Я. Калинов, И, Н. Ледовских и др. // Программирование. 2000. - № 4. - С. 55-80.
110. Lastovetsky, A. L. Parallel Computing on Heterogeneous Clusters /А. L. Lastovetsky John Wiley & Sons, 2003. - 424 pp.
111. Котов, B.E. Сети Петри / B.E. Котов M: Наука. Главная редакция физико-математической литературы. - 1984. - 160 с.
112. Backus, J. Can Programming Be Liberated from von Neuman Style? A Functional Stile and Its Algebra of Programs. // J. Backus CACM, 1978. -vol.21.-№.8.-p.613-641
113. Кейслер, С. Проектирование операционных систем для малых ЭВМ/ С. Кейслер М.: Мир. - 1986. - 680 с.
114. Дейтейл, Г. Введение в операционные системы / Г. Дейтейл М: Мир.-1987.-231 с.
115. ПЗ.Столлингс, В. Операционные системы, 4-е издание / В. Столлингс; пер. с англ. М.: Издательский дом «Вильяме». - 2002. - 842 с.
116. Шоу, А. Логическое проектирование операционных систем/ А. Шоу; пер. с англ.-М,: Мир, 1981.-360 с.
117. Спенсер, Пол XML- Проектирование и реализация. / Пол Спенсер
118. Москва, Лори. -2001. 509 с.
119. Lamport L., Time, clocks and ordering of events in Distributed Systems,
120. Comm. Of ACM, 21,7, 558-564,1978.
121. Mazurkiewicz A., Concurrent program schemes and their Interpretation, DIAMI Report PB-78, Aarhus University, 1977.
122. Mazurkiewicz A., Semantics of Concurrent Systems:A modular fixed point trace approach, LNCS 188,353-357.
123. Mazurkiewicz A., Trace Theory, LNCS 255, 279-324. 20. Nielsen M., Plot kin G., Winskel C, Petri Nets, Event Structures and domains. Theoret Comp . Sci. 13 (1981), 85-108.
124. Pneuli A., The Temporal Logic of Programs, In 18-th Symp.On Foundation of computer Science 1977.
125. Nielsen M., Plot kin G., Winskel C, Petri Nets, Event Structures and domains. Theoret Comp. Sci. 13 (1981), 85-108.
126. Калиниченко Б.О. О восстановлении сети процесса по последовательности срабатываний переходов сети Петри.// Международныйсборник научных трудов, вып 17. Изд. «Научная книга», Воронеж, 2004, С.58-66.
127. Калиниченко Б.О., Редкозубов С,А. Фундаментальный подход к оценке результатов наблюдения.// Труды международной научно-технической конференции «Транском-2004». Санкт-Петербург, 2004. С. 264-269
128. Калиниченко Б.О. Семантика чередования и частичного порядка в сетях Петри.// Труды седьмого Всероссийского симпозиума по прикладной и промышленной математике. Ж «ОП и ПМ», М, 2005, С. 586-588
129. Калиниченко Б.О. Функционально-потоковая модель параллельного программирования.// Труды седьмого Всероссийского симпозиума по прикладной и промышленной математике. Ж «ОП и ПМ», М, 2005, С. 588-590.
Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.