Всем привет!

В новом выпуске «Битовых масок» мы возвращаемся на аппаратный уровень. В гостях у подкаста — Алексей Ковалов, руководитель группы модульной верификации в YADRO. Он рассказывает, как устроен процесс верификации аппаратуры, какие языки и методологии используют инженеры-верификаторы и почему здесь все сильно зависит от конкретной компании.

Из выпуска вы узнаете:
▪По каким критериям инженеры принимают решение о том, что блок верифицирован;
▪Что такое Universal Verification Methodology и зачем она нужна;
▪Какие особенности есть у языка SystemVerilog и какие другие технологии могут применяться для верификации;
▪Может ли у бита быть не два значения, а четыре;
▪Какие интерфейсы называют «токсичными»;
▪Как выглядит рынок труда в hardware-разработке и как это влияет на подходы к работе.

Посмотреть и послушать новый эпизод можно на «Истовом инженере»: https://engineer.yadro.com/podcast/verification/

Делитесь своими отзывами и предложениями!

Вышла новая версия стандарта языка SystemVerilog IEEE 1800-2023

Очень интересная новость из мира разработки аппаратуры. Новая версия SystemVerilog принесла важные обновления. Среди них:
▪Наследование функционального покрытия
▪Функция map() распакованного массива
▪Множественные идентификаторы в `ifdef
▪Multiline strings
▪Использование чисел с плавающей точкой в функциональном покрытии
▪Использование метода в качестве промежуточного результата

Большое спасибо Сергею Чусову (@verif_for_all) за то, что собрал подробности о новой версии в одном материале. Делимся ссылкой на список новинок.

Кстати, на прошлой неделе вышел свежий эпизод нашего подкаста – «Верификация аппаратных блоков / UVM / Рынок труда в hardware». В нем мы в том числе обсудили частоту выхода новых стандартов SystemVerilog. Слушайте, смотрите, делитесь впечатлениями.

Лена и Антон

Новый эпизод! Операционные системы | Linux | Zephyr | HAL и BSP | ARC-V

В конце февраля мы делились фотографиями первой в истории подкаста записи выпуска с онлайн-гостем. И сегодня этот выпуск вышел в свет! Героем эпизода стал Алексей Бродкин, который уже 16 лет работает в Synopsys и сейчас руководит командой инженеров, разрабатывающих Linux и операционные системы реального времени.

Поговорили об особенностях разработки ОС и их поддержке для разных процессоров и архитектур. А еще обсудили на примере ARC-V, зачем большому вендору вкладывать ресурсы в создание процессорного семейства, которое будет использовать набор команд RISC-V.

Из выпуска вы узнаете:
▪Почему вероятность появления новой большой и полноценной операционной системы очень мала;
▪Что представляет из себя уровень аппаратных абстракций в ОС;
▪Почему термин «операционная система реального времени» может вводить в заблуждение;
▪Происходит ли миграция функциональности между Linux и RTOS;
▪Можно ли начать разработку ОС до появления микросхемы в кремнии;
▪Как связаны прерывания, их обработчики и планировщик задач.

Посмотреть и послушать новый эпизод можно на «Истовом инженере».

Комментарии открыты для ваших отзывов и предложений! Как вам такой формат записи? Кого еще из гостей нам стоит позвать?

Битовые маски #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”;
▪Какие экзотические языки могут вдохновить инженера и чем полезно их изучение;
▪Где в России можно найти сильные курсы по разработке компиляторов;
▪Какие методы полезно использовать для быстрой разработки компиляторов;
▪Чем полезен взгляд в прошлое и можно ли использовать исторические знания сейчас.

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