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

Лекции по компиляторам для свежих интернов базовой кафедры в МФТИ. На третьей лекции мы познакомимся с анализом потока данных и построим фреймворк для такого рода анализа. Мы рассмотрим три базовых аналитических алгоритма: достигающие определения, доступные выражения и активные переменные. В конце мы заметим удивительную общность этих задач и сделаем выводы. В процессе мы погрузимся в невычислимые задачи и историю компиляторной теории. Лектор: Константин Владимиров Видео и звук: Юлий Тарасов Предыдущая лекция:    • Оптимизирующие компиляторы (МФТИ, 202...   Следующая лекция:    • Оптимизирующие компиляторы (МФТИ, 202...   Слайды к занятиям:
Книга:
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 пока пусто