Битовые маски #12: Иван Углянский о JVM runtime, развитии Java и образовании в области системного программирования

В четвертом выпуске мы поднимали тему JVM, но говорили больше о компиляторах. В новом эпизоде продолжаем беседу о виртуальных машинах, но уже со стороны рантайма.

Гостем «Битовых масок» стал Иван Углянский, член программного комитета конференции SnowOne, известный разработчик JVM и один из создателей профиля «Системное программирование» в НГУ. Он соприкоснулся с процессом разработки компиляторов и рантаймов еще в старших классах школы, а после продолжал заниматься этим направлением в Excelsior и Huawei. Елена Лепилкина обсудила с Иваном не только рантаймы, но и интероперабельность, преимущества и недостатки новых проектов Java, а также его опыт преподавания и взаимодействия с вузами.

Из выпуска вы узнаете:
▪Что входит в состав рантайма, кроме garbage collector;
▪Как отлаживать баги в рантайме с помощью «кротов» и Time Travel Debugging;
▪На каких языках можно написать рантайм и чем интересна SystemJava;
▪Что из себя представляют новые мегапроекты Panama, Loom и Valhalla;
▪Почему виртуальные потоки в Java ближе к горутинам, чем к корутинам;
▪Как и почему в НГУ появился профиль «Системное программирование».

А еще услышите много забавных и одновременно захватывающих примеров отладки багов из времен работы Ивана над Excelsior JET.

Смотреть 📺| Слушать 🎤

Битовые маски #13: Игорь Астахов — о программировании в 90-е и низкоуровневых оптимизациях

Игорь Астахов, новый гость «Битовых масок», впервые увидел компьютер уже на работе и учился писать машинный код на бумажке, загружая его в PDP-8/e с помощью механических переключателей. В 90-е годы он перешел в Intel, где проработал с низкоуровневыми библиотеками больше 20 лет.

Сейчас Игорь — ведущий инженер-программист в группе разработки математических библиотек, а также библиотек обработки сигналов и изображений в YADRO. Елена Лепилкина и Антон Афанасьев позвали коллегу поделиться обширным опытом в низкоуровневой оптимизации и рассказать о векторизации, акселераторах и о том, как изменилась индустрия за три десятка лет.

Из выпуска вы узнаете:

▪Что такое идеальный код с точки зрения разработчика низкоуровневых оптимизаций;
▪Как работают над переносом библиотеки на архитектуру, которая еще не появилась;
▪Возможна ли реализация высокопроизводительной библиотеки на С без интринсиков;
▪Как измеряют производительность низкоуровневых оптимизаций;
▪Сможет ли AI создать высокопроизводительный код низкоуровневой библиотеки.

Смотреть 📺| Слушать 🎤

Тринадцатый эпизод подкаста вышел чуть больше недели назад, но уже в первые часы набрал немалое количество просмотров и комментариев, что не может не радовать :) В нём мы обсудили:

▪Правда ли раньше писали и дебажили код на бумажке;
▪До сих пор ли пишут на ассемблере для получения наилучшей производительности;
▪Почему Intel Itanium — идеальный процессор;
▪Почему математика — во главе угла оптимизации DSP-алгоритмов;
▪Обязательно ли оптимизировать функцию copy на CPU или можно передать эту задачу акселераторам.

А вы уже успели посмотреть выпуск? Делитесь впечатлениями в комментариях под видео или здесь под постом, если предпочитаете слушать.

🎤Ищем новых героев

Судя по обратной связи под прошлыми видео, вам нравится наш выбор гостей. Но мы также будем рады узнать, кого вы бы хотели увидеть в нашей уютной студии. Это могут быть как известные представители инженерного сообщества, так и ваши коллеги, и даже вы сами, если есть желание поделиться знаниями и опытом со слушателями подкаста.

➡Пишите свои предложения в комментариях здесь или на engineer@yadro.com с пометкой «Битовые маски». Также вы можете предлагать и темы для новых выпусков — это тоже будет очень кстати и поможет сделать подкаст ещё интереснее.

Ждём ваши идеи,
Лена и Антон

Битовые маски # 14: Пётр Советов о DSL-языках, разработке компиляторов для них и спецпроцессорах

Новый эпизод подкаста уже на стриминговых площадках и YouTube! В нём Пётр Советов поделился своими знаниями о разработке предметно-ориентированных языков для компиляторов, рассказал об актуальности подхода domain specific architecture, а также о пользе SAT- и SMT-решателей для прототипирования. Кроме того, Антон спросил у гостя о его интересе к компиляторной школе СССР и том, можно ли переиспользовать такие исторические знания в современном мире.

Из выпуска вы узнаете:
▪Когда для решения задачи имеет смысл использовать новый предметно-ориентированный язык;
▪Каково писать на Forth и почему первой программой не может быть “Hello, world”;
▪Какие экзотические языки могут вдохновить инженера и чем полезно их изучение;
▪Где в России можно найти сильные курсы по разработке компиляторов;
▪Какие методы полезно использовать для быстрой разработки компиляторов;
▪Чем полезен взгляд в прошлое и можно ли использовать исторические знания сейчас.

Смотреть 📺| Слушать 🎤

🔖Полезная подборка о различных спецпроцессорах, спецязыках и не только от гостя нашего недавнего эпизода Петра Советова: сохраняйте, чтобы не потерять и делитесь с коллегами!

▪Журнал ZX-Ревю
▪Статья о книге «Язык компьютера»
▪3 книги по языку Форт: один, два, три
▪Форт-процессоры GreenArrays
▪Статья о программировании процессоров серии SEAforth/GreenArrays
▪Веб-демонстрация отображения информационного графа на решётку SEAforth/GreenArrays
▪Книга ПЛИС Xilinx. Языки описания аппаратуры VHDL и Verilog, САПР, приемы проектирования
▪Язык функционально-логического программирования Verse
▪Пример языкового верстака — Spoofax
▪Лекция легендарного профессора Дэвида Паттерсона «Новый золотой век компьютерной архитектуры»
▪Статья на Хабре «Жизнь в эпоху тёмного кремния»
▪Язык Halide
▪Учебник по разработке компиляторов от Cooper & Torczon
▪Компилятор Даталога
▪Диссертация на тему создания DSL-компиляторов для спецпроцессоров
▪Сайт Брета Виктора


@bitemask

🎤Битовые маски 15 — Юрий Минаев и Андрей Карпов о статических анализаторах и деталях их работы

В гостях у «Битовых масок» — Андрей Карпов и Юрий Минаев из PVS-Studio. Андрей более 15 лет занимается статическим анализом кода, изучает качество программного обеспечения и пишет статьи о программировании на С++. Юрий, архитектор C++ анализатора PVS-Studio, глубинно дописывает и переписывает парсер и прочие внутренности C++ анализатора.

Андрей и Юрий рассказали, с чего начиналась разработка статического анализатора PVS-Studio и как работает их команда сегодня. Вместе с гостями мы выяснили,как устроен статический анализатор изнутри и почему сотрудники PVS-Studio знают многое о тонкостях работы не только анализаторов, но и разных компиляторов.

Из выпуска вы узнаете:

▪Как устроен статический анализ и в чем главные отличия от линтера и фронтенда компилятора;
▪Почему PVS-Studio не использует LLVM;
▪Какие сложности при проведении межпроцедурного и межмодульного анализа;
▪Как PVS-Studio работает с библиотеками, в том числе стандартной и что неожиданного в ней можно найти;
▪Для каких диагностик важен Data-Flow анализ и насколько тяжело пока обходиться без CFG;
▪Как выполняются лексический, статический и семантические анализы в PVS-Studio.

Смотреть на YouTube 📺
Смотреть на Rutube 📺
Слушать 🎤

Сегодня хотим порекомендовать доклад Александра Разинкова, ведущего инженера-программиста в YADRO, с конференции FPGA-Systems.

О чём доклад
Вместе с командой Александр прошел очень увлекательный и непростой квест по запуску Quake 2 на RISC-V кластере, развернутом на FPGA. Для этого пришлось решить множество нетривиальных проблем. А в придачу разгадать много загадок и получить море инженерного драйва.

Зачем смотреть
Чтобы пройти весь путь по шагам и разделить радость того, что «оно правда работает!», а также немного отвлечься от серьёзных тем.

📺Смотреть доклад

📄Презентация к докладу

Кстати, Александр был в нашей студии прошлой осенью. Лена обсудила с гостем сетевые протоколы и передачу данных в беспроводных сетях, а также особенности гетерогенных и операционных систем. Если не слушали этот выпуск, то также рекомендуем!

Архитектор C++ анализатора PVS-Studio Юрий Минаев о проблеме с лямбда-функцией

Если ещё не смотрели этот выпуск, то включайте на любой удобной аудио- или видеоплатформе:

Смотреть на YouTube 📺
Смотреть на Rutube 📺
Слушать 🎤

Радикальная попытка сделать мир Linux безопаснее разбилась?

В сентябре стало известно, что Ведсон Алмейда Фильо, инженер Microsoft и ключевой участник проекта Rust for Linux, сложил свои полномочия.

Основной целью проекта Rust for Linux было внедрение языка программирования в ядро Linux.

Теперь в ближайшее время вряд ли кто-то отважится подхватить знамя «перепишем Linux на Rust». В выпуске, который выйдет уже на этой неделе, Лена и Антон обсудили в том числе и эту тему со своим гостем. Им стал Дмитрий Точанский, инженер с большим опытом работы в сферах встраиваемого и системного программирования. Дмитрий поделится своим мнением на этот счёт и расскажет возможный сценарий такой реализации.

▶Новый выпуск уже в эту пятницу. Stay tuned!

Битовые маски 16: Дмитрий Точанский — о системах для ЦОС, архитектуре современного ядра Linux и его будущем

В этом выпуске мы продолжим погружаться в тему системного программирования и познакомим вас с Дмитрием Точанским — инженером с опытом работы более 20 лет в сферах системного и embedded-программирования. Дмитрий пришел в системное программирование из системного администрирования, куда его привела любовь к Linux. А свой первый дистрибутив этой ОС Дмитрий получил еще в начале 2000-х чуть ли не из-под полы.

Сейчас Дмитрий — старший инженер по системному программированию СнК в группе разработки системного ПО (BSP) YADRO. В студии с Еленой Лепилкиной и Антоном Афанасьевым он рассказал о программировании в сфере цифровой обработки сигналов, описал архитектуру Linux и множестве других интересных аспектов.

▪Как применяются ПЛИС для цифровой обработки сигналов
▪Какие особенности существуют при работе с DSP-процессорами
▪Как выглядит современная разработка Linux
▪Легко ли портировать Linux на новый SoC
▪Какая архитектура ОС лучше: микроядерная или монолитная?
▪Какие новые подходы есть для решения проблем с производительностью при переключении контекста?
▪Почему в ядре Linux еще не перешли на Rust и неизбежен ли вообще уход с C.

➡30 октября на YADRO x SPbLUG Linux Kernel Meetup Дмитрий Точанский выступит с докладом о создании собственного модуля Memory Extender. Открыта запись на онлайн- и очное участие, присоединяйтесь!

Смотреть на YouTube 📺
Смотреть на Rutube 📺
Слушать 🎤