Skip to main content
SpringerLink
Log in

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

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. QEMU Open Source Processor Emulator, http://wiki.qemu.org/Main_Page

  2. Altekar, G. and Stoica, I., ODR: Output-Deterministic Replay for Multicore Debugging, UC Berkley, 2009.

    Book  Google Scholar 

  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. Colp P., Dadizadeh S., Nanavati M. Deterministic Replay for Xen, Department of Computer Science. University of British Columbia. Vancouver, BC, Canada.

  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. 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. 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. NBench Benchmark Port to Linux/Unix, http://www.tux.org/mayer/linux/bmark.html

  9. Iperf—The TCP/UDP Bandwidth Measurement Tool, https://iperf.fr

Download references

Author information

Authors and Affiliations

  1. Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, Moscow, 109004, Russia

    V. Yu. Efimov, K. A. Batuzov, V. A. Padaryan & A. I. Avetisyan

  2. Moscow State University, Moscow, 119991, Russia

    V. A. Padaryan & A. I. Avetisyan

  3. Moscow Institute of Physics and Technology, Institutskii per. 9, Dolgoprudnyi, Moscow oblast, 141700, Russia

    A. I. Avetisyan

Authors
  1. V. Yu. Efimov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. K. A. Batuzov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. V. A. Padaryan
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. A. I. Avetisyan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to V. Yu. Efimov.

Additional information

Original Russian Text © V.Yu. Efimov, K.A. Batuzov, V.A. Padaryan, A.I. Avetisyan, 2016, published in Trudy Instituta Sistemnogo Programmirovaniya, Vol. 27, No. 2, 2015, p. 65–92

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Efimov, V.Y., Batuzov, K.A., Padaryan, V.A. et al. Features of the deterministic replay in the case of a minimum device set. Program Comput Soft 42, 174–186 (2016). https://doi.org/10.1134/S0361768816030038

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768816030038

Keywords

Search

Navigation