Execution replay for multiprocessor virtual machines

VEE'08 - Proceedings of the 4th International Conference on Virtual Execution Environments

Volumn , Issue , 2008, Pages 121-130

  Dunlap, George W ^a   Lucchetti, Dominic G ^a   Fetterman, Michael A ^b   Chen, Peter M ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Determinism; Direct memory access; Execution replay; Hardware page protections; Multiprocessors; Multithreading; ReVirt; Virtual machines; Xen

Indexed keywords

COMMODITY HARDWARE; DIRECT MEMORY ACCESS; EXECUTION REPLAY; MULTI-THREADING; MULTICORE ARCHITECTURES; OPERATING SYSTEMS; SINGLE PROCESSORS; VIRTUAL MACHINES;

COMPUTER OPERATING SYSTEMS; FAULT TOLERANCE; QUALITY ASSURANCE; SHAPE MEMORY EFFECT;

MULTIPROCESSING SYSTEMS;

EID: 77952406152     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1346256.1346273     Document Type: Conference Paper

References (19)

1. D. F. Bacon and S. C. Goldstein. Hardware-Assisted Replay of Multiprocessor Programs. In Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, May 1991.
2. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the Art of Virtualization. In Proceedings of the 2003 Symposium on Operating Systems Principles, October 2003.
3. T. C. Bressoud and F. B. Schneider. Hypervisor-Based Fault-Tolerance. In Proceedings of the 1995 Symposium on Operating Systems Principles, pages 1-11, December 1995.
4. T. C. Bressoud and F. B. Schneider. Hypervisor-based fault tolerance. ACM Transactions on Computer Systems, 14(1):80-107, February 1996.
5. J.-D. Choi and H. Srinivasan. Deterministic replay of Java multithreaded applications. In Proceedings of the 1998 SIGMETRICS Symposium on Parallel and distributed tools (SPDT), August 1998.
6. G. W. Dunlap, S. T. King, S. Cinar, M. Basrai, and P. M. Chen. ReVirt: Enabling Intrusion Analysis through Virtual-Machine Logging and Replay. In Proceedings of the 2002 Symposium on Operating Systems Design and Implementation, pages 211-224, December 2002.
7. E. N. Elnozahy, L. Alvisi, Y.-M. Wang, and D. B. Johnson. A survey of rollback-recovery protocols in message-passing systems. ACM Computing Surveys, 34(3):375-408, September 2002.
8. S. T. King, G. W. Dunlap, and P. M. Chen. Debugging operating systems with time-traveling virtual machines. Technical Report CSE-TR-495-504, University of Michigan, August 2004.
9. T. J. LeBlanc and J. M. Mellor-Crummey. Debugging Parallel Programs with Instant Replay. IEEE Transactions on Computers, pages 471-482, April 1987.
10. S. Mullender, editor. Distributed Systems. Addison-Wesley, 1993. Chapter 6.
11. J. Napper, L. Alvisi, and H. Vin. A Fault-Tolerant Java Virtual Machine. In Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN), June 2003.
12. S. Narayanasamy, G. Pokam, and B. Calder. Bugnet: Continuously recording program execution for deterministic replay debugging. In Proceedings of the 32nd Internationals Symposium on Computer Architecture (ISCA), June 2005.
13. R. H. B. Netzer and J. Xu. Adaptive Message Logging for Incremental Program Replay. IEEE Parallel and Distributed Technology, pages 32-39, November 1993.
14. M. Russinovich and B. Cogswell. Operating System Support for Replay of Concurrent Non-Deterministic Shared Memory Applications. IEEE Computer Society Bulletin of the Technical Commitee on Operating Systems and Application Environments (TCOS), 7(4), January 1995.
15. M. W. Shapiro. RDB: A System for Incremental Replay Debugging. Technical Report CS-97-112, Brown University, July 1997.
16. S. C. Woo, M. Ohara, E. Torrie, J. P. Singh, and A. Gupta. The splash2 programs: characterization and methodological considerations. In ISCA '95: Proceedings of the 22nd annual international symposium on Computer architecture, pages 24-36, New York, NY, USA, 1995. ACM Press.
17. M. Xu, R. Bodik, and M. D. Hill. A "Flight Data Recorder" for Enabling Full-system Multiprocessor Deterministic Replay. In Proceedings of the 2003 International Symposium on Computer Architecture, June 2003.
18. M. Xu, R. Bodik, and M. D. Hill. A Regulated Transitive Reduction (RTR) for Longer Memory Race Recording. In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), October 2006.
19. M. Xu, V. Malyugin, J. Sheldon, G. Venkitachalam, and B. Weissman. Retrace: Collecting execution trace with virtual machine deterministic replay. In Proceedings of the 3rd Annual Workshop on Modeling, Benchmarking and Simulation, MoBS, San Diego, CA, June, volume 3, pages 4-12, 2007.