Гости объяснили, чем функциональный симулятор отличается от performance- и RTL-симуляторов и почему QEMU быстрый, но неточный. Рассказали, что приходится дописывать к upstream-версии под собственные чипы и зачем производители процессоров вкладываются в открытый проект. Разобрали косимуляцию с FPGA и RTL-симулятором, отладку многопоточных гонок и порог входа в функциональное моделирование.
Среди тем подкаста:
чем QEMU отличается от Gem5 и RTL-симуляторов;
какие баги в QEMU не отловить;
что такое TCG и зачем он нужен;
зачем производители процессоров вкладываются в upstream QEMU;
как из разных симуляторов собирают виртуальную платформу;
как устроена косимуляция QEMU с FPGA и RTL-симулятором;
как работает реверс-дебаг и зачем он нужен в QEMU.
- Как Семён и Иван пришли в функциональное моделирование
- Какие бывают симуляторы и какое место среди них занимает QEMU
- Что приходится дописывать к opensource-версии QEMU под конкретные чипы
- Какие ошибки не поймать в QEMU из-за игнорирования кешей
- Как QEMU стал стандартом функционального симулятора
- История QEMU и интересы вендоров в upstream
- Как часто выходят релизы QEMU
- Что в QEMU реализуют через плагины, а что внутри
- Как собирают единую виртуальную платформу из разных симуляторов
- Косимуляция QEMU с RTL-симулятором и FPGA
- Как тестируют сам QEMU
- Многопоточность в QEMU и плавающие баги
- Как в QEMU устроена работа с MMU
- QEMU для системных программистов и разработчиков драйверов
- Реверс-дебаг: как вернуться с QEMU в прошлое
- Порог входа в функциональное моделирование: что читать по теме
- AI в разработке моделей и патчей для QEMU
