Оптимизирующие компиляторы

Лекции:

  1. Введение в анализ потоков данных
  2. Основы анализа потоков данных
  3. Устранение частичной избыточности
  4. Распространение констант
  5. Циклы в графах потоков
  6. Анализ на основе областей
  7. Символический анализ
  8. Оптимизация параллелизма и локальности данных.
    Полиэдральное представление циклов. Пространства итераций
  9. Аффинные индексы массивов. Повторное использование данных.
    Анализ зависимости данных в массивах
  10. Параллелизм без синхронизации
  11. Синхронизация между параллельными циклами
  12. Динамическая компиляция

Практическое задание:

  1. Программная реализация алгоритмов распространения констант