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

Битовые маски 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 📺 Слушать 🎤

Радикальная попытка сделать мир 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 выпуске подкаста:

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