Message based event specification for debugging nondeterministic parallel programs
- Los Alamos National Lab., NM (United States)
- University of Southwestern Louisiana, Lafayette, LA (United States)
Portability and reliability of parallel programs can be severely impaired by their nondeterministic behavior. Therefore, an effective means to precisely and accurately specify unacceptable nondeterministic behavior is necessary for testing and debugging parallel programs. In this paper we describe a class of expressions, called Message Expressions that can be used to specify nondeterministic behavior of message passing parallel programs. Specification of program behavior with Message Expressions is easier than pattern based specification techniques in that the former does not require knowledge of run-time event order, whereas that later depends on the user`s knowledge of the run-time event order for correct specification. We also discuss our adaptation of Message Expressions for use in a dynamic distributed testing and debugging tool, called mdb, for programs written for PVM (Parallel Virtual Machine).
- Research Organization:
- Los Alamos National Lab. (LANL), Los Alamos, NM (United States)
- Sponsoring Organization:
- USDOE, Washington, DC (United States)
- DOE Contract Number:
- W-7405-ENG-36
- OSTI ID:
- 62628
- Report Number(s):
- LA-UR-95-433; CONF-950863-1; ON: DE95006169
- Resource Relation:
- Conference: 4. IEEE international symposium on high performance distributed computing, Pentagon City, VA (United States), 1-4 Aug 1995; Other Information: PBD: [1995]
- Country of Publication:
- United States
- Language:
- English
Similar Records
Extensible message passing application development and debugging with Python
The PVM 3.4 tracing facility and XPVM 1.1