Ви є тут

Структурно-предикативная система построения внутреннего представления программ, ориентированного на оптимизацию и распараллеливание

Автор: 
Тапкинов Батр Юрьевич
Тип роботи: 
диссертация кандидата технических наук
Рік: 
2006
Кількість сторінок: 
120
Артикул:
14994
179 грн
Додати в кошик

Вміст

Оглавление
Введение.
Глава 1. Современное соеюяние исследований вобласш оптимизации и распараллеливания программ.
1.1. Различные подходы к распараллеливанию профамм.
1.1 1. Ручное распараллеливание
1.1.2. Автоматическое распараллеливание
1.1.3. Полуавтоматическое распараллеливание
1.2. Технологии параллельною программирования
1 2.1. Я ники параллельного профаммирования
1 2.2 Коммуникационные библиотеки и ишерфейсы параллельного программирования.
1.2.3. Среда ва автоматического распараллеливания профамм
1 2.4. Среде 1ва создания и проектирования параллельных программ.
1 2 5 Специализированные параллельные библиотеки.
1.3 Различные вариант внуфеннего представления профамм.
1. Управляющий граф.
2 1 раф зависимости по данным.
1 3 3 Граф программных зависимостей
1 3 4 Граф вызовов процедур
1.3.5. Решетчатый граф
1 3.6 Граф вычислений программы
1 3 7 Иерархический граф заданий.
1.4 Выводы . . .
Глава 2 Сфукчурные предикативные грамматики и структурный граф.
2 1. Формализмы для описания семантики языков программирования и построения семантической арукчуры профамм .
2 1 1 Атрибутные грамматики .
2 1 2 ОСграмматики и ОСОнотация
2.1.3. С рук урные предикативные рамматики
2 2. Реализация структурных предикативных граммашк.
2.2.1.1 рсдеавение структурно о рафа
2.2.2. Реализация алюритма унификации вершин структурного графа и ермов.
2.2.3. Преобразование правил струкурнои предикативной грамматики правила Пролога
2.2 4. Среде на работы со струкурньм рафом.
2.3. Выводы
I лава 3. Использование структурно о рафа для оптимизации и
распараллеливания программ.
3.1.1 ромежу очное представление про раммы.
3.1.1. Структура промежуточною представления.
3.1.2. Элементарные гтреобра зования.
3.2. Построение информационных структур
3.2.1 Управляющий граф
3.2 2.1 раф зависимое ей по данным.
3 2 3 Граф вызовов процедур .
3 3. Преобразования программ.
3 3 1. Гроя ивание констант.
3 3 2 Удаление мертвого кода.
3 3.3. Удаление недостижимою кода
3 3 4. Упрощение арифмешчееких выражений.
3 3 5. Канонизация цикла
3.3 6 Разрезание цикла.
3.3.7 Слияние циклов .
3 3.8 Развертка цикла
3 4 Результат и выводы
Глава 4 Структурнопредикативная система построения внутреннего представления прорамм
4.1. Возможности сиссмм
4.2 Структура системы.
4.3. Рабо а со сруктурнопредикаивной сисемой
4.4. Сопоставление с дру ими системами.
4.5. Выводы
Заключение.
Литература