Учебные курсы – Компиляторные технологии 2 2025 и 2026 учебного года – Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН) – Национальный исследовательский университет «Высшая школа экономики»

АБB
АБB
АБB

Обычная версия сайта

О кафедре

Кафедра создана в 2015 году в структуре департамента программной инженерии на базе Института cистемного программирования им. В.П. Иванникова РАН (ИСП РАН).

Системное программирование – это основа программной инженерии (науки о производстве программ). Специализация кафедры охватывает ряд важнейших направлений: операционные системы, компиляторные технологии, технологии и инструменты разработки программ, системная интеграция и прикладные программные комплексы и др.

Публикации

Книга

ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья

О методах извлечения алгоритмов из бинарного кода

Падарян В. А., Кулагин И. И., Кошкин В. А.

Труды Института системного программирования РАН. 2024. Т. 36. № 3. С. 139-160.

Глава в книге

Исследование нефункциональных параметров различных типов при реализации путей в параметризованных графах

Бурдонов И., Евтушенко Н. В., Евтушенко Л. Г. и др.

В кн.: Новые информационные технологии в исследовании сложных структур : материалы Пятнадцатой Международной конференции, 16–20 сентября 2024 г.. Томск: Издательство Томского государственного университета, 2024. С. 12-13.

Препринт

Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

Все публикации

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

Статус:: Маго-лего

Когда читается:: 1 модуль

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

Аннотация

Машинно-зависимые оптимизации при трансляции опираются на использование особенностей архитектуры и системы команд базовой машины. В ходе курса подробно рассматриваются машинно-зависимые алгоритмы оптимизации компилятора, а также примеры их работы. К ним относятся генерация кода, распределитель регистров, планирование инструкций, программная конвейеризация циклов и другие оптимизации компилятора. Алгоритмы, обсуждаемые в курсе, используются в современных промышленных компиляторах, таких как Clang/LLVM и GCC.

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

Понимание принципов работы оптимизирующего компилятора, выполнения машинно-зависимых оптимизаций и генерации кода под современные процессорные архитектуры с учетом их особенностей

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

1. Освоение новых методов в области оптимизирующей компиляции и интерпретации программ
2. Полученные знания будут также полезны для анализа производительности и оптимизации для заданных процессорных архитектур приложений (в т.ч. написанных на языках высокого уровня) за счет лучшего понимания особенностей оптимизирующих преобразований, выполняемых внутри компилятора.

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

Введение и обзор RISC-архитектуры
Выбор команд
Распределение и назначение регистров
Планирование кода
Программная конвейеризация
Динамическая компиляция

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

КР_2
Экз
КР_1

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

2025/2026 1st module
Final = 0.8*Экзамен + 0.2*5*Max(2, КР_1 + КР_2) * каждая из оценок за КР_1 и КР_2 – числа в интервале [0; 2]

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

Авторы

Буцкая Евгения Александровна
Самоненко Илья Юрьевич
Петренко Александр Константинович

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

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