ABSTRACT
With the increasing cost of developing robust HPC software, precise data-flow analysis for MPI programs -- the mainstay of HPC programming -- are essential. The knowledge of communication is essential for precise data-flow analysis and the difficulty of statically determining it makes the conventional techniques insufficient. Hybrid methods combining static and dynamic techniques are needed and in this work we demonstrate one such approach in building the parallel control-flow graph which can then be used to leverage the precision of data-flow analyses for MPI programs.
- Strout. M, Kreaseck. B, Hovland. P D.,phData-Flow Analysis for MPI Programs,ICPP '06 Google ScholarDigital Library
- Shires. D, Pollock. L,Sprenkle. S, Program Flow Graph Construction For Static Analysis of MPI Programs,PDPTA 1999Google Scholar
- Bronevetsky. G, Communication-Sensitive Static data-flow for Parallel Message Passing Applications,CGO '09 Google ScholarDigital Library
- Bronevetsky. G, Burke. M, Aananthakrishnan. S, Zhao. J, Sarkar. V, Compositional data-flow via Abstract Transition Systems,(TR)Google Scholar
- Quinlan. D, ROSE Compiler,\hrefhttp://www.rosecompiler.orghttp://www.rosecompiler.orgGoogle Scholar
Index Terms
- Hybrid approach for data-flow analysis of MPI programs
Recommendations
Data-Flow Analysis for MPI Programs
ICPP '06: Proceedings of the 2006 International Conference on Parallel ProcessingMessage 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 ...
Precise and efficient integration of interprocedural alias information into data-flow analysis
Data-flow analysis is a basis for program optimization and parallelizing transformations. The mechanism of passing reference parameters at call sites generates interprocedural aliases which complicate this analysis. Solutions have been developed for ...
Comprehensive path-sensitive data-flow analysis
CGO '08: Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimizationData-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex control-flow. We initially perform data-flow analysis to determine those ...
Comments