Synchronization Error Detection of MPI Programs by Symbolic Execution

Author

Xianjin Fu ; Zhenbang Chen ; Chun Huang ; Wei Dong ; Ji Wang

Author_Institution

Sci. & Technol. on Parallel & Distrib. Process. Lab., Nat. Univ. of Defense Technol., Changsha, China

Volume

1

fYear

2014

Firstpage

127

Lastpage

134

Abstract

Asynchrony based overlapping of computation and communication is commonly used in MPI applications. However, this overlapping introduces synchronization errors frequently in asynchronous MPI programming. In this paper, we propose a symbolic execution based method for detecting input-related synchronization errors. The path space of an MPI program is systematically explored, and the related operations of the synchronization errors in the program are checked specifically. In addition, two optimizations are proposed to improve the efficiency. We have implemented our method as a prototype tool based on the symbolic executor Cloud9. The results of the extensive experiments indicate the effectiveness of our method.

Keywords

application program interfaces; message passing; programming; symbol manipulation; Cloud9; asynchronous MPI programming; asynchrony based overlapping; communication; computation; input-related synchronization error detection; message passing interface; prototype tool; symbolic execution; Buffer storage; Data communication; Libraries; Optimization; Prototypes; Schedules; Synchronization; MPI; Symbolic Execution; Synchronization Error;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference (APSEC), 2014 21st Asia-Pacific

ISSN

1530-1362

Print_ISBN

978-1-4799-7425-2

Type

conf

DOI

10.1109/APSEC.2014.28

Filename

7091301