Функциональные симуляторы: использование, точность, скорость / Симулятор QEMU / TCG engine
В тридцать первом выпуске «Битовых масок» Елена Лепилкина и Алина Галичина разбираются в функциональном моделировании вместе с двумя экспертами из YADRO — Семёном Ковалем и Иваном Клоковым.
Их команда развивает функциональный симулятор на базе QEMU и моделирует систему на кристалле целиком: от кластера CPU до высоко- и низкоскоростной периферии.
Гости объяснили, чем функциональный симулятор отличается от performance- и RTL-симуляторов и почему QEMU быстрый, но неточный. Рассказали, что приходится дописывать к upstream-версии под собственные чипы и зачем производители процессоров вкладываются в открытый проект. Разобрали косимуляцию с FPGA и RTL-симулятором, отладку многопоточных гонок и порог входа в функциональное моделирование.
Среди тем подкаста:
➡️ чем QEMU отличается от Gem5 и RTL-симуляторов;
➡️ какие баги в QEMU не отловить;
➡️ что такое TCG и зачем он нужен;
➡️ зачем производители процессоров вкладываются в upstream QEMU;
➡️ как из разных симуляторов собирают виртуальную платформу;
➡️ как устроена косимуляция QEMU с FPGA и RTL-симулятором;
➡️ как работает реверс-дебаг и зачем он нужен в QEMU.
Полезные ссылки:
🔗 документация QEMU
🔗 выпуск «Битовых масок» о симуляторах и эмуляторах
🔗 больше о команде YADRO и вакансиях по этому направлению
Смотреть или слушать подкаст:
Rutube
VK
YouTube
Истовый Инженер
Я.Музыка