Deadlock Detection Methodologies in Message Passing Interfaces


  • Rana Abdul Razaq Alnemari, Dr. Mai Fadel


Message passing interface (MPI) is the de-facto standard for programming high performance computing applications and it is ready for scaling to extreme scale system with millions of nodes and billions of cores with this huge number of components MPI will be error prone. Many types of errors can occur with MPI implementation such as deadlock and message condition. Testing and model checking have important value which is to find errors in programs. Further, if no errors are to be found these techniques will increase the confidence that the program is correct. Testing tools can assist application developers in the detection of such errors. The paper presents representative methodologies for detecting errors in MPI programs using static and dynamic analysis and highlights their comparative tradeoffs.

Keywords:parallel computing, message passing interface, static analysis, deadlocks.