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