Instruction-level reverse execution for debugging

ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 2002, Pages 18-25

  Akgul, Tankut ^a   Mooney III, Vincent J ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Debugging; Reverse code generation; Reverse execution

Indexed keywords

BENCHMARKING; CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; PERSONAL COMPUTERS;

REVERSE EXECUTION;

PROGRAM DEBUGGING;

EID: 0037967662     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/586098.586101     Document Type: Conference Paper

References (10)

1. H. Agrawal and J. Horgan. Dynamic program slicing. SIGPLAN Notices, 25(6):246-256, June 1990.
2. T. Akgul and V. J. Mooney. Instruction-level reverse execution for debugging. Technical Report GIT-CC-02-49, Georgia Institute of Technology, September 2002.
3. S. Bellenot. State skipping performance with the time warp operating system. In Proceedings of the Sixth, Workshop on Parallel and Distributed Simulation, pages 53-64, 1992.
4. M. R. Birch et al. Dynalab: A dynamic computer science laboratory infrastructure featuring program animation. A CM SIGCSE Bulletin, 27(1):29-33, March 1995.
5. C. Carothers, K. Perumalla, and R. Fujimoto. Efficient optimistic parallel simulations using reverse computation. ACM Transactions on Modeling and Computer Simulation, 9(3), July 1999.
6. P. Crescenzi, C. Demetrescu, I. Finocchi, and R. Petreschi. Reversible execution and visualization of programs with leonardo. Journal of Visual Languages and Computing (JVLC), 11(2):125-150, April 2000.
7. Y.-B. Lin, B. R. Preiss, W. M. Loucks, and E. D. Lazowska. Selecting the checkpoint interval in time warp simulation. In Proceedings of the Seventh Workshop on Parallel and Distributed Simulation, pages 3-10, 1993.
8. MPC860 Users Manual. Motorola Inc., 1998. http://e-www.motorola.com/brdata/PDFDB/docs/MPC860UM.pdf
9. S. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco, CA, 1997.
10. D. West and K. S. Panesar. Automatic incremental state saving. In Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, pages 78-85, 1996.