Разработка и исследование методов и программных средств параллельного выполнения функциональных программ на многоядерных компьютерах

• Автор: Шамаль, Павел Николаевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2014
• Место защиты: Москва
• Количество страниц: 104 с. : ил.

Оглавление
ВВЕДЕНИЕ

1. ФУНКЦИОНАЛЬНЫЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ. ЗАДАНИЕ И РЕАЛИЗАЦИЯ ПАРАЛЛЕЛИЗМА

1.1 Статические средства распараллеливания

1.2 Динамические средства распараллеливания. Параллельные платформы

1.3 Язык ЕРТЬ

1.4 Заключение

2. ЯЗЫК ЕРТЬ

2.1 Теоретические основы языка ЕРТЬ

2.1.1 Представление функций

2 Л .2 Представление данных
2.1.3 Модель параллельного вычисления значений функций
2.2 Описание языка ЕРТЬ
2.2.1 Блок импорта внешних функций
2.2.2 Блок описания данных
2.2.3 Блок описания функций
2.2.4 Блоки интерпретации и применения схемы
2.3 Организация ввода-вывода в языке ЕРТЬ
2.4 Работа с массивами
2.3 Заключение
3. ТИПОВОЙ КОНТРОЛЬ ЕРТЬ ПРОГРАММ
3.1 Основные определения

3.2 Условия типовой корректности
3.3 Алгоритм типового контроля
3.4 Заключение
4. РЕАЛИЗАЦИЯ ЯЗЫКА ЕРТЬ НА МНОГОЯДЕРНЫХ КОМПЬЮТЕРНЫХ СИСТЕМАХ
4.1 Архитектура системы выполнения ЕРТЬ-программ на многоядерных компьютерах
4.2 Сетевое представление функциональных программ
4.3 Реализация интерпретатора
4.4 Реализация управления параллельными вычислениями
4.4.1 Общие моменты
4.4.2 Рабочие нити
4.4.3 Очереди заданий
4.4.4 Алгоритм работы планировщика
4.4.5 Выбор сложности задания
4.5 Внутреннее представление данных
4.6 Представление кортежей данных
4.7 Вычисление значений конструкторов и деструкторов
4.8 Реализация вызова внешних функций
4.9 Управление памятью и сборка мусора
4.10 Языки и методы реализации
4.11 Заключение
5. ЭКСПЕРИМЕНТАЛЬНАЯ ПРОВЕРКА ЭФФЕКТИВНОСТИ РАСПАРАЛЛЕЛИВАНИЯ
5.1 Описание экспериментов

5.2 Результаты экспериментов для программ на языке FPTL
5.3 Результаты экспериментов для программ на языке Haskell.
5.4 Заключение
ЗАКЛЮЧЕНИЕ. ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ
ЛИТЕРАТУРА

List = с empty ++‘t* List[it]. c_cons;

В этом примере задается АТД List['t] с единственным типовым
параметром 7. Присвоив параметру ‘t значение Nat (тип Nat), мы получаем
ранее определенный абстрактный тип ListOfNat.
Подобным образом можно представить и комплексное число:
Пргшер 6:
data Pair[‘s, ‘f]

Pair = ‘s * ‘t. с_pair;

Присваивая параметру 's и параметру 7 значения real мы получаем представление комплексного числа из примера 4.

2.2.3 Блок описания функций
Базисные функции в языке FPTL имеют зарезервированные имена.
Их полный список приведен в приложении 1. Операции композиции *, • и
-» определяются в языке через символы «*», «.» и «->» соответственно.
Для удобства чтения, в дальнейших примерах операция условной
композиции по-прежнему будет обозначаться через символ
Блок описания функций является основной частью FPTL-программы
и называется схемой. В нем описываются непосредственно
функциональные уравнения. Синтаксис описания системы
функциональных уравнений следующий:
scheme имя_схемы {
<< гшя_функг{иональной_перем. - функциональный терм; »

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

. ч U