Devices, methods and computer program products for reverse...

Details Devices, methods and computer program products for reverse... Devices, methods and computer program products for reverse...

2005-01-28

2010-12-07

Zhen, Wei Y (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S129000, C717S130000

Reexamination Certificate

active

07849450

ABSTRACT:
Devices, methods, and software program products for reverse execution of a simulation and/or tracing a value are provided. A state of a preceding checkpoint may be restored and a simulation may be run forward. Break points or watch points may be noted and the state of the last occurring breakpoint or watch point preceding the current simulation position may be restored. If no breakpoint or watch point occurred, an earlier checkpoint may be loaded and the previous steps may be repeated.

REFERENCES:
patent: 5146460 (1992-09-01), Ackerman et al.
patent: 5548717 (1996-08-01), Wooldridge et al.
patent: 5659721 (1997-08-01), Shen et al.
patent: 5966530 (1999-10-01), Shen et al.
patent: 6161196 (2000-12-01), Tsai
patent: 6983234 (2006-01-01), Hangal et al.
patent: 7039663 (2006-05-01), Federwisch et al.
patent: 2005/0050386 (2005-03-01), Reinhardt et al.
Feynman, Richard P., Feynman Lectures on Computing, 1996 compilation of course materials for Potentialities and Limitations of Computing Machines, course given @Cal Tech from 1983-1986.
Gill, S., The Diagnosis of Mistakes in Programmes on the EDSAC, 1951, Proceedings of the Royal Society of London,vol. 206A, pp. 538-554.
Zelkowitz, M.V., Reversible Execution, Communications of the ACM vol. 16, No. 9, Sep. 1973, pp. 566.
Teitelbaum, Tim, et al., The Cornell Program Synthesizer: A Syntax-Directed Programming Environment, Communications of the ACM, Sep. 1981, pp. 563-573.
Archer, James E., et al., User Recovery and Reversal in Interactive Systems, ACM Transactions on Programming Languages and Systems, vol. 6, No. 1, Jan. 1984, pp. 1-19.
Akgul, Tankut et al., Assembly Instruction Level Reverse Execution for Debugging, ACM Transactions on Software Engineering and Methodology, vol. 13, Issue 2, Apr. 2004, pp. 149-198.
Feldman, Stuart I. Feldman et al., IGOR: A System for Program Debugging via Reversible Execution, Proceedings of the 1988 ACM SIGPLAN/SIGOPS Workshop, Nov. 1988, pp. 112-123.
Pan, Douglas Z., et al., Supporting Reverse Execution of Parallel Programs, Proceedings of the 1988 ACM SIGPLAN and SIGOPS Workshop, pp. 124-129.
King, Samuel T., et al., Debugging Operating Systems With Time-Traveling Virtual Machines, University of Michigan CSE-TR-495-04, Aug. 2004, pp. 1-14.
Xu, Min et al., A “Flight Data Recorder” for Enabling Full-system Multiprocessor Deterministic Replay, Computer Sciences Dept. & ECE Dept., Univ. of Wisconsin-Madison, Jun. 2003.
Using Simics in Research & Development, A collection of potential uses for Simics in research and development of advanced digital computer systems, Virtutech White Paper, Oct. 17, 2002.
Introduction to Simics Full-System Simulator Without Equal, Virtutech White Paper, Jul. 8, 2002.
Smith, James E., et al., “Virtual Machines, Versatile Platforms for Systems and Processes,” Elsevier, Inc., 2005.

Affiliated with

Also associated with

Rating

Devices, methods and computer program products for reverse... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Devices, methods and computer program products for reverse..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Devices, methods and computer program products for reverse... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4188118