Formal analysis of MPI-based parallel programs.

The article analyzes parallel computer programs which were developed using the Message Passing Interface (MPI) application programming interface (API). The article examines the importance of MPI in high-performance computing (HPC) and looks at methods of debugging applications. Other topics include...

Descripción completa

Detalles Bibliográficos
Publicado en:	Communications of the ACM Vol. 54; no. 12; pp. 82 - 92
Autores principales:	Gopalakrishnan, Ganesh, Kirby, Robert M., Siegel, Stephen, Thakur, Rajeev, Gropp, William, Lusk, Ewing, De Supinski, Bronis R., Schulz, Martin, Bronevetsky, Greg
Formato:	Artículo
Publicado:	Association for Computing Machinery Dec2011
Materias:	Message passing (Computer science) Parallel processing Application program interfaces High performance computing Debugging Parallel programming
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	The article analyzes parallel computer programs which were developed using the Message Passing Interface (MPI) application programming interface (API). The article examines the importance of MPI in high-performance computing (HPC) and looks at methods of debugging applications. Other topics include dynamic verification, symbolic execution, and static analysis. The author examines the ISP Formal Verification Tool, the Graphical Explorer of Message passaging (GEM) tool, and the Distributed Analyzer of MPI (DAMPI).