loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96)
Analyzing Nondeterminacy of Message Passing Programs
Beijing, CHINA
June 12-June 14
ISBN: 0-8186-7460-1
ASCII Text
x 
 
Xiong Jianxin, Wang Dingxing, "Analyzing Nondeterminacy of Message Passing Programs," Parallel Architectures, Algorithms, and Networks, International Symposium on, pp. 547, 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), 1996.
 
 
BibTex
x
 
@article{ 10.1109/ISPAN.1996.509039,
author = {Xiong Jianxin and Wang Dingxing},
title = {Analyzing Nondeterminacy of Message Passing Programs},
journal ={Parallel Architectures, Algorithms, and Networks, International Symposium on},
volume = {0},
year = {1996},
issn = {1087-4089},
pages = {547},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISPAN.1996.509039},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel Architectures, Algorithms, and Networks, International Symposium on
TI - Analyzing Nondeterminacy of Message Passing Programs
SN - 1087-4089
SP
EP
A1 - Xiong Jianxin,
A1 - Wang Dingxing,
PY - 1996
KW - Parallel debugging
KW - trace analysis
KW - message passing
VL - 0
JA - Parallel Architectures, Algorithms, and Networks, International Symposium on
ER -
 
Xiong Jianxin, Tsinghua University
Wang Dingxing, Tsinghua University
Nondeterminacy is an important issue of testing and debugging parallel programs. For a message passing program the inter-process communication is the main cause of nondeterminacy. From a event-based view, the execution of a message passing parallel program can be modeled as a partially ordered set of events. The nondeterminacy is reflected in the partially ordered set. In this paper, we present a method to analyze the message wise nondeterminacy of a message passing program based on the execution trace which preserves the partial order relations.
Index Terms:
Parallel debugging, trace analysis, message passing
Citation:
Xiong Jianxin, Wang Dingxing, "Analyzing Nondeterminacy of Message Passing Programs," ispan, pp.547, 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), 1996
Usage of this product signifies your acceptance of the Terms of Use.