Program Flow Graph Construction for Static Analysis of MPI Programs

Author : Shires, Dale; Pollock, Lori; Sprenkle, Sara
Booktitle : Parallel and Distributed Processing Techniques and Applications
Date : Jun 1999
Pages : 1847-1853
Document Type : In Conference Proceedings

Abstract :

The Message Passing Interface (MPI) has been widely used to develop efficient and portable parallel programs for distributed memory multiprocessors and workstation/PC clusters. In this paper, we present an algorithm for building a program flow graph representation of an MPI program. As an extension of the control flow graph representation of sequential codes, this representation provides a basis for important program analyses useful in software testing, debuggin, and code optimization.

Paper Link