Abstract
One major problem with programming in a parallel/distributed environment is the difficulty in debugging the programs owing to the complex interactions of their component processes. Complete knowledge of the program's state is not generally attainable in a distributed system. This paper presents a distributed system for debugging distributed programs that allows for the execution and evaluation of embedded assertions expressed in Hoare's CSP [6]. We show examples of the use of this system, prove its correctness, and describe how the system can be used for the more general case of ensuring an application's correctness at run-time.
Recommended Citation
Lutfiyya, Hanan; McMillin, Bruce; Arrowsmith, Beth; and Serban, Cristina, "CCSP - A Formal System for Distributed Program Debugging" (1994). Computer Science Technical Reports. 179.
https://scholarsmine.mst.edu/comsci_techreports/179
Department(s)
Computer Science
Keywords and Phrases
Parallel Programming, Distributed Programming, Formal Methods, Run-Time Satisfaction, Executable Assertions, Debugging
Report Number
CSc-94-30
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 December, 1994
Comments
The first, third and fourth Authors are Graduate Students.
Supported in part by the National Sciences and Engineering Research Council of Canada (NSERC).
Supported in part by the National Science Foundation under Grant Number MSS-9216479 and, in part, from the Air Force Office of Scientific Research under contract number F49620-92-J-0546 and F49620-93-l-0409, and, in part by a grant from the University of Missouri Research Board.