Исследовательская группа

Лаборатория языковых инструментов

Разработка компиляторов предметно-ориентированных языков для спецпроцессоров

October 5

В составе современных вычислительных систем все чаще используются аппаратные спецпроцессоры, программируемые на предметно-ориентированных языках. Популярность набирает подход compiler-in-the-loop, предполагающий совместную разработку спецпроцессора и компилятора. При этом традиционный инструментарий, GCC и LLVM, оказывается недостаточным для быстрой разработки оптимизирующих компиляторов, порождающих целевой код нетрадиционной, нерегулярной архитектуры со статическим параллелизмом операций.

В докладе предлагается использовать методы из области синтеза программ для реализации машинно-зависимых фаз компиляции. Фазы осуществляются на основе сведения к задаче SMT, что дает возможность избавиться при построении компилятора от эвристических и приближенных подходов, требующих трудоемкой программной реализации. Обсуждаются вопросы практического применения разработанных методов и алгоритмов на примере компилятора для спецпроцессора с набором команд, ускоряющим реализации алгоритмов низкоресурсных шифров из области Интернета вещей.

Докладчик: Пётр Советов

Материалы:

1) Hennessy, John L., and David A. Patterson. "A new golden age for computer architecture." Communications of the ACM 62.2 (2019): 48-60. https://cacm.acm.org/magazines/2019/2/234352-a-new...

2) Lopes, Nuno P., and John Regehr. "Future Directions for Optimizing Compilers." arXiv preprint arXiv:1809.02161 (2018). https://arxiv.org/abs/1809.02161

Семинар пройдет онлайн 5 октября в 17:30, ссылка Google meet: https://meet.google.com/myu-dhmz-gvu