DocumentCode
1637520
Title
Poster: Symbolic Execution of MPI Programs
Author
Xianjin Fu ; Zhenbang Chen ; Hengbiao Yu ; Chun Huang ; Wei Dong ; Ji Wang
Author_Institution
State Key Lab. of High Performance Comput., Nat. Univ. of Defense Technol., Changsha, China
Volume
2
fYear
2015
Firstpage
809
Lastpage
810
Abstract
MPI is widely used in high performance computing. In this extended abstract, we report our current status of analyzing MPI programs. Our method can provide coverage of both input and non-determinism for MPI programs with mixed blocking and non-blocking operations. In addition, to improve the scalability further, a deadlock-oriented guiding method for symbolic execution is proposed. We have implemented our methods, and the preliminary experimental results are promising.
Keywords
application program interfaces; message passing; parallel processing; program diagnostics; software reliability; MPI program analysis; MPI program symbolic execution; deadlock-oriented guiding method; high performance computing; High performance computing; Message passing; Runtime; Scalability; Space exploration; Standards; System recovery; Asynchronous; Deadlock; MPI; Symbolic Execution; Synchronous;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on
Conference_Location
Florence
Type
conf
DOI
10.1109/ICSE.2015.259
Filename
7203080
Link To Document