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

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

➡Пишите свои предложения в комментариях здесь или на 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 📺
Слушать 🎤

🔖Для новой версии ядра Linux 6.13 представили патч со значительной оптимизацией реализации алгоритма нахождения контрольной суммы CRC32C. Исходный код реализации CRC32C уменьшен с 4546 до 418 байт, то есть примерно в 10 раз.

Прирост производительности варьируется, но доходит до 66.8% на отдельных моделях процессоров.

Источник

@bitemask

Следите за новостями по RISC-V? Архитектура активно развивается, поэтому, если хотите быть в курсе апдейтов, приглашаем вас на совместный митап Альянса RISC-V х YADRO, который пройдёт уже завтра, 6 ноября в Нижнем Новгороде. Можно присоединиться онлайн в 19:00!

➡Зарегистрироваться на митап онлайн

Ссылка на трансляцию в VK, YouTube или Rutube придёт после регистрации.

Среди спикеров в том числе и гости наших выпусков: Константин Владимиров и Дмитрий Рябцев. Если не смотрели эпизоды с ними, то рекомендуем:

Константин Владимиров
Компилятор для CPU и GPU. Часть 1. LLVM и GCC
Компилятор для CPU и GPU. Часть 2. LLVM в GPU компиляторах. Стандарты С++

Дмитрий Рябцев
Профилирование. Top-down Microarchitecture Analysis Method. Intel VTune

Битовые маски 17: Николай Иготти — о гипервизорах, реализации разных языков и будущем системного программирования

В этом выпуске мы побеседовали с Николаем Иготти — разработчиком, участвовавшим в создании многих известных проектов международных корпораций. Николай успел поработать над HotSpot в Sun Microsystems, над гипервизором VirtualBox, а также в разных проектах Google и EMC. Руководил разработкой Kotlin/Native компилятора и Compose Multiplatform в JetBrains, а сейчас трудится в Huawei.

Мы затронули очень много разных тем — от гипервизоров до дизайна современных языков программирования.

▪Чем виртуальные машины отличаются друг от друга и от процессоров;
▪Чем уникальна виртуальная машина V8;
Какие модели памяти существуют;
▪Зачем нужны компиляторные плагины и другие возможности модификации компиляторов;
▪В чем сложности создания гипервизоров;
▪Возможно ли создать хороший интероп с С;
▪Как связана разработка современных UI-фреймворков с системным программированием.

Бонус — разбор того, что не давало запустить VirtualBox c MacOS на архитектуре x86.

Смотреть или слушать

Битовые маски 18: новогодний выпуск!

В этом эпизоде мы побеседовали с Юрием Панчулом — человеком, знакомым большинству людей, занимающихся дизайном процессоров, одним из основателей и создателей программы Школы синтеза цифровых схем. В портфолио Юрия — работа в MIPS Technologies, Juniper Networks, а также собственный стартап C Level Design. Сейчас он разрабатывает GPU в Samsung Advanced Computing Lab.

Мы обсудили с Юрием развитие индустрии, организацию проектирования процессоров в реальных компаниях, а также вопросы обучения специалистов, в том числе:

▪В чём заключается искусство создания микроархитектуры и почему сложно перейти от разработки софта к «железу»;
▪Как менялись средства проектирования процессоров — от чертежей до языков описания аппаратуры и high-level синтеза;
▪Какие этапы включает бизнес-цикл разработки чипов;
▪Сколько стоит респин и как его избежать;
▪Какие баги бывают с FPU;
▪Какие задачи ставят в тупик начинающих специалистов на собеседованиях;
▪Как Школа синтеза цифровых схем ориентируется на реальные задачи в дизайне чипов.

Смотреть на Rutube/YouTube или слушать