Битовые маски

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

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

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

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

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

Samsung планирует портировать мобильную платформу Tizen для устройств с процессорами на базе архитектуры RISC-V, т.к. рассматривает возможность использования RISC-V в умных телевизорах и прочей потребительской технике. Прототипы телевизоров с RISC-V ядрами серии SiFive Performance уже находятся в разработке.

Экосистема RISC-V продолжает расширяться. Ждем с нетерпением выхода на рынок новых моделей. А вы?

Ссылка на новость

Новый эпизод совсем скоро!

Записали новый выпуск с интересным гостем. В этот раз в студии подкаста «Битовые маски» побывал Дмитрий Точанский, инженер с большим опытом в сфере системного программирования СнК.

Мы успели обсудить устройство операционной системы Linux, а также разработку в сфере ЦОС с использованием DSP-процессоров и ПЛИС. Совсем скоро поделимся с вами результатом беседы!

➡Кстати, у вас тоже есть возможность лично задать вопросы Дмитрию на Linux Kernel Meetup от YADRO и SPb Linux User Group 30 октября.

Подробности здесь

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


@bitemask

Неделю назад вышел наш новый выпуск с Петром Советовым. В нём мы обсудили применение предметно-ориентированных языков, зачем нужны специализированные архитектуры и почему для них важна программируемость. А ещё поговорили про разработку компиляторов и заодно узнали, где можно найти сильные отечественные курсы по этой теме.

Если смотреть с YouTube не очень комфортно, то всегда можно послушать подкаст на любой известной площадке.

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

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

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

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

Монтируем новый выпуск

Специально для записи этого эпизода Антон даже задержался в Москве, чтобы не упустить возможность пообщаться с таким гостем. Им стал Пётр Советов — довольно известный в кругу компиляторщиков разработчик и активный участник профильных конференций и митапов. За два часа мы успели обсудить актуальность создания DSL-языков, ренессанс спецпроцессоров, важность co-design’а, а также возможную пользу от изучения научных исследований прошлых лет.

А если вы пропустили наш разговор про компиляторы с Дмитрием Петровым и с Константином Владимировым, то очень рекомендуем посмотреть эти выпуски.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Новый эпизод уже через неделю

В этот раз гостем «Битовых масок» стал Иван Углянский — один из разработчиков Excelsior JET, сертифицированной реализации Java SE, основанной на оптимизирующей AOT-компиляции. Сейчас он работает в Huawei, где занимается компиляторами, JVM и новыми языками программирования.

А вот что Иван рассказал про содержание 12 эпизода подкаста:

«Отлично поговорили с Леной приблизительно обо всем :) И про Excelsior JET вспомнили, и мегапроекты в мире Java (Valhalla, Panama, Loom) обсудили, и даже затронули тему вузовского образования для системных программистов. Конечно, не обошлось и без рассказов о злых, трудно воспроизводимых и спорадических багах, а еще о тайм-тревел дебаггерах и встроенных в JVM профилировщиках. Кажется, получилось очень содержательно и весело!»

Немного подробностей о последнем эпизоде с Алексеем Бродкиным. Мини-студию записи мы организовали прямо в квартире Алексея. Было непросто, но результатом мы очень довольны. Теперь знаем, что при необходимости можем расширять географию гостей «Битовых масок».

Мы уже писали, что наша беседа в основном строилась вокруг операционных систем. А вот что сам Алексей думает об 11 выпуске подкаста:

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