Proceedings of ISP RAS


Deterministic Replay Specifics in Case of Minimal Device Set

V.Y. Efimov (ISP RAS, Moscow), K.A. Batuzov (ISP RAS, Moscow), V.A. Padaryan (ISP RAS, Moscow)

Abstract

The deterministic replay technique can be used for debugging, improving reliability and robustness, software development and incident investigation (including reverse engineering of malware). The paper describes the implementation of deterministic replay of IA-32 based boards in QEMU. Another implementation of this technique in QEMU had been previously published, but it uses a significantly different approach. Deterministic replay implementation details and features substantially depend on deterministic area — the part of virtual machine which execution is being replayed. For replay to be deterministic the implementation must ensure that (1) all information flows across deterministic area borders should be logged and then replayed, and (2) there is no non-determinism inside deterministic area. The proposed approach is called «Min VM» because it’s based on the minimal deterministic area while the former one should be called «Max VM» as it attempts to stretch deterministic area to cover whole virtual machine. The proposed approach shows the advantages of lower time overhead for logging phase and easier support (because it is much easier to ensure determinism of small deterministic area). On the other side the shortcoming is larger log size mostly because deterministic area doesn’t include hard disks so all data flows from disks are being logged. It makes the self-sufficient replay log: image of the original HDD is not needed to replay the execution. The implementation has been tested on popular operating systems: Windows XP, Windows 7 and GNU/Linux 3.12. The current implementation shows 6 – 42% slowdown depending on application code that exceeds previous approach slowdown (17 – 79%).

Keywords

deterministic replay, emulator, QEMU, virtual machine

Edition

Proceedings of the Institute for System Programming, vol. 27, issue 2, 2015, pp. 65-92.

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

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

Full text of the paper in pdf (in Russian) Back to the contents of the volume