SoftCraft
разноликое программирование

Отправная точка
Программирование
Windows API
Автоматы
Нейроинформатика
Парадигмы
Параллелизм
Проектирование
Теория
Техника кодирования
Трансляторы
Учебный процесс
Прочие вопросы

Разное

Беллетристика
Брюзжалки
Цели и задачи
Об авторе


Функциональная модель параллельных вычислений и язык программирования "Пифагор"


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


Cкачать инструментальную среду, содержащую транслятор и последовательный интерпретатор (260 кб)

Функциональная модель параллельных вычислений и язык программирования "Пифагор"

© 2002-2003 А.И. Легалов, Ф.А. Казаков, Д.А. Кузьмин, Д.В. Привалихин

Содержание

Предисловие

Введение

1. Модель функционально-потоковых параллельных вычислений

2. Функциональный язык параллельного программирования

3. Использование функционального языка параллельного программирования

4. Система интерпретации функциональных программ

5. Интегрированная среда разработки

Заключение

Используемые источники информации

Приложение 1. Описание пользовательского синтаксиса языка программирования "Пифагор" с применением диаграмм Вирта.

Приложение 2. КС(1) грамматика языка программирования "Пифагор" опсанная с применением диаграмм Вирта.

Приложение 3. Синтаксис аргумента языка программирования "Пифагор"

Аннотация

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

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

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