Record/replay for nondeterministic program executions

Communications of the ACM

Volumn 46, Issue 9, 2003, Pages 62-67

  Ronsse, Michiel ^a   De Bosschere, Koen ^a   Christiaens, Mark ^a   De Kergommeaux, Jacques Chassin ^b   Kranzlmüller, Dieter ^c  

^a GHENT UNIVERSITY   (Belgium)

^b GRENOBLE INSTITUTE OF TECHNOLOGY   (France)

^c JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; COMPUTER APPLICATIONS; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; GRAPHICAL USER INTERFACES; INFORMATION ANALYSIS; PERSONNEL; PROBABILITY; PROGRAM DEBUGGING;

NONDETERMINISTIC PROGRAMS; PROFILING; PROGRAMMERS;

SOFTWARE ENGINEERING;

EID: 4243164377     PISSN: 00010782     EISSN: None     Source Type: Journal    
DOI: 10.1145/903893.903895     Document Type: Review

References (7)

1. Gait, J. A probe effect in concurrent programs. Software - Practice and Experience 16, 3 (Mar. 1986), 225-23.
2. Lamport, L. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (July 1978), 558-565.
3. LeBlanc, T.J. and Mellor-Crummey, J.M. Debugging parallel programs with instant replay. IEEE Transactions on Computers C-36, 4 (Apr. 1987), 471-482.
4. Mellor-Crummey, J.M. and LeBlanc, T.J. A software instruction counter. In Proceedings of the Third International Conference on Architectural Support for Programming Languages and Operating Systems (Boston, MA, Apr. 1989), 78-86.
5. Netzer, R. and Miller, B. Optimal tracing and replay for debugging message-passing parallel programs. In Proceedings of Supercomputing'92 (Nov. 1992), 502-51.
6. Netzer, R. and Miller, B. What are race conditions? Some issues and formalizations. ACM Letters on Programming Languages and Systems (Mar. 1992).
7. Ronsse, M. and De Bosschere, K. RecPlay: A fully integrated practical record/replay system. ACM Transactions on Computer Systems 17, 2 (May 1999), 133-152.