ReVirt
Top Cited Papers
- 31 December 2002
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGOPS Operating Systems Review
- Vol. 36 (SI) , 211-224
- https://doi.org/10.1145/844128.844148
Abstract
Current system loggers have two problems: they depend on the integrity of the operating system being logged, and they do not save sufficient information to replay and analyze attacks that include any non-deterministic events. ReVirt removes the dependency on the target operating system by moving it into a virtual machine and logging below the virtual machine. This allows ReVirt to replay the system's execution before, during, and after an intruder compromises the system, even if the intruder replaces the target operating system. ReVirt logs enough information to replay a long-term execution of the virtual machine instruction-by-instruction. This enables it to provide arbitrarily detailed observations about what transpired on the system, even in the presence of non-deterministic attacks and executions. ReVirt adds reasonable time and space overhead. Overheads due to virtualization are imperceptible for interactive use and CPU-bound workloads, and 13--58% for kernel-intensive workloads. Logging adds 0--8% overhead, and logging traffic for our workloads can be stored on a single disk for several months.Keywords
This publication has 10 references indexed in Scilit:
- A survey of rollback-recovery protocols in message-passing systemsACM Computing Surveys, 2002
- Cellular discoACM Transactions on Computer Systems, 2000
- Replay for concurrent non-deterministic shared-memory applicationsPublished by Association for Computing Machinery (ACM) ,1996
- Hypervisor-based fault toleranceACM Transactions on Computer Systems, 1996
- Complete computer system simulation: the SimOS approachIEEE Parallel & Distributed Technology: Systems & Applications, 1995
- Optimal tracing and incremental reexecution for debugging long-running programsPublished by Association for Computing Machinery (ACM) ,1994
- A retrospective on the VAX VMM security kernelIEEE Transactions on Software Engineering, 1991
- Debugging Parallel Programs with Instant ReplayIEEE Transactions on Computers, 1987
- Survey of virtual machine researchComputer, 1974
- Virtual machine or virtual operating system?Published by Association for Computing Machinery (ACM) ,1973