Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО
Шамаль, Павел Николаевич
05.13.11
Кандидатская
2014
Москва
104 с. : ил.
Стоимость:
499 руб.
Оглавление
ВВЕДЕНИЕ
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
Название работы | Автор | Дата защиты |
---|---|---|
Способы и программные средства сравнения исполняемых файлов для их оперативной кластеризации | Антонов, Алексей Евгеньевич | 2013 |
Алгоритмическое и программное обеспечение для моделирования квантового компьютера | Ключарёв, Пётр Георгиевич | 2009 |
Технологии экстренных вычислений для индивидуальной поддержки принятия решений в критических ситуациях | Карбовский, Владислав Александрович | 2014 |