Data-Flow Analysis for MPI Programs

11 years 11 months ago
Data-Flow Analysis for MPI Programs
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD programs, which can result in less precise and even incorrect analysis results. We present a data-flow analysis framework for performing interprocedural analysis of message-passing SPMD programs. The framework is based on the MPI-ICFG representation, which is an interprocedural control-flow graph (ICFG) augmented with communication edges between possible send and receive pairs and partial context sensitivity. We show how to formulate nonseparable data-flow analyses within our framework using reaching constants as a canonical example. We also formulate and provide experimental results for the nonseparable analysis, activity analysis. Activity analysis is a domain-specific analysis used to reduce the computation and storage requirements for automatically differentiated MPI programs. Automatic differentiatio...
Michelle Mills Strout, Barbara Kreaseck, Paul D. H
Added 11 Jun 2010
Updated 11 Jun 2010
Type Conference
Year 2006
Where ICPP
Authors Michelle Mills Strout, Barbara Kreaseck, Paul D. Hovland
Comments (0)