Paper Info
Title
An efficient debugging method for message-based parallel programs using static analysis information
Abstract
Guaranteeing reproducibility and minimizing probe effects are major issues in the parallel program debugging. The paper suggests a new debugging method, called the Detect and Reproduce method, for message-based parallel programs. The proposed method is designed to guarantee the reproducible behaviors of a target program and to alleviate probe effects by reducing both the number of the probes to be inserted into a program and the amount of information gathered by those probes. The proposed method achieves such effects by employing a static analysis technique to detect nondeterminacy. By detecting nondeterminacy before running the program, only a small number of probes are required to assure reproducibility. To analyze message-based programs statically, an MHB (minimal happened before) model is designed to catch the synchronization structures and algorithms have been developed to locate nondeterminacy based on the MHB model. Utilizing the analysis results, probes are inserted only into the places where nondeterminacy is likely to take place
Year
DOI
Venue
1995
10.1109/APSEC.1995.496958
APSEC
Keywords
Field
DocType
message-based parallel programs,guaranteed reproducibility,mhb minimal happened before model,algorithms,nondeterminacy detection,parallel program debugging,detect and reproduce method,message-based parallel program,parallel programming,minimal happened before model,efficient debugging method,probe effect,target program,analysis result,minimized probe effects,reproduce method,synchronization structures,new debugging method,program debugging,parallel algorithms,mhb model,static analysis information,guaranteeing reproducibility,message passing,synchronisation,system monitoring,computer science,intelligent networks,algorithm design and analysis,debugging,information analysis,static analysis
Synchronization,Computer science,Parallel algorithm,Static analysis,Real-time computing,System monitoring,Happened-before,Message passing,Debugging
Conference
ISBN
Citations 
PageRank 
0-8186-7171-8
2
0.47
References 
Authors
8
3
Name
Order
Citations
PageRank
Hyun Seop Bae1272.32
Yong Rae Kwon2103150.37
Hyeon Soo Kim37810.36