Programming and Computer Software

, Volume 42, Issue 3, pp 174–186 | Cite as

Features of the deterministic replay in the case of a minimum device set

  • V. Yu. EfimovEmail author
  • K. A. Batuzov
  • V. A. Padaryan
  • A. I. Avetisyan


A technology of the deterministic replay of an execution process in virtual machines can be used for debugging, improving reliability and robustness, software development and incident investigation (including reverse engineering of malware). The paper describes an implementation of deterministic replay for guest machines based on IA-32 in the emulator QEMU. This implementation minimizes the list of replayed devices. The organization of QEMU is discussed in detail, and the techniques used in the implementation are thoroughly explained. The key performance characteristics, such as the size of log of nondeterministic events and slowdown are experimentally measured.


Virtual Machine Direct Memory Access Program Counter Host Machine Translation Block 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    QEMU Open Source Processor Emulator, Scholar
  2. 2.
    Altekar, G. and Stoica, I., ODR: Output-Deterministic Replay for Multicore Debugging, UC Berkley, 2009.CrossRefGoogle Scholar
  3. 3.
    Tikhonov, A.Yu. and Avetisyan, A.I., The Development of Taint Analysis for Detecting of Trojans, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2011, vol. 20, pp. 9–24.Google Scholar
  4. 4.
    Colp P., Dadizadeh S., Nanavati M. Deterministic Replay for Xen, Department of Computer Science. University of British Columbia. Vancouver, BC, Canada.Google Scholar
  5. 5.
    Xu, M., Malyugin, V., Sheldon, J., Venkitachalam, G., and Weissman, B., Retrace: Collecting Execution Trace with Virtual Machine Deterministic Replay, Workshop on Modeling, Benchmarking and Simulation (MoBS), 2007.Google Scholar
  6. 6.
    Batuzov, K., Dovgalyuk, P., Koshelev, V., and Padaryan, V., Two Techniques for the Organization of the Full-System Deterministic Replay Mechanism in QEMU, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2012, vol. 22, pp. 77–94.Google Scholar
  7. 7.
    Dovgalyuk, P., Deterministic Replay of the Process of Running a Program on a Virtual Machine, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2011, vol. 21, pp. 123–132.Google Scholar
  8. 8.
    NBench Benchmark Port to Linux/Unix, Scholar
  9. 9.
    Iperf—The TCP/UDP Bandwidth Measurement Tool, https://iperf.frGoogle Scholar

Copyright information

© Pleiades Publishing, Ltd. 2016

Authors and Affiliations

  • V. Yu. Efimov
    • 1
    Email author
  • K. A. Batuzov
    • 1
  • V. A. Padaryan
    • 1
    • 2
  • A. I. Avetisyan
    • 1
    • 2
    • 3
  1. 1.Institute for System ProgrammingRussian Academy of SciencesMoscowRussia
  2. 2.Moscow State UniversityMoscowRussia
  3. 3.Moscow Institute of Physics and TechnologyDolgoprudnyi, Moscow oblastRussia

Personalised recommendations