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

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

[ Содержание | Предисловие | Введение | 1 | 2 | 3 | 4 | 5 | Заключение | П1 | П2 | П3 | Источники | >>> ]