Функциональные симуляторы: использование, точность, скорость. Симулятор QEMU. TCG engine

В тридцать первом выпуске «Битовых масок» Елена Лепилкина и Алина Галичина разбираются в функциональном моделировании вместе с двумя экспертами из 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 - Какие бывают симуляторы и какое место среди них занимает QEMU

00:13:01 - Что приходится дописывать к opensource-версии QEMU под конкретные чипы