Features of the deterministic replay in the case of a minimum device set
- Authors: Efimov V.Y.1, Batuzov K.A.1, Padaryan V.A.1,2, Avetisyan A.I.1,2,3
-
Affiliations:
- Institute for System Programming
- Moscow State University
- Moscow Institute of Physics and Technology
- Issue: Vol 42, No 3 (2016)
- Pages: 174-186
- Section: Article
- URL: https://journals.rcsi.science/0361-7688/article/view/176433
- DOI: https://doi.org/10.1134/S0361768816030038
- ID: 176433
Cite item
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.
About the authors
V. Yu. Efimov
Institute for System Programming
Author for correspondence.
Email: real@ispras.ru
Russian Federation, ul. Solzhenitsyna 25, Moscow, 109004
K. A. Batuzov
Institute for System Programming
Email: real@ispras.ru
Russian Federation, ul. Solzhenitsyna 25, Moscow, 109004
V. A. Padaryan
Institute for System Programming; Moscow State University
Email: real@ispras.ru
Russian Federation, ul. Solzhenitsyna 25, Moscow, 109004; Moscow, 119991
A. I. Avetisyan
Institute for System Programming; Moscow State University; Moscow Institute of Physics and Technology
Email: real@ispras.ru
Russian Federation, ul. Solzhenitsyna 25, Moscow, 109004; Moscow, 119991; Institutskii per. 9, Dolgoprudnyi, Moscow oblast, 141700