Affiliation:
1. University of Utah, Salt Lake City, UT, USA
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.
Funder
National Science Foundation
Defense Advanced Research Projects Agency
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference47 articles.
1. ODR
2. Amazon Web Services Inc. Amazon EC2 -- virtual server hosting 2016. URL https://aws.amazon.com/ec2/. Amazon Web Services Inc. Amazon EC2 -- virtual server hosting 2016. URL https://aws.amazon.com/ec2/.
3. Xen and the art of virtualization
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Micro Replication;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2023-06
2. Metering Graphical Data Leakage with Snowman;Proceedings of the 25th ACM Symposium on Access Control Models and Technologies;2020-05-28
3. Sparse record and replay with controlled scheduling;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08
4. Exploring OS-based full-system deterministic replay;Proceedings of the 33rd Annual ACM Symposium on Applied Computing;2018-04-09