Communication-sensitive static dataflow for parallel message passing applications

Proceedings of the 2009 CGO - 7th International Symposium on Code Generation and Optimization

Volumn , Issue , 2009, Pages 1-12

  Bronevetsky, Greg ^a  

^a LAWRENCE LIVERMORE NATIONAL LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PERFORMANCE; ARBITRARY NUMBER; BUG DETECTION; COMMUNICATION PATTERN; COMMUNICATION TOPOLOGIES; COMPILER ANALYSIS; CONTROL-FLOW GRAPHS; DATAFLOW; DEBUGGERS; PROCESS INTERACTION; REAL APPLICATIONS; RUNTIME; RUNTIME OPTIMIZATION; RUNTIME SYSTEMS; SYMBOLIC ANALYSIS;

COMMUNICATION; DATA FLOW ANALYSIS; NETWORK COMPONENTS; OPTIMIZATION; PARALLEL PROGRAMMING; PROGRAM COMPILERS; TOPOLOGY;

MESSAGE PASSING;

EID: 67650509253     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CGO.2009.32     Document Type: Conference Paper

References (22)

1. Christopher Colby. Analyzing the Communication Topology of Concurrent Programs. In Symposium on Partial Evaluation and Semantics-Based Program Manupulation, pages 202-214, June 1995.
2. Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest. Introduction to Algorithms. MIT Press and McGraw-Hill, 1994.
3. A. Danalis, L. Pollock, M. Swany, and J. Cavazos. Implementing an Open64-based tool for improving the performance of MPI programs. In Open64 Workshop, 2008.
4. Anthony Danalis, Ki-Yong Kim, Lori Pollock, and Martin Swany. Transformations to parallel codes for communication-computation overlap. In IEEE/ACM Supercomputing Conference, 2005.
5. NASA Advanced Supercomputing (NAS) Division. NAS Parallel Benchmarks. http://www.nas.nasa.gov/Resources/Software/npb.html.
6. A. Faraj, X. Yuan, and D.K. Lowenthal. STAR-MPI: Self tuned adaptive routines for mpi collective operations. In International Conference on Supercomputing, June 2006.
7. T.E. Jeremiassen and S.J. Eggers. Static analysis of barrier synchronization in explicitly parallel programs. In International Conference on Parallel Archtecture and Compilation Techniques, 1994.
8. Amir Kamil and Katherine Yelick. Concurrency analysis for parallel programs with textually aligned barriers. In Workshop on Languages and Compilers for Parallel Computing, October 2005.
9. Amit Karwande, Xin Yuan, and David K. Lowenthal. CC-MPI: A Compiled Communication Capable MPI Prototype for Ethernet Switched Clusters. In Symposium on Principles and Practice of Parallel Programming (PPoPP), pages 95-106, June 2003.
10. Lawrence Livermore National Lab. ASCI Purple Benchmarks. http://www.llnl.gov/asci/platforms/purple/rfp/benchmarks.
11. Benjamin C. Lee, David M. Brooks, Bronis R. de Supinski, Martin Schulz, Karan Singh, and Sally A. McKee. Methods of inference and learning for performance modeling of parallel applications. In Symposium on Principles and Practice of Parallel Programming (PPoPP), 2007.
12. Panos C. Lekkas. Network Processors : Architectures, Protocols and Platforms. McGraw-Hill Professional, 2003.
13. Glenn Luecke, Hua Chen, James Coyle, Jim Hoekstra, and Marina Kraeva Yan Zou. MPI-CHECK: a tool for checking fortran 90 mpi programs. Concurrency and Computation: Practice and Experience, 15(2):93-100, 2003.
14. Matthieu Martel and Marc Gengler. Communication Topology Analysis for Concurrent Programs. In International Workshop on SPIN Model Checking and Software Verification, 2000.
15. University of Tennessee. High Performance Linpack. http://www.netlib.org/ benchmark/hpl/.
16. Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, and William Gropp. Practical model-checking method for verifying correctness of mpi programs. In Franck Cappello, Thomas Hrault, and Jack Dongarra, editors, PVM/MPI, volume 4757 of Lecture Notes in Computer Science, pages 344-353. Springer, 2007.
17. Dan Quinlan. Rose: Compiler Support for Object-oriented Frameworks. Parallel Processing Letters, 10(2-3):215-226, 2000. (Pubitemid 32253536)
18. Ran Shaham, Elliot K. Kolodner, and Mooly Sagiv. Automatic Removal of Array Memory Leaks in Java. In International Conference on Compiler Construction(CC), March 2000.
19. S. Shao, A. Jones, and R. Melhem. A compiler-based communication analysis approach for multiprocessor systems. In International Parallel and Distributed Processing Symposium (IPDPS), April 2006.
20. Stephen F. Siegel. Model Checking Nonblocking MPI Programs. In International Conference on Verification, Model Checking and Abstract Interpretation, 2007.
21. Michelle Mills Strout, Barbara Kreaseck, and Paul D. Hovland. Data- flow analysis for MPI programs. In International Conference on Parallel Processing (ICPP), 2006.
22. Yuan Zhang, Evelyn Duesterwald, and Guang Gao. Concurrency analysis for shared memory programs with textually unaligned barriers. In International Workshop on Languages and Compilers for Parallel Computing, October 2007.