Abstractions for Practical Virtual Machine Replay
Abstract
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.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Mar 25, 2016
- Source ID
- 10.1145/3007611.2892257
Entities
People
- Anton Burtsev
- David M Johnson
- Eric Eide
- John Regehr
- Mike Hibler
Organizations
- Defense Advanced Research Projects Agency
- National Science Foundation
- University of Utah