Capo: A software-hardware interface for practical deterministic multiprocessor replay

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Volumn , Issue , 2009, Pages 73-84

  Montesinos, Pablo ^a   Hicks, Matthew ^a   King, Samuel T ^a   Torrellas, Josep ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Capo; CapoOne; Deterministic replay; Replay sphere

Indexed keywords

ABSTRACTING; COMPUTER OPERATING SYSTEMS; MULTIPROCESSING SYSTEMS;

CAPO; CAPOONE; DETERMINISTIC REPLAY; HARDWARE AND SOFTWARE COMPONENTS; HARDWARE INTERFACES; HARDWARE-ASSISTED; MULTI PROCESSOR SYSTEMS; PROCESSOR EXECUTION;

HARDWARE;

EID: 67650081259     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1508244.1508254     Document Type: Conference Paper

References (27)

1. H. Agrawal, R. A. DeMillo, and E. H. Spafford, "An Execution-Backtracking Approach to Debugging," IEEE Software, vol.8, May 1991. (Pubitemid 21662677)
2. B. Boothe, "Efficient Algorithms for Bidirectional Debugging," in PLDI, June 2000. (Pubitemid 32394103)
3. T. C. Bressoud and F. B. Schneider, "Hypervisor-Based Fault- Tolerance," in SOSP, Dec. 1995.
4. L. Ceze, J. M. Tuck, P. Montesinos, and J. Torrellas, "BulkSC: Bulk Enforcement of Sequential Consistency," in ISCA, June 2007. (Pubitemid 47582110)
5. S.-K. Chen, W. K. Fuchs, and J.-Y. Chung, "Reversible Debugging Using Program Instrumentation," IEEE Transactions on Software Engineering, vol.27, August 2001.
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 OSDI, Dec. 2002.
7. G. W. Dunlap, D. G. Lucchetti, M. A. Fetterman, and P. M. Chen, "Execution Replay of Multiprocessor Virtual Machines," in VEE, Mar. 2008.
8. S. I. Feldman and C. B. Brown, "IGOR: A System for Program Debugging Via Reversible Execution," in PADD, Nov. 1988.
9. A. Forin, "Debugging of Heterogeneous Parallel Systems," in PADD, May 1988.
10. D. Hitz, J. Lau, and M. Malcolm, "File System Design for an NFS File Server Appliance," in USENIX Technical Conference, Jan. 1994.
11. D. R. Hower and M. D. Hill, "Rerun: Exploiting Episodes for Lightweight Memory Race Recording," in ISCA, June 2008.
12. J. Choi and H. Srinivasan, "Deterministic Replay of Java Multithreaded Applications," in SPDT, Aug. 1998.
13. A. Joshi, S. T. King, G. W. Dunlap, and P. M. Chen, "Detecting Past and Present Intrusions Through Vulnerability- Specific Predicates," in SOSP, Oct. 2005. (Pubitemid 44892207)
14. S. T. King and P. M. Chen, "Backtracking Intrusions," in SOSP, Oct. 2003. (Pubitemid 40929699)
15. S. T. King, G. W. Dunlap, and P. M. Chen, "Debugging Operating Systems with Time-Traveling Virtual Machines," in USENIX Technical Conference, April 2005.
16. T. J. LeBlanc and J. M. Mellor-Crummey, "Debugging Parallel Programs with Instant Replay," IEEE Transactions on Computers, vol.36, April 1987.
17. P. Montesinos, L. Ceze, and J. Torrellas, "DeLorean: Recording and Deterministically Replaying Shared-Memory Multiprocessor Execution Efficiently," in ISCA, June 2008.
18. S. Narayanasamy, C. Pereira, and B. Calder, "Recording Shared Memory Dependencies Using Strata," in ASPLOS, Oct. 2006. (Pubitemid 47168403)
19. S. Narayanasamy, G. Pokam, and B. Calder, "BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging," in ISCA, June 2005. (Pubitemid 41543448)
20. R. H. B. Netzer, "Optimal Tracing and Replay for Debugging Shared-Memory Parallel Programs," in PADD, May 1993.
21. D. Z. Pan and M. A. Linton, "Supporting Reverse Execution for Parallel Programs," in PADD, Jan. 1988.
22. M. Russinovich and B. Cogswell, "Replay for Concurrent Non-Deterministic Shared-Memory Applications," in PLDI, May 1996. (Pubitemid 126669344)
23. D. S. Santry, M. J. Feeley, N. C. Hutchinson, A. C. Veitch, R. W. Carton, and J. Ofir, "Deciding When to Forget in the Elephant File System," in SOSP, Dec. 1999. (Pubitemid 129548351)
24. S. Srinivasan, S. Kandula, C. Andrews, and Y. Zhou, "Flashback: A Lightweight Extension for Rollback and Deterministic Replay for Software Debugging," in USENIX Technical Conference, 2004.
25. M. Xu, R. Bodik, and M. D. Hill, "A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay," in ISCA, June 2003.
26. M. Xu, R. Bodik, and M. D. Hill, "A Regulated Transitive Reduction (RTR) for Longer Memory Race Recording," in ASPLOS, Oct. 2006. (Pubitemid 47168389)
27. M. V. Zelkowitz, "Reversible Execution," Communications of the ACM, vol. 16, Sept. 1973.