ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay¶
Dunlap, G. W., King, S. T., Cinar, S., Basrai, M. A., & Chen, P. M. (2002). ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay. 5th Symposium on Operating Systems Design and Implementation (OSDI 02), 211-224.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Mechanisms¶
- Deterministic Replay Protocol
- Its strength is that it converts an audit or a debugging session from argument into demonstration: instead of speculating about past state, you rebuild it and watch it unfold, and anyone can rerun the same replay and get the same thing.
This sourceDemonstrates that checkpointed state plus logged nondeterminism can deterministically reconstruct and re-execute a prior run.
- Its strength is that it converts an audit or a debugging session from argument into demonstration: instead of speculating about past state, you rebuild it and watch it unfold, and anyone can rerun the same replay and get the same thing.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:c74bcd64e56a · see in the full table