Четверина Ольга Александровна Повышение качества компиляции кода в режиме по умолчанию

Краткое описание

Четверина Ольга Александровна Повышение качества компиляции кода в режиме по умолчанию
ОГЛАВЛЕНИЕ ДИССЕРТАЦИИ
кандидат наук Четверина Ольга Александровна
Введение

Актуальность темы исследования

Цель исследования

Научная новизна

Теоретическая и практическая значимость

Методология и методы исследования

Положения, выносимые на защиту

Апробация

Публикации

Личный вклад автора

Структура и объем работы

Глава 1. Повышение качества работы оптимизирующих компиляторов

1.1 Оптимизация кода

1.2 Методы настройки оптимизации

1.3 Условно полезные оптимизации

1.5 Разработка набора последовательностей оптимизаций и настроек

1.6 Проблема вероятностного подхода при обучении компилятора

Глава 2. Оптимизация в режиме без профиля

2.1 Проблемы производительности кода при однофазной компиляции

2.2 Метод раскрутки коротких путей цикла

2.3 Уменьшение количества блокировок по чтениям в базовом режиме

2.3.1 Подкачка данных для нерегулярных чтений в неконвейеризуемых циклах

2.3.2 Вычисление оптимальной дистанции заброса чтений при конвейеризации

2.4 Экспериментальные результаты

2.5 Метод частичной раскрутки рекуррентностей цикла

2.6 Выводы

Глава 3. Построение функционала качества для задачи многокритериальной

оптимизации

3.1 Задача назначения оптимизационной последовательности

3.2 Постановка задачи оптимального выбора

3.3 Свойства функционала качества компиляции

3.4 Построение многокритериального функционала качества

3.4.1 Теорема о минимуме многокритериального функционала качества

3.4.2 Теорема о сохраняющих минимумы при растяжениях функциях

3.4.3 Минимумы функционала качества и Парето-минимумы

3.5 Результаты применения минимума функционала

3.6 Выводы

Глава 4 Машинное обучение для неаддитивной по объектам ошибки

4.1 Задача минимизирующей классификации по функционалу

4.2 Классификация с неаддитивной по объектам функцией потери

4.2.1 Логические алгоритмы классификации и относительная информативность правил

4.2.2 Алгоритм классификации для неаддитивного функционала ошибки, теорема сходимости

4.2.3 Переход к аддитивной по объектам частичной ошибке

4.3 Создание и отбор признаков процедур

4.4 Оценка качества предложенного алгоритма

4.5 Экспериментальные результаты многокритериальной классификации процедур

4.6 Выводы

Заключение

Список иллюстраций

Список таблиц

Введение.