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

Лекции по компиляторам для свежих интернов базовой кафедры в МФТИ.

На третьей лекции мы познакомимся с анализом потока данных и построим фреймворк для такого рода анализа. Мы рассмотрим три базовых аналитических алгоритма: достигающие определения, доступные выражения и активные переменные. В конце мы заметим удивительную общность этих задач и сделаем выводы. В процессе мы погрузимся в невычислимые задачи и историю компиляторной теории.

Лектор: Константин Владимиров
Видео и звук: Юлий Тарасов

Предыдущая лекция:    • Оптимизирующие компиляторы (МФТИ, 2024). Л...  
Следующая лекция:    • Оптимизирующие компиляторы (МФТИ, 2024). Л...  

Слайды к занятиям: https://sourceforge.net/projects/cpp-...
Книга: https://www.chitai-gorod.ru/product/o...

Timeline
00:00 Метод Килдалла
05:20 MOP-решения и их невычислимость
17:07 Reaching definitions
24:05 Available expressions
31:55 Обратное продвижение и активные переменные
43:15 Data-flow framework, трансформации и анализ
49:10 Задачи
53:58 Нумерация Ершова и алгоритм value numbering

Errata
пока пусто