Advertisement

On the implementation of a replay mechanism

  • Michiel Ronsse
  • Luk Levrouw
Workshop 01 Programming Environment and Tools
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1123)

Abstract

Parallel programs can be nondeterministic: consecutive runs with the same input can result in different executions. Therefore we cannot use cyclic debugging techniques. In order to be able to use those techniques we need a tool that traces information about an execution so it can be replayed for debugging. Because the recording interferes with the program, possibly perturbating the execution, we must limit the amount of information and keep the algorithm simple. This paper presents an implementation of the ROLT replay mechanism for a multithreaded operating system (Solaris).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Lam78]
    Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558–565, July 1978.CrossRefGoogle Scholar
  2. [LAV94]
    Luk J. Levrouw, Koenraad M. Audenaert, and Jan M. Van Campenhout. A new trace and replay system for shared memory programs based on Lamport Clocks. In Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, pages 471–478. IEEE Computer Society Press, January 1994.Google Scholar
  3. [LM87]
    Thomas J. LeBlanc and John M. Mellor-Crummey. Debugging parallel programs with Instant Replay. IEEE Transactions on Computers, C-36(4):471–482, April 1987.Google Scholar
  4. [Net93]
    Robert H.B. Netzer. Optimal tracing and replay for debugging sharedmemory parallel programs. In Proceedings ACM/ONR Workshop on Parallel and Distributed Debugging, pages 1–11, May 1993.Google Scholar
  5. [RLB95]
    M.A. Ronsse, L.J. Levrouw, and K. Bastiaens. Efficient coding of execution-traces of parallel programs. In J. P. Veen, editor, Proceedings of the ProRISC/IEEE Benelux Workshop on Circuits, Systems and Signal Processing, pages 251–258. STW, Utrecht, March 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Michiel Ronsse
    • 1
  • Luk Levrouw
    • 1
  1. 1.Department of Electronics and Information SystemsUniversiteit GentGentBelgium

Personalised recommendations