Abstractions for Practical Virtual Machine Replay

作者:Burtsev Anton; Johnson David; Hibler Mike; Eide Eric; Regehr John
来源:ACM Sigplan Notices, 2016, 51(7): 93-106.
DOI:10.1145/2892242.2892257

摘要

Efficient deterministic replay of whole operating systems is feasible and useful, so why isn't replay a default part of the software stack? While implementing deterministic replay is hard, we argue that the main reason is the lack of general abstractions for understanding and addressing the significant engineering challenges involved in the development of a replay engine for a modern VMM. We present a design blueprint-a set of abstractions, general principles, and low-level implementation details-for efficient deterministic replay in a modern hypervisor. We build and evaluate our architecture in Xen, a full-featured hypervisor. Our architecture can be readily followed and adopted, enabling replay as a ubiquitous part of a modern virtualization stack.

  • 出版日期2016-7

全文