Title :
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
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;
Conference_Titel :
Software Engineering Conference (APSEC), 2014 21st Asia-Pacific
Print_ISBN :
978-1-4799-7425-2
DOI :
10.1109/APSEC.2014.28
