Оптимизация в компиляторах (9 сем ВМК) (1157503)

Вариативная часть, в т.ч. :

__?___ зач. ед.

Лекции

__34___ часа

Практические занятия

__ нет ___ часов

Лабораторные работы

__ 16 ___ часов

Индивидуальные занятия с преподавателем

__нет___ часов

Самостоятельные занятия

__?__ часов

Итоговая аттестация

Экзамен 9 семестр

ВСЕГО

№ темы и название

Количество часов

1. Цели и задачи курса.

2

2. Методы и алгоритмы машинно-независимой оптимизации (дополнительные главы).

10

3. Методы и алгоритмы машинно-ориентированной оптимизации (дополнительные главы).

4

4. Разработка оптимизирующих фаз компиляторов в среде LLVM.

4

5. Распараллеливание кода.

6

6. Оптимизации, связанные с возможностью параллельного выполнения кода в многоядерных процессорах.

6

7. Заключение.

2

ВСЕГО часов

34

№ темы и название

Количество часов

1. Цели и задачи курса.

2

2. Методы и алгоритмы машинно-независимой оптимизации.

10

3. Методы и алгоритмы машинно-ориентированной оптимизации.

4

4. Динамическая и адаптивная оптимизация.

4

5. Распараллеливание кода.

6

6. Организация параллельного выполнения кода.

6

7. Заключение.

2

ВСЕГО часов

34

№ темы и название

Количество часов

2. Методы и алгоритмы машинно-независимой оптимизации.

8

3. Методы и алгоритмы машинно-ориентированной оптимизации.

8

ВСЕГО часов

16

№ п.п.

Темы

Трудоёмкость в зач. ед.

(количество часов)

1

- Изучение теоретического курса – выполняется самостоятельно каждым студентом по итогам каждой из лекций, результаты контролируются преподавателем на лекционных и практических занятиях, используются конспект (электронный) лекций, учебники, рекомендуемые данной программой, методические пособия.

14 час.

2

- Решение задач по заданию преподавателя – решаются задачи, выданные преподавателем по итогам семинарских занятий, и сдаются в конце семестра, используются конспект (электронный) лекций, учебники, рекомендуемые данной программой,
а также сборники задач, включая электронные учебно-методические пособия.

4 час.

3

- Подготовка к экзамену

ВСЕГО (зач. ед.(часов))

18 час.

№

п/п

Название разделов

Темы лекционных занятий

Содержание

1.

Цели и задачи курса.

Цели и задачи курса.

2.

Методы и алгоритмы машинно-независимой оптимизации.

Анализ потока данных.

Исключение частично-избыточных вычислений с помощью анализа ожидаемых выражений.

Построение квазиоптимальной SSA-формы.

Построение границ доминирования для узлов графа потока управления. Алгоритм расстановки -функций.

Метод глобальной нумерации значений

Глобальная нумерация значений методом установления конгруэнтности узлов графа потока управления. Сравнение двух методов глобальной нумерации значений.

Оптимизация циклов.

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

Выбор оптимального порядка циклов в гнезде.

Межпроцедурный анализ указателей

Методы контекстно-чувствительного межпроцедурного анализа – классификация контекстов, клонирование процедур, использование аннотаций.

3.

Методы и алгоритмы машинно-ориентирован-ной оптимизации.

Планирование кода.

Постановка задачи глобального планирования кода. Перемещение кода вверх и вниз по пути управления. Обновление зависимостей. Алгоритм глобального планирования кода на основе областей.

Конвейеризация гнезд циклов.

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

4.

Порядок выполнения оптимизи-рующих фаз.

Порядок выполнения оптимизирующих фаз.

Взаимное влияние оптимизирующих фаз. Зависимость оптимизирующих фаз от компилируемой программы. Эвристики выбора последовательности оптимизирующих фаз (параметров компилятора).

5.

Распаралле-ливание кода.

6.

Организация параллельного выполнения кода.

7.

Заключение.

Заключительные замечания.