Введение
1 Обзор подходов к организации вычислительного процесса в современных функциональных языках параллельного программирования ... 11
1.1 Разработка параллельных программ с использованием функциональной парадигмы программирования 11
1.2 Язык функционального программирования Haskell 12
1.3 Функциональный язык программирования Clean 15
1.4 Функциональный язык параллельного программирования Sisal 18
1.5 Язык РРТЬ 22
1.6 Функциональный язык параллельного программирования Пифагор 26
1.7 Выводы по главе 1 29
2 Языковые конструкции» расширяющие функциональные возможности языка параллельного программирования Пифагор 31
2.1 Система типизации, строгого контроля типов и введение типов, определяемых пользователем 31
2.1.1 Работа с альтернативами в языках с динамической типизацией. 32
2.1.2 Пользовательские типы 33
2.2 Перегрузка функций с одинаковой сигнатурой 38
2.3 Определение функции с предусловием и постусловием 41
2.4 Возврат задержанных списков в качестве результата вычисления функций 45
2.5 Модульное построение программ на языке Пифагор 47
2.6 Использование функций» написанных на других языках программирования, расположенных во внешних модулях 48
2.7 Выводы по главе 2 51
3 Использование расширений функционального языка параллельного программирования Пифагор 52
3.1 Использование перегруженных функции с одинаковой сигнатурой для обработки альтернативных ветвей алгоритмов 52
3.2 Применение типов, определяемых пользователем и перегруженных функций для описания обобщённых типов 54
3.3 Применение предусловий и постусловий 58
3.4 Использование задержанных списков, возвращаемых в качестве результата вычисления функции 61
3-5 Выводы по главе 3 72
4 Инструментальная поддержка функционально-потокового параллельного программирования 73
4.1 Структура блока трансляции-интерпретации программ на ФЯ1Ш...73
4.2 Структура транслятора 75
4.2.1 Лексический анализатор или сканер 76
4.2.2 Синтаксический анализатор 78
4.3 Структура интерпретатора для последовательной интерпретации программ на функциональном языке параллельного программирования Пифагор 81
4.3.1 Интерпретация объектов TProgram, TFunction и TBlock 83
4.3 2 Интерпретация объекта TExpression 84
4-3.3 Интерпретация объектов TAtom HTKW 86
4.3.4 Интерпретация объекта TList 86
4.3.5 Интерпретация объекта TTD 87
4.3.6 Оператор интерпретации 90
4.4 Интегрированная среда разработки программ наФЯПП 9]
4.4.1 Текстовый редактор 92
4.4.2 Панель инструментов и управление транслятором и интерпретатором 92
4.5 Разработка инструментальной системы для выполнения функционально-параллельных программ на кластерной архитектуре 97
4.5.1 Реализация последовательно-параллельного интерпретатора с использованием системы динамического распараллеливания MOSIX...98
4.5.2 Описание входного представления 99
4.6 Выводы по главе 4 104
Заключение 106
Список использованных источников 107
Приложение 119
