An HPF Compiler for the IBM SP2

作者: Manish Gupta , Sam Midkiff , Edith Schonberg , Ven Seshadri , David Shields

DOI: 10.1145/224170.224422

关键词: Computer scienceOptimizing compilerProgramming languageParallel computingCompilerSymbolic data analysisCompiler correctnessAutomatic parallelizationFunctional compilerFortranSoftware prototyping

摘要: We describe pHPF, an research prototype HPF compiler for the IBM SP series parallel machines. The accepts as input Fortran 90 and 77 programs, augmented with directives; sequential loops are automatically parallelized. supports symbolic analysis of expressions. This allows parameters such number processors to be unknown at compile-time without significantly affecting performance. Communication schedules computation guards generated in a parameterized form compile-time. Several novel optimizations improved versions well-known have been implemented pHPF exploit parallelism reduce communication costs. These include elimination redundant using data-availability analysis; collective communication; new techniques mapping scalar variables; coarse-grain wavefronting; reduction multi-dimensional shift communications. present experimental results some benchmark routines. show effectiveness generating efficient code programs.

参考文章(23)
Saman P. Amarasinghe, Jennifer M. Anderson, Monica S. Lam, Amy W. Lim, An Overview of a Compiler for Scalable Parallel Machines languages and compilers for parallel computing. pp. 253- 272 ,(1993) , 10.1007/3-540-57659-2_15
David B. Loveman, Mary E. Zosel, Robert S. Schreiber, Charles H. Koelbel, Guy L. Steele, The High Performance Fortran Handbook ,(1993)
Zeki Bozkus, Alok Choudhary, Geoffrey Fox, Tomasz Haupt, Sanjay Ranka, A Compilation Approach for Fortran 90D/ HPF Compilers languages and compilers for parallel computing. pp. 200- 215 ,(1993) , 10.1007/3-540-57659-2_12
Alok Choudhary, Geoffrey C. Fox, Zeki Bozkus, Tomasz Haupt, A Compilation Approach for Fortran 90D/HPF Compilers on Distributed Memory MIMD Computers ,(1993)
Thomas Brandes, Adaptor: A Compilation System for Data Parallel Fortran Programs Automatic Parallelization. pp. 84- 98 ,(1994) , 10.1007/978-3-322-87865-6_5
Manish Gupta, Edith Schonberg, Harini Srinivasan, A Unified Data-Flow Framework for Optimizing Communication languages and compilers for parallel computing. pp. 266- 282 ,(1994) , 10.1007/BFB0025884
Seema Hiranandani, Ken Kennedy, Chau-Wen Tseng, Compiling Fortran D for MIMD distributed-memory machines Communications of the ACM. ,vol. 35, pp. 66- 80 ,(1992) , 10.1145/135226.135230
Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck, Efficiently computing static single assignment form and the control dependence graph ACM Transactions on Programming Languages and Systems. ,vol. 13, pp. 451- 490 ,(1991) , 10.1145/115372.115320
J.M. Levesque, Applied Parallel Research's xHPF system IEEE Parallel & Distributed Technology: Systems & Applications. ,vol. 2, pp. 71- ,(1994) , 10.1109/M-PDT.1994.329805
V.J. Schuster, PGHPF from The Portland Group IEEE Parallel & Distributed Technology: Systems & Applications. ,vol. 2, pp. 72- ,(1994) , 10.1109/M-PDT.1994.329807