Abstract
One of the major problems with programming in a parallel/distributed environment is the difficulty in debugging the programs due to their complex interactions. One can have results that appear random, but when given a complete knowledge of the specific run-time behavior, the results are foregone. Unfortunately, this complete knowledge is not generally attainable in a distributed system. In order to develop a system for debugging distributed program and, for the more general case, ensuring their correctness at run-time, we built a distributed execution enviromnent based on Hoare's CSP [5] which allows for the execution and evaluation of embedded assertions within the CSP program.
Recommended Citation
Arrowsmith, Beth and McMillin, Bruce, "CCSP - A Formal System for Distributed Program Debugging" (1994). Computer Science Technical Reports. 162.
https://scholarsmine.mst.edu/comsci_techreports/162
Department(s)
Computer Science
Report Number
CSc-94-13
Document Type
Technical Report
Document Version
Final Version
File Type
text
Language(s)
English
Rights
© 1994 University of Missouri - Rolla, All rights reserved
Publication Date
1 June, 1994
Comments
The first Author is a Graduate Student,
This paper ·will appear in "Proceedings of the Soft.ware for Multiprocessors and Supercomputers, Theory, Practice, Experience," Moscow, Russia, September 21-23, 1994.
Supported in part by the National Science Foundation under Grant Numbers MSS-9216479 and CDA-9222827, and, in part, from the Air Force Office of Scientific Research under contract number F49620-92-J-0546 and F49620-93-1-0409, and, in part by a grant from the "University of Missouri Research Board.