Gaisaryan_UMK_2014 (УМК ВМК), страница 3
Описание файла
Файл "Gaisaryan_UMK_2014" внутри архива находится в папке "УМК ВМК". Документ из архива "УМК ВМК", который расположен в категории "". Всё это находится в предмете "конструирование компиляторов" из 7 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Онлайн просмотр документа "Gaisaryan_UMK_2014"
Текст 3 страницы из документа "Gaisaryan_UMK_2014"
2. Базовые блоки и граф потока управления. Биткод среды LLVM – пример промежуточного представления.
3. Локальная оптимизация. Метод нумерации значений: представление базового блока в виде направленного ациклического графа.
4. Анализ потока данных – основной метод глобальной оптимизации. Примеры анализа потока данных – анализ достигающих определений
5. Анализ живых переменных. Исключение мерьвого кода.
6. . Вынесение инвариантных вычислений за пределы цикла.
7. Граф потока управления: остовное дерево, обход, нумерация вершин, классификация дуг.
8. Отношение доминирования и построение дерева доминаторов
9. .Построение естественных циклов и гнезд циклов.
10. SSA-форма промежуточного представления и ее построение. Граница доминирования.
11. Анализ потока данных в SSA-форме. Выявление доступных выражений. Исключение избыточности.
12. Обоснование анализа потока данных: полурешетки, передаточные функции, общий итерационный алгоритм.
13. Методы ускорения анализа потока данных. Суперблоки и другие области графа потока управления.
14. Вычисление передаточных функций областей по передаточным функциям составляющих их базовых блоков. Пример – анализ достигающих определений.
15. Вычисление передаточных функций областей по передаточным функциям составляющих их базовых блоков на примере анализа достигающих определений.
16. Глобальный метод нумерации значений – использование дерева доминаторов.
17. Глобальный анализ указателей. Псевдонимы (алиасы). Недостаточность глобального анализа.
18. Межпроцедурный анализ. Использование графа вызовов.
19. Межпроцедурный анализ. Методы учета контекста вызова.
20. Задачи, решаемые на этапе машинно-ориентированной оптимизации.
21. Планирование кода.
22. Распределение регистров.
23. Оптимизация потока управления, возвраты из рекурсивных функций.
24. Раскрутка циклов.
25. Открытая вставка функций.
26. Генерация объектного кода методом переписывания дерева
-
10. Рейтинг-план дисциплины
Оценка по курсу устанавливается в зависимости от суммы технических баллов, набранных студентом в ходе семестра. За решение практического задания можно заработать до 60 технических баллов, за экзамен до 40 технических баллов. Технические баллы за практическое задание выставляются в зависимости от качества решения задачи (метрика качества зависит от задания) и времени присланного решения. Таким образом, максимально возможная сумма набранных технических баллов составляет 100. Оценка «отлично» ставится студентам, набравшим от 80 баллов и выше. Оценка «хорошо» ставится студентам, набравшим от 60 до 79 технических баллов. Оценка «удовлетворительно» ставится студентам, набравшим от 40 до 59 технических баллов. Оценка «неудовлетворительно» ставится студентам, набравшим менее 40 технических баллов.