Оптимизирующие компиляторы
Лекции:
- Введение в анализ потоков данных
- Основы анализа потоков данных
- Устранение частичной избыточности
- Распространение констант
- Циклы в графах потоков
- Анализ на основе областей
- Символический анализ
- Оптимизация параллелизма и локальности данных.
Полиэдральное представление циклов. Пространства итераций
- Аффинные индексы массивов. Повторное использование данных.
Анализ зависимости данных в массивах
- Параллелизм без синхронизации
- Синхронизация между параллельными циклами
- Динамическая компиляция
Практическое задание:
- Программная реализация алгоритмов распространения констант