Методы удаления избыточностей на этапе компиляции программ

• Автор: Филиппов, Александр Николаевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2009
• Место защиты: Москва
• Количество страниц: 171 с. : ил.

Методы нумерации значений как основа для удаления избыточных вычислений

Основные понятия и определения

Структура оптимизирующего компилятора и промежуточное представление

Граф управления

Форма со статически единственным присваиванием

Глобальный граф определений и использований

Пессимистический подход к нумерации значений V i

Нумерация значений в пределах линейного участка

Нумерация значений на произвольном ациклическом участке

Способы усиления нумерации значений при пессимистическом подходе

Оптимистический подход к нумерации значений V iii.

Универсальный алгоритм нумерации значений V i
Алгоритм Тарьяна поиска сильно связанных компонент
Нумерация значений на сильно связанной компоненте
Универсальный алгоритм нумерации значений для всей процедуры
Недостатки существующих методов
Выводы
Развитие методов нумерации значений и использование результатов анализа в
платформонезависимых оптимизациях
Развитие методов нумерации значений
Л. Нумерация значений для операций обращения к памяти
2Л.1.1 Нумерация значений для операций с объектами типа
скаляр
2Л .1.2 Нумерация значений для операций с другими типами ,
объектов
Нумерация значений для операций, объект которых установить не удалось
Алгоритмы построения доминирующего фронта конфликтующих записей
Результаты экспериментов
Применения техники реформ при нумерации значений
Битовый подход к описанию константных свойств операций
Использование векторов известных битов в нумерации значений
Вычисление векторов известных битов для различных операций
Использование результатов нумерации значений в платформонезависимых
оптимизациях
Глобальное распространение копий
Глобальный сбор общих подвыражений
Удаление частичных избыточностей
Оптимизация на основе вычисления векторов значащих битовЬйорО
Экспериментальные результаты
Выводы
Удаление избыточностей для архитектур с явно выраженной параллельностью
Использование преднкатности для преобразования потока управления в поток
iiixivi
Удаление избыточностей на предикатном коде
Упрощение предикатных выражений
Удаление избыточных операций на предикатном коде
Балансировка ассоциативных деревьев
Граф зависимостей, время раннего запуска и критический
путь
Сокращение длины критического пути, свертка констант и понижение давления на
регистры с помощью балансировки 5
Повышение эффективности аппаратной конвейеризации циклов
Сокращение длин рекуррентностей при помощи балансировки
Уменьшение ресурсного размера цикла с помощью комбинирования операций
Экспериментальные результаты
Выводы
при подстановке тела функции в место вызова
Использование профиля значений в инлайнподстановках
Профилирование значений и специализация кода
Профилирование адресов операций вызова по косвенности
Специализированная подстановка тела функции в место вызова
на основе профиля значений
Экспериментальные результаты
Выводы
Заключение
Список литературы


Оптимистический подход к нумерации значений V iii. Л.1. Л . Актуальность работы. Цель исследования. Эльбрус. Эльбрус. Эльбрус. Эльбрус. Эльбрус. Апробация. Москва, МАТИ, г. РКО Москва, вч 5, г. Москва, МАТИ, г. МФТИ г. Москва, МАТИ, г. ЗАО МЦСТ и ОАО ИНЭУМ. Публикации. Филиппов А. Н., Шлыков . II РАН, Выпуск 9, , С. Филиппов А. Информационные технологии, 4 , С. Филиппов А. Гагаринские чтения, т. М. МАТИ, , С. Филиппов А. Гагаринские чтения, т. М. МАТИ, , С. Филиппов А. Часть I. Радиотехника и кибернетика. М. МФТИ, . С.
Филиппов А. Гагаринские чтения, т. М. МАТИ, , С. Структура и объем работы. Диссертация состоит из введения, четырех глав и заключения. Объем диссертации составляет 1 страницу текста. Диссертация содержит рисунков и 3 таблицы. Развитию методов нумерации значений посвящен раздел 2. В подразделе 2. В подразделе 2. В разделе 2. В подразделах 2. Далее, в подразделе 2. В разделе 3. В разделе 3. В разделе 3. В главе 4 рассматриваются вопросы устранения межпроцедурных избыточностей. Раздел 4. В разделе 4. Ппеподстановок. В заключении приводятся основные результаты диссертационной работы. Глава 1. Рис. На рис. Затем следует оптимизирующая часть компилятора. Далее, дадим более подробное описание промежуточного представления. Промежуточное представление Эльбрус . Межпроцедурные избыточности. ЕГО. Межпроцедурный обход. Передача параметров и возврат значений.