Компиляторные технологии

Бакалавриат 2026/2027

ID 1137737

Статус: Курс по выбору (Программная инженерия)

Кто читает: Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)

Где читается: Факультет компьютерных наук

Когда читается: 3-й курс, 1, 2 модуль

Охват аудитории: для своего кампуса

Преподаватели: Кулагин Иван Иванович

Язык: русский

Кредиты: 5

Контактные часы: 56

Дополнительные материалы в LMS Задать вопрос

Аннотация

В курсе «Компиляторные технологии» рассматриваются основные принципы построения современных оптимизирующих компиляторов, причем основное внимание уделяется именно оптимизации кода — начиная от генерации внутреннего представления программы, анализа потока данных, различных этапов анализа и оптимизации кода, и заканчивая распределением регистров для конкретной целевой архитектуры и генерации для нее машинного кода. В ходе курса подробно рассматриваются алгоритмы компиляторных оптимизаций, а также разбираются примеры их работы. Рассматриваемые в курсе алгоритмы составляют основу оптимизаций, применяемых в современных промышленных компиляторах, таких как Clang/LLVM и GCC.

Цель освоения дисциплины

Компиляторные технологии применяются не только при разработке и модификации оптимизирующих компиляторов, но и при решении других проблем, для решения которых требуется глубокий анализ и трансформация программ: разработка наборов тестов для верификации программы, аудит программы для выявления дефектов (уязвимостей кода и «закладок», влияющих на работу программы и даже операционной системы, под управлением которой она выполняется), восстановление утраченной документации по тексту программы и др.

Планируемые результаты обучения

Освоение новых методов в области оптимизирующей компиляции и интерпретации программ; в том числе методов адаптивной оптимизации и компиляции;
Формирование практических навыков применения формальных методов при проектировании и разработке программного обеспечения

Содержание учебной дисциплины

Обзор системных и прикладных задач, для решения которых применяются компиляторные технологии.
Исключение частичной избыточности с помощью анализа потока данных
Граф зависимостей программы и его применения. Слайсинг
Оптимизация параллелизма и локальности данных. Иерархический параллелизм вычислительных систем.
Распараллеливание гнезд циклов. Полиэдральное представление гнезда циклов. Пространство итераций. Пространство данных. Пространство процессоров. Аффинные индексы массивов.
Распараллеливание гнезд циклов для многопроцессорных вычислительных систем. Использование стандартного пакета MPI.
Распространение условных констант с применением SSA-формы
Межпроцедурная и межмодульная оптимизация.
Адаптивная оптимизация программ. Машинное обучение оптимизатора.
Символьное выполнение программ. Предикаты пути и предикаты безопасности
Виртуальные машины и интерпретаторы. Динамическая компиляция. Многоуровневая динамическая компиляция. Эффективные техники оптимизации динамическим компилятором.
Динамическая компиляция. Динамический компилятор с адаптивной оптимизацией.
Методы профилирования выполняемого кода.
Статическое и динамическое инструментирование кода.
Обзор методов распознавания программ

Элементы контроля

Контрольные работы
Направлены на закрепление лекционного и семинарского материалов.
Домашние задания
Общая проверка знаний по курсу

Промежуточная аттестация

2026/2027 2nd module
Итоговая оценка вычисляется по формуле 0.4*X +0.6*Y X — сумма баллов за все контрольные работы (оценка за контрольные работы) Y — сумма баллов за все домашние задания (оценка за домашние задания) Блокирующей оценкой является оценка за контрольные работы

Список литературы

Авторы

Буцкая Евгения Александровна
Кулагин Иван Иванович

Программа дисциплины