Языки программирования / Спецпроцессоры / Прототипирование компиляторов

Продолжаем знакомить вас с профессионалами в области низкоуровневого программирования. Гость нового выпуска — Пётр Советов, разработчик компиляторов для спецпроцессоров, специалист в сфере технологий компиляции и синтеза программ, преподаватель РТУ МИРЭА и известный докладчик профильных конференций.

В этом выпуске Антон Афанасьев обсуждает с гостем предметно-ориентированные языки, проектирование специализированных ускорителей и компиляторов, а также возможную пользу от изучения истории алгоритмов. Когда требуется новый предметно-ориентированный язык и компилятор для него? Есть ли в России сильные курсы по разработке компиляторов? Чем инженеру полезно знание экзотических языков? Почему наступает золотой век специализированной архитектуры? Есть ли практическая польза в изучении исследований прошлых лет? Ответы на эти и другие вопросы ждут вас в четырнадцатом выпуске подкаста.

???? Полезные ссылки:
· Журнал ZX-Ревю: https://speccy.info/ZX-%D0%A0%D0%B5%D0%B2%D1%8E
· О книге «Язык компьютера»: https://dzen.ru/a/X7ScQn6x_kug_Mbh
· Книги по языку Форт:
http://old-dos.ru/index.php?page=lib&do=show&id=645
http://old-dos.ru/index.php?page=lib&do=show&id=644
http://old-dos.ru/index.php?page=lib&do=show&id=646
· Форт-процессоры GreenArrays: https://www.greenarraychips.com/
· Статья о программировании процессоров серии SEAforth/GreenArrays: http://sovietov.com/txt/seaforth/seaforth.html
· Веб-демонстрация отображения информационного графа на решётку SEAforth/GreenArrays: http://sovietov.com/app/mapper/mapper_demo.html
· Книга И. Е. Тарасова «ПЛИС Xilinx. Языки описания аппаратуры VHDL и Verilog, САПР, приемы проектирования»: http://techbook.ru/book.php?id_book=1082
· Язык функционально-логического программирования Verse: https://github.com/UnrealVerseGuru/VerseProgrammingLanguage
· Пример языкового верстака — Spoofax: https://spoofax.dev/
· Лекция легендарного профессора Дэвида Паттерсона «Новый золотой век компьютерной архитектуры»: https://youtu.be/ruUh7m_ncI4
· Статья на Хабре «Жизнь в эпоху тёмного кремния»: https://habr.com/ru/companies/intel/articles/158223/
· Язык Halide: https://halide-lang.org/
· Учебник по разработке компиляторов от Cooper & Torczon: https://shop.elsevier.com/books/engineering-a-compiler/cooper/978-0-12-815412-0
· Компилятор Даталога: https://souffle-lang.github.io/
· Диссертация на тему создания DSL-компиляторов для спецпроцессоров:
https://www.mirea.ru/upload/medialibrary/72e/Sopetov_dissertation.pdf
· Сайт Брета Виктора: https://worrydream.com/

Другие полезные видео с Петром Советовым:
· Создание компиляторов для спецпроцессоров: https://youtu.be/1m8oAQCTSeY?si=OoJMJsiDOxWUwLIk
· Аппаратная компиляция: синтез специализированных ускорителей: https://youtu.be/Q6-h6R_e-04?si=ob4kNEMsvcQ5RMk2
· В Python есть готовый фронтенд для вашего компилятора: https://www.youtube.com/watch?v=h-TzDPL2nDE
· Цикл докладов о советской компиляторной школе: https://github.com/true-grue/soviet_compilers

✅Подписывайтесь на Telegram-канал подкаста: https://t.me/+bx50QfUlw4pkZDEy

????Станьте частью команды YADRO! https://careers.yadro.com

0:00 — Тизер
0:49 — Представление гостя
3:01 — Как Пётр начал программировать или игра в Basic
7:40 — Язык программирования Forth
12:08 — DSL-языки
22:11 — Учеба в университете
25:05 — Как писать на Forth
29:16 — Карьерный путь и задачи
45:30 — Этап стартапов
54:33 — Работа в вузе
1:01:44 — Компиляторные курсы в России
1:07:39 — Экзотические языки
1:10:42 — Что показывать студентам
1:11:41 — Точки притяжения системного программирования в России
1:13:40 — Будущее языков программирования
1:17:03 — Спецпроцессоры и важность codesign
1:25:00 — Расширяемость RISC-V и стандартизация
1:29:32 — Почему наступает золотой век специализированной архитектуры
1:32:00 — Программируемость ускорителей
1:36:57 — Инструменты для быстрой разработки компиляторов
1:49:21 — Супероптимизация
1:52:08 — История советской компиляторной школы
2:00:07 — Заключение

???? Слушайте «Битовые маски» на других платформах:
Яндекс.Музыка: https://music.yandex.com/album/26508178
Apple Podcasts: https://podcasts.apple.com/ru/podcast/%D0%B1%D0%B8%D1%82%D0%BE%D0%B2%D1%8B%D0%B5-%D0%BC%D0%B0%D1%81%D0%BA%D0%B8-%D0%BE-%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%BD%D0%BE%D0%BC-%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B8-%D0%BF%D1%80%D0%BE%D1%81%D1%82%D1%8B%D0%BC%D0%B8/id1695727208
Все платформы: https://engineer.yadro.com/podcasts/category/bitmask/