Electrical computers and digital processing systems: processing – Processing control – Specialized instruction processing in support of testing,...
Reexamination Certificate
2008-05-22
2010-11-23
Chan, Eddie P (Department: 2183)
Electrical computers and digital processing systems: processing
Processing control
Specialized instruction processing in support of testing,...
Reexamination Certificate
active
07840787
ABSTRACT:
Methods and apparatus are provided for non-deterministic incremental program replay using checkpoints and syndrome tracking. Replay of a program proceeds by, for a given execution of the program, recording one or more checkpoints of the program, the one or more checkpoints containing program state information; and a recorded list of values for one or more identified variables executing in one or more threads of the program. Thereafter, during a replay execution of the program, the process continues by commencing execution from a particular one of the recorded checkpoints; restoring the program state information associated with the particular one of the recorded checkpoints; comparing an observed list of values to the recorded list of values for the one or more identified variables executing in each of the one or more threads; and identifying a difference between the observed list of values and the recorded list of values. A perturbation or suspend statement can optionally be introduced into the replay execution of the program.
REFERENCES:
patent: 5838975 (1998-11-01), Abramson et al.
patent: 6405216 (2002-06-01), Minnaert et al.
patent: 6405326 (2002-06-01), Azagury et al.
patent: 7243262 (2007-07-01), Mukherjee et al.
patent: 7673181 (2010-03-01), Lindo et al.
patent: 2005/0177775 (2005-08-01), Qadeer et al.
patent: 2005/0283780 (2005-12-01), Karp et al.
patent: 2008/0127200 (2008-05-01), Richards et al.
patent: 2008/0270770 (2008-10-01), Vertes et al.
patent: 0455946 (1991-11-01), None
patent: 455946 (1991-11-01), None
Carl Dionne, Marc Feeley, and Jocelyn Desbiens. A taxonomy of distributed debuggers based on execution replay. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Sunnyvale, CA, Aug. 1996.
Frank Cornelis, Andy Georges, Mark Christiaens, Michiel Ronsse, Tom Ghesquiere, and Koen De Bosschere. A taxonomy of execution replay systems. In Proceedings of International Conference on Advances in Infrastructure for Electronic Business, Education, Science, Medicine, and Mobile Technologies on the Internet, 2003.
Ronsse, M.A., De Bosschere, K., Chassin de Kergommeaux, J., “Execution Replay and Debugging”, Proc. AADEBUG, 2000.
“Timestamps for programs using messages and shared variables”; Bechini, A. Tai, K.-C. ; This paper appears in: Distributed Computing Systems, 1998. Proceedings. 18th International Conference on Publication Date: May 26-29, 1998 on pp. 266-273.
Robert H. B. Netzer, “Optimal tracing and replay for debugging message-passing parallel programs” Journal of Supercomputing, 8, 371-388 (1995).
A debugging tool for software evolution, Abramson, D. Sosic, R. , This paper appears in: Computer-Aided Software Engineering, 1995. Proceedings., Seventh International Workshop on Publication Date: Jul. 10-14, 1995 on pp. 206-214.
Michiel Ronsse and Koen De Bosschere. Non-Intrusive On-the-Fly Data Race Detection Using Execution Replay. In Fourth International Workshop on Automated Debugging, pp. 148-163, Aug. 2000.
Adaptive message logging for incremental program replay, Netzer, R.H.B. Jian Xu , This paper appears in: Parallel & Distributed Technology: Systems & Applications, IEEE [see also IEEE Concurrency] Publication Date: Nov. 1993 vol. 1, Issue: 4.
Bil Lewis, “Debugging Backwards in Time,” Proceedings of the Fifth International Workshop on Automated Debugging (AADE-BUG 2003, Ghent Computer Research Repository (Sep. 2003).
Pan et al., “Supporting Reverse Execution of Parallel Programs,” Workshop on Parallel & Distributed Debugging, Proceedings of the 1988 ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, Madison, WI, pp. 124-129(1989).
Dionne et al., A Taxonomy of Distributed Debuggers based on Execution Replay. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Sunnyvale, CA, Aug. 1996.
Cornelis et al., A Taxonomy of Execution Replay Systems. In Proceedings of International Conference on Advances in Infrastructure for Electronic Business, Education, Science, Medicine, and Mobile Technologies on the Internet, 2003.
Ronsse et al., Execution Replay and Debugging, Proc. AADEBUG, 2000.
Benchini et al., Timestamps for Programs Using Messages and Shared Variables, this paper appears in: Distributed Computing Systems, 1998. Proceedings. 18th International Conference on Publication Date: May 26-29, 1998, on pp. 266-273.
Netzer et al., Optimal Tracing and Replay for Debugging Shared Memory Parallel Programs, Proc. of ACM/ONR Workshop on Parallel and Distributed Debugging, Sigplan Notices 28(12), pp. 111, Dec. 1993.
Abramson et al., A Debugging Tool for Software Evolution, this paper appears in: Computer-Aided Software Engineering, 1995. Proceedings., Seventh International Workshop on Publication Date: Jul. 10-14, 1995, on pp. 206-214.
Ronsse et al., Non-Intrusive On-the-Fly Data Race Detection Using Execution Replay. In Fourth International Workshop on Automated Debugging, pp. 148-163, Aug. 2000.
Jian Xu, Adaptive Message Logging for Incremental Program Replay, Netzer, R.H.B., This paper appears in: Parallel & Distributed Technology: Systems & Applications, IEEE [see also IEEE Concurrency] Publication Date: Nov. 1993, vol. 1, Issue: 4.
De Pauw Wim
Pazel Donald P.
Chan Eddie P
International Business Machines - Corporation
Ryan & Mason & Lewis, LLP
Vicary Keith
LandOfFree
Method and apparatus for non-deterministic incremental... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for non-deterministic incremental..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for non-deterministic incremental... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4211841