Битовые маски: о системном программировании простыми словами

В тридцать втором выпуске «Битовых масок» Антон Афанасьев и Алина Галичина разбираются в краевом искусственном интеллекте вместе с Иваном Дейнекой — заведующим лабораторией Высшей инженерно-технической школы ИТМО. Иван совмещает три роли сразу: инженерную, научную и преподавательскую, а его команда размещает нейросети на ПЛИС и SoC.00:01:01 - Как тройка по физике привела Ивана в ИТМО и оптику00:08:06 - Как совмещать три роли: инженер, преподаватель, научный сотрудник00:18:27 - Как изменился студент и что ИИ-ассистенты делают с образованием00:30:07 - Стек лаборатории: Qt, ПЛИС и собственные функциональные модули00:35:22 - Редкие баги и идея ловить их нейросетью прямо в ПЛИС00:48:46 - Почему DSP-процессоры — вымирающий вид00:54:50 - На каких ПЛИС учить студентов и почему стоит попробовать несколько01:18:28 - Оптимизация проекта: время компиляции, площадь и ресурс-балансинг01:35:47 - Что такое краевой ИИ и зачем алгоритм переносят к источнику данных01:41:39 - Какие модели размещают на ПЛИС01:50:26 - Память как главное ограничение ПЛИС по сравнению с GPU01:56:39 - Локальные LLM в лаборатории: экономия токенов и защита данных02:03:14 - Как обучали свою сверточную сеть на синтетических данныхПолезные ссылки: GitHub лаборатории Высшей инженерно-технической школы ИТМО: https://github.com/debreti/nirsii-fpgaiдоклад Ивана Дейнеки «Edge AI на ПЛИС: тенденции и руководство по размещению»: https://www.youtube.com/watch?v=iG6lkyFEBVgвыпуск «Битовых масок» о верификации, open source и AI с Богданом Колбовым: https://engineer.yadro.com/podcast/kogerentnost-avtomatizacziya-ml-dlya-rtl-i-verifikaczii/выпуск «Битовых масок» о спецпроцессорах с Петром Советовым: https://engineer.yadro.com/podcast/dsl/телеграм-канал «Битовых масок»: https://t.me/bitemaskтелеграм-канал «Истового инженера»: https://t.me/ultimate_engineer

В тридцать первом выпуске «Битовых масок» Елена Лепилкина и Алина Галичина разбираются в функциональном моделировании вместе с двумя экспертами из YADRO — Семёном Ковалем и Иваном Клоковым. Их команда развивает функциональный симулятор на базе QEMU и моделирует систему на кристалле целиком: от кластера CPU до высоко- и низкоскоростной периферии.Гости объяснили, чем функциональный симулятор отличается от performance- и RTL-симуляторов и почему QEMU быстрый, но неточный. Рассказали, что приходится дописывать к upstream-версии под собственные чипы и зачем производители процессоров вкладываются в открытый проект. Разобрали косимуляцию с FPGA и RTL-симулятором, отладку многопоточных гонок и порог входа в функциональное моделирование.Среди тем подкаста:чем QEMU отличается от Gem5 и RTL-симуляторов;какие баги в QEMU не отловить;что такое TCG и зачем он нужен;зачем производители процессоров вкладываются в upstream QEMU;как из разных симуляторов собирают виртуальную платформу;как устроена косимуляция QEMU с FPGA и RTL-симулятором;как работает реверс-дебаг и зачем он нужен в QEMU.00:01:02 - Как Семён и Иван пришли в функциональное моделирование00:07:54 - Какие бывают симуляторы и какое место среди них занимает QEMU00:13:01 - Что приходится дописывать к opensource-версии QEMU под конкретные чипы00:25:51 - Какие ошибки не поймать в QEMU из-за игнорирования кешей00:30:49 - Как QEMU стал стандартом функционального симулятора00:32:50 - История QEMU и интересы вендоров в upstream00:37:44 - Как часто выходят релизы QEMU00:44:37 - Что в QEMU реализуют через плагины, а что внутри00:55:34 - Как собирают единую виртуальную платформу из разных симуляторов00:58:44 - Косимуляция QEMU с RTL-симулятором и FPGA01:05:39 - Как тестируют сам QEMU01:08:39 - Многопоточность в QEMU и плавающие баги01:17:44 - Как в QEMU устроена работа с MMU01:26:44 - QEMU для системных программистов и разработчиков драйверов01:37:16 - Реверс-дебаг: как вернуться с QEMU в прошлое01:38:58 - Порог входа в функциональное моделирование: что читать по теме01:50:13 - AI в разработке моделей и патчей для QEMU

Тридцатый выпуск «Битовых масок» привел в студию к Елене Лепилкиной сразу двух экспертов из SberDevices — Олега Лёвина и Дмитрия Рокосова. Они разрабатывают операционные системы на основе Linux и AOSP, а также развивают сообщество Russian Linux Kernel Community.Эксперты поделились историями о создании прошивок для медиаустройств и обсудили разные системы сборок. Представили стандартные бизнес-сценарии работы с китайскими поставщиками. Разобрали преимущества AOSP и те места, где приходится самостоятельно ее дорабатывать. Обсудили цели и задачи Russian Linux Kernel Community, а также способы попасть в сообщество.