Debugging Distributed Computations in a Nest Atomic Action System
Name
MIT-LCS-TR-327.pdf
Size
4.92 MB
Format
Adobe PDF
Checksum (MD5)
c679e493b41acd0fedc5a60e928bd142
Author(s)
Chiu, Sheng Yang
Advisor(s)
Liskov, Barbara H.
Date Issued
December 1984
Series/Report no.
MIT-LCS-TR-327
Abstract
Concurrent and distributed programs are hard to debug. In this thesis, we argue that structuring activities as nested atomic actions can make debugging such programs much like debugging traditional sequential programs. To support the argument, we present a method for debugging computations in the Argus language and system. Our method is applicable to other action systems since it depends only on the atomicity properties of actions.
Persistent DSpace Link
