Program flow graph construction for static analysis of MPI programs

摘要

The Message Passing Interface (MPI) has been widely used for developing efficient and protable parallel programs, in particular for distributed memory multiprocessors and workstation/PC clusters. In this paper, we present an algorithm for building and 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, debugging tools, and code optimization.