Message based event specification for debugging nondeterministic parallel programs [electronic resource].
- Published
- Washington, D.C. : United States. Dept. of Energy, 1995.
Oak Ridge, Tenn. : Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy. - Physical Description
- 16 pages : digital, PDF file
- Additional Creators
- Los Alamos National Laboratory, United States. Department of Energy, and United States. Department of Energy. Office of Scientific and Technical Information
Access Online
- Restrictions on Access
- Free-to-read Unrestricted online access
- Summary
- 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).
- Report Numbers
- E 1.99:la-ur--95-433
E 1.99: conf-950863--1
conf-950863--1
la-ur--95-433 - Subject(s)
- Other Subject(s)
- Note
- Published through SciTech Connect.
02/01/1995.
"la-ur--95-433"
" conf-950863--1"
"DE95006169"
4. IEEE international symposium on high performance distributed computing, Pentagon City, VA (United States), 1-4 Aug 1995.
Damohdaran-Kamal, S.K.; Francioni, J.M. - Funding Information
- W-7405-ENG-36
View MARC record | catkey: 14350353