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


Об особенностях детерминированного воспроизведения при минимальном наборе устройств

В.Ю.Ефимов (ИСП РАН, Москва), К.А. Батузов (ИСП РАН, Москва), В.А.Падарян (ИСП РАН, Москва)

Аннотация

Технология (детерминированного) воспроизведения вычислительного процесса в виртуальных вычислительных машинах используется для отладки, повышения отказоустойчивости, а также в различных исследованиях программного кода, в том числе, в области информационной безопасности при обратной инженерия вредоносных программ. В данной работе описывается реализация технологии воспроизведения для гостевых машин на базе Intel Architecture 32-bit в программном эмуляторе QEMU, предлагающая минимизацию перечня воспроизводимых устройств. Подробно рассмотрено устройство эмулятора QEMU и обоснованы технические приемы, использованные при реализации. Приводятся экспериментальные оценки ключевых характеристик: объем записываемого журнала недетерминированных событий и замедление.

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

виртуальная машина; детерминированное воспроизведение; эмулятор; QEMU

Издание

Труды Института системного программирования РАН, том 27, вып. 2, 2015, стр. 65-92.

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

DOI: 10.15514/ISPRAS-2015-27(2)-5

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