Введение.
1. Обзор методов межпроцедурного анализа и внутренних представлений целевого языка.
1.1 Анализ совмещений.
1.2 Анализ значений
1.3 Анализ использования переменных
1.3.1 Неточные алгоритмы описания областей массивов
1.3.1.1 Регулярные секции i.
1.3.1.2 Дескрипторы доступа к данным i
1.3.1.3 Регионы i
1.3.2 Точные алгоритмы описания областей массивов
1.3.2.1 Образы I.
1.3.2.2 Линеаризация iii.
1.3.2.3 Омегатест.
1.3.3 Комбинированные методы
1.4 Анализ контекста использования процедуры.
1.5 Язык I.
1.5.1 Система
1.5.2 Внутреннее представление I1.
1.5.3 Внутреннее представление I2.
1.5.4 Внутреннее представление I3.
Выводы по первой главе.
2. Практическая реализация анализа и оптимизаций
2.1 Свойства внутренних представлений
2.2 Хранение контекстных условий.
2.3 Алгоритмы анализа
2.3.1 Протягивание одиночных значений
2.3.2 Протягивание мультизначений
2.3.3 Протягивание диапазонов
2.3.4 Протягивание мультидиапазонов
2.3.5 Протягивание другой информации о значениях.
2.3.6 Анализ массивов
2.3.7 Реализация алгоритмов анализа значений.
2.4 Алгоритмы оптимизации
2.4.1 Удаление избыточного кода
2.4.3 Вынос инвариантных вычислений
2.4.4 Оптимизация циклических конструкций
2.4.5 Оптимизация копирования
2.5 Межпроцедурный анализ
2.5.1 Граф исполнений вызовов
2.5.3 Алгоритмы анализа
2.6. Алгоритмы распараллеливания.
2.6.1 Построение развртки
2.6.2 Влияние оптимизирующих алгоритмов.
2.6.3 Макропараллелизм циклов I.
Выводы по второй главе
3. Тестирование анализа и оптимизаций.
3.1 Структура разработанного транслятора
3.2 Ввод и вывод данных.
3.3 Вычислительные задачи.
Выводы по третьей главе.
Заключение
Список литературы
- Київ+380960830922