Improving the Precision of Activity Analysis on MPI Programs

Event Sponsor: 
LANS Informal Seminar
Start Date: 
Nov 11 2009 - 3:00pm to 4:00pm
Building/Room: 
1404&1405, Conference Center, Bldg 240
Location: 
Argonne National Laboratory
Speaker(s): 
Barbara Kreaseck
Speaker(s) Title: 
Associate Professor of Computer Science, La Sierra University
Host: 

Message passing via MPI is widely used in single-program, 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 augmented with communication edges between possible send and receive pairs and context-sensitivity. We demonstrate our techniques on 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. Our experimental results have shown that using the MPI-ICFG data-flow analysis framework improves the precision of activity analysis and as a result significantly reduces memory requirements for the automatically differentiated versions of a set of parallel benchmarks.

Miscellaneous Information: