Ви є тут

Исследование и реализация непроцедурных преобразований программ для построения расширяемой системы распараллеливания

Автор: 
Жегуло Ольга Анатольевна
Тип роботи: 
диссертация кандидата технических наук
Рік: 
2007
Кількість сторінок: 
111
Артикул:
14848
179 грн
Додати в кошик

Вміст

Оглавление
Введение
I Распараллеливание и технологии трансформирования программ
1.1 Технологии параллельного программирования и средства распараллеливания для
современных параллельных ЭВМ
1.1.1 Основные классы параллельных архитектур и технологий параллельного
программирования
1.1.2 Методы и средства распараллеливания программ
1.2 Трансформационный подход к программированию и его применение в
распараллеливании
II Язык схемных трансформаций многокомпонентных программных
структур
.1 Базовый язык схемных трансформаций многокомпонентных программных структур
II. 1.1 Синтаксис
II. 1.2 Порядок применения правила
.2 Развитие языка схемных трансформаций многокомпонентных программных структур
3 Методика написання нелокальных схемных правил трансформации
III Реализация на языке нелокальных схемных трансформаций
распараллеливающих и оптимизирующих преобразований
1.1 Определения зависимостей по данным и управлению, используемых для проверки
условий применимости
III.1.1 Граф зависимостей по управлению
1. Граф зависимостей по данным
1. Решетчатый граф
1.2 Базовые предикаты и функции в условиях применимости правил
1.2.1 Базовые предикаты, заданные на семантическом дереве программы и графе зависимостей
по управлению
Ш.2.2 Базовые предикаты, заданные на графе зависимостей по данным
1.2.3 Базовые предикаты, заданные на решетчатом графе
1.3 Типы параметров правил с образцами на параметризованном Фортране
1.4 Набор классических преобразований распараллеливания и оптимизации
1.4.1 Сценарий применения классических преобразований распараллеливания и оптимизации
1. Протягивание констант
1. Нормализация циклов
1.4.4 Удаление индуктивных переменных. Случай 1
1. Удаление индуктивных переменных. Случай 2
1.4.6 Удаление индуктивных переменных. Случай 3
1.4.7 Удаление охватывающих переменных
Ш.4.8 Слияние циклов классический подход
1.4.9 Перестановка двух циклов
1.4. Коллапс циклов
1.4. Развертка циклов
1.4. Редукция скалярного произведения векторов
1.4. Параллелизация для цикла однократной вложенности
1.4. Параллелизация для гнезда вложенных циклов
III.5 Правила распараллеливания согласно подходу В.В. Воеводина
.5.1 Перестановка циклов для гнезда любой вложенности
Ш.5.2 Слияние циклов подход В.В. Воеводина
III. Параллельное исполнение цикла РаЮО
IV Макет многоцелевой системы трансформаций программ
IV. Возможности макета МСТП
1У.2 Язык сценариев
УЗ Внутренние механизмы и структура макета МСТП
IV.З. 1 Структура макета МСТИ и порядок работы с ним
У.3.2 Внутреннее представление правил и сценариев
У.З.З Механизмы работы трансформационной машины
ГУЗ.ЗЛ Порядок обхода дерева программы
У.2 Алгоритм унификации дерева составного входного образца и дерева программы
Заключение
Литература