Введение
Глава 1. Использование параллельности на уровне операций для получения эффективного кода 13
1.1. Архитектурная поддержка параллельности на уровне операции 14
1.1.1. Широкое командное слово, статическое планирование операций 14
1.1.2. Предикатный и спекулятивный режим исполнения операций 16
1.1.3. Аппаратные ресурсы архитектур с явно выраженной параллельностью 18
1.1.4.Краткое описание архитеюуры Эльбрус-ЗМ 25
1.2. Задачи оптимизирующего компилятора для архитеюуры с явно выраженной параллельностью 30
1.2.1. Промежуточное представление программы и отображение параллельности 32
1.2.2. Разбиение программы на участки и граф управления 39
1.2.3. Методы анализа и оптимизирующие преобразования программы 44
1.2.4. Генерация кода из промежуточного представления 52
1.3. Постановка задачи 53
1.4. Выводы 54
Глава 2. Предикатное промежуточное представление как совокупность расширенных скалярных участков 56
2.1. Переход к предикатному представлению if conversion 56
2.1.1. Преобразование зависимостей по управлению к предикатным зависимостям, использование свойства спекулятивности для оптимизации предикатных зависимостей 57
2.1.2. Базовый регион предикатного промежуточного представления - расширенный скалярный участок (РСУ) 61
2.2. Алгоритм построения РСУ 66
2.2.1. Построение полных условий относительно точки входа в РСУ 69
2.2.2. Применение базовых преобразований контекстных операций на границах линейных участков , 72
2.2.3. Установление необходимых зависимостей по памяти, управляющих зависимостей и перевод операций с побочным эффектом в предикатную форму 76
2.2.4. Сложность алгоритма 81
2.3. Оптимальное использование совместного спекулятивного исполнения операций из нескольких альтернатив условных предложений 81
2.3.1. Использование профиля программы, взаимодействие с построением гиперблоков 82
2.3.2. Усложнение предикатного преобразования 85
2.4. Результаты, полученные на тестовых пакетах SPECint92 и SPECint95 86
2.4.1. Наборы тестовых программ 87
2.4.2. Экспериментальные результаты 87
2.5. Выводы 89
Глава 3. Использование стратегии критического пути в оптимизациях на основе предикатного представления программы 92
3.1. Разметка операций временем раннего и позднего запуска и критический путь участка
3.2. Оптимизирующие преобразования для предикатного представления программы, направленные на сокращение критического пути участка. 98
3.2.1. Исключение условия с критического пути 98
3.2.2. Удаление с критических путей потенциально зависимых последовательностей запись в память - считывание из памяти путем вставления динамического сравнения адресов 103
3.2.3. Балансировка критических путей РСУ, зависящих от условия 109
3.3. Результаты, полученные на тестовых пакетах SPECint92 и SPECint95 119
3.4. Вывод 122
Заключение 124
Литература 128
