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
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;
Conference_Titel :
Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on
Conference_Location :
Florence
DOI :
10.1109/ICSE.2015.259
