Оптимизирующие компиляторы (МФТИ, 2024). Лекция 6. Анализ циклов.

Лекции по компиляторам для свежих интернов базовой кафедры в МФТИ. Вы же всегда хотели узнать в чём разница между обратными и обращёнными дугами и чем цикл в компьютерной программе отличается от цикла в графе? А чем сводимый граф отличается от не сводимого? А как насчёт поиска базовых индуктивностей и скалярной эволюции? Конечно же вы всегда хотели. В этом видео вы получите всё перечисленное и немного больше. И даже немного про алгебру цепочек рекуррентностей. Лектор: Константин Владимиров Видео и звук: Юлий Тарасов Предыдущая лекция:    • Оптимизирующие компиляторы (МФТИ, 202...   Следующая лекция: TBD Слайды к занятиям:
Книга:
Timeline 00:00 Циклы и обратные дуги 08:45 Обходы графов и RPO 18:30 Обращённые дуги и сводимость 27:04 Каноническая форма циклов 40:25 Индуктивности 52:42 Скалярная эволюция 01:01:16 IV opts и завершение Errata пока пусто