Введение
1 Информационная зависимость в программе. Основные способы ее определения и представления
1.1 Информационная зависимость и некоторые ее представлении
1.1.1 Модель рассматриваемых программ линейный класс
1.1.2 Вхождения переменных, итерационное пространство
1.1.3 Информационная зависимость по памяти
1.1.4 Информационная зависимость по значению v,
1.1.5 Сравнение представлений информационной зависимости
1.2 Графовые модели информационной зависимости
1.2.1 Граф информационных зависимостей
1.2.2 Решетчатый граф
1.2.2.1 Опорные пространства. Порядок исполнения операторов
1.2.2.2 Максимальные и минимальные решетчатые графы
1.2.2.3 ростые и элементарные решетчатые графы
1.2.2.4 Хранение решетчатых графов
1.2.3 Развертка решетчатого графа таймированис,
Основные способы нахождения информационных зависимостей
1.3.1 Неравенства Банержи и ПОД тест
1.3.2 Методы построения решетчатых графов В. В. Воеводина и П. Фотрье . i
1.3.3 Омега Тест
1.3.4 Сравнение методов нахождения информационных зависимостей
1.3.4.1 Неравенства Банержи и точные методы
1.3.4.2 Метод В. В. Воеводина, метод П. Фотрье и Омега тест
2 Анализ и преобразования программ, основанные на решетчатом
2.1 Автоматическое распознавание циклов в программе
2.1.1 Определение цикла по решетчатому графу
2.1.2 Распознавание циклов по решетчатому графу. Связь между минимальными
решетчатыми графами и носителями зависимости по значению
2.1.3 Определение циклов и их связь с циклами по решетчатому графу
2.1.4 Алгоритм распознавания циклов в программе
2.1.5 Циклы и внешние переменные
2.1.6 Сравнение с другими методами распознавания циклов
2.2 Расщепление многомерных гнезд циклоп
2.2.1 Примеры рассматриваемых видов расщеплении
2.2.2 Построение расщепления в виде последовательности тесных гнезд циклов
2.2.2.1 Проверка существования дуги решетчатого графа между вершинами из заданных выпуклых множеств
2.2.2.2 Использование расщепления для непосредственного распараллеливания
2.2.3 Построение расщепления в виде структуры произвольно вложенных циклов
2.2.3.1 Использование расщепления для непосредственного распараллеливания
общий случай
2.2.4 Сравнение различных видов расщеплений
2.3 Подстановка переменных и экспансии массивов
2.3.1 Подстановка переменных
2.3.2 Экспансия массивов
3 Программная реализация построения графовых моделей информационных зависимостей и преобразований программ, их использующих
3.1 Анализ информационных зависимостей в ОРС
3.1.1 Построение расширенной информации о вхождениях
3.1.2 Реализация графа информационных зависимостей на основе неравенств Банержи
3.1.3 Реализация решетчатых графов. Выбор способа построения
3.1.3.1 Тестирование правильности построения решетчатого графа
3.1.3.2 Экспериментальные данные о времени построения решетчатых графов
3.1.4 Реализация построения графа информационных зависимостей на основе
решетчатых графов
3.1.5 Реализация разметки РагРо циклов в программе
3.2 Преобразования программ, основанные на решетчатом графе, в ОРС
3.2.1 Реализация расщепления гнезда циклов. Выбор метода генерации границ циклов
3.2.2 Подстановка переменных и экспансия массивов
Заключение
Литература
- Київ+380960830922