Сборники трудов ИСП РАН


Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU.

К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян.

Аннотация

В работе представлены два подхода к реализации полносистемного детерминированного воспроизведения в симуляторе QEMU, которые отличаются тем, какие компоненты виртуальной машины включаются в воспроизведение. Оба предложенных подхода позволяют воспроизводить выполнение гостевой ОС и прикладных программ без модификации их кода. Они не предполагают никаких ограничений на аппаратное окружение виртуальной машины. В частности, поддерживаются устройства, использующие в своей работе DMA. Оцениваются достоинства и недостатки этих подходов, оценивается уровень накладных расходов при записи журнала невоспроизводимых событий.

Ключевые слова

QEMU, детерминированное воспроизведение, программный симулятор

Издание

Труды Института системного программирования РАН, том 22, 2012, стр. 77-94.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2012-22-6

Полный текст статьи в формате pdf Вернуться к содержанию тома