Debugging Distributed Computations in a Nested Atomic Action System.
Abstract
Concurrent and distributed programs are hard to debug. This thesis agues that structuring activities as nested atomic actions can make debugging such programs much like debugging traditional sequential programs. To support the argument, the author presents a method for debugging computations in the Argus language and system. Her method is applicable to other action systems since it depends only on the atomicity properties of actions. To debug a computation in our method, the user inspects a serial execution that is equivalent to the original computation. The debugging process involves two phases. In the first phase, the user examines pre- and post- states of actions to isolate the action that exposes the bug. In the second phase, the debugging system re-executes code to reproduce the details of the culprit action. The user can repeat this re-execution and can use standard break-and-examine tools on it to isolate the bug. This debugging system supports the method by saving a partial history when an action runs. This history consists mainly of recovery versions of objects. The system also timestamps the termination of actions so it can determine from the saved versions the values of objects in an action's pre- and post- states. The debugging system itself uses pre-states to repeat actions. This thesis presents the first detailed design that ues recovery versions and timestamps for debugging. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1984
- Accession Number
- ADA153617
Entities
People
- S. Y. Chiu
Organizations
- Massachusetts Institute of Technology