Static Analysis Techniques for Fixing Software Defects in MPI-Based Parallel Programs  

作　　者：Norah Abdullah Al-Johany Sanaa Abdullah Sharaf Fathy Elbouraey Eassa Reem Abdulaziz Alnanih 

机构地区：[1]Department of Computer Science,Faculty of Computing and Information Technology,King Abdulaziz University,Jeddah,21589,Saudi Arabia [2]Software Engineering and Distributed System Research Group,King Abdulaziz University,Jeddah,21589,Saudi Arabia

出　　处：《Computers, Materials & Continua》2024年第5期3139-3173,共35页计算机、材料和连续体（英文）

基　　金：the Deanship of Scientific Research at King Abdulaziz University,Jeddah,Saudi Arabia under the Grant No.RG-12-611-43.

摘　　要：The Message Passing Interface (MPI) is a widely accepted standard for parallel computing on distributed memorysystems.However, MPI implementations can contain defects that impact the reliability and performance of parallelapplications. Detecting and correcting these defects is crucial, yet there is a lack of published models specificallydesigned for correctingMPI defects. To address this, we propose a model for detecting and correcting MPI defects(DC_MPI), which aims to detect and correct defects in various types of MPI communication, including blockingpoint-to-point (BPTP), nonblocking point-to-point (NBPTP), and collective communication (CC). The defectsaddressed by the DC_MPI model include illegal MPI calls, deadlocks (DL), race conditions (RC), and messagemismatches (MM). To assess the effectiveness of the DC_MPI model, we performed experiments on a datasetconsisting of 40 MPI codes. The results indicate that the model achieved a detection rate of 37 out of 40 codes,resulting in an overall detection accuracy of 92.5%. Additionally, the execution duration of the DC_MPI modelranged from 0.81 to 1.36 s. These findings show that the DC_MPI model is useful in detecting and correctingdefects in MPI implementations, thereby enhancing the reliability and performance of parallel applications. TheDC_MPImodel fills an important research gap and provides a valuable tool for improving the quality ofMPI-basedparallel computing systems.

关 键 词：High-performance computing parallel computing software engineering software defect message passing interface DEADLOCK 

分 类 号：TP311.53[自动化与计算机技术—计算机软件与理论]