Interprocedural data flow based optimizations for distributed memory compilation

Software - Practice and Experience

Volumn 27, Issue 5, 1997, Pages 519-545

  Agrawal, Gagan ^a   Saltz, Joel ^b  

^a University of Delaware   (United States)

^b Institute of Advanced Computer Science   (United States)

Author keywords

Code placement; Data flow analysis; Distributed memory machines; Interprocedural analysis; Irregular applications; Redundancy elimination

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; DATA STORAGE EQUIPMENT; DATA TRANSFER; DISTRIBUTED COMPUTER SYSTEMS; FORTRAN (PROGRAMMING LANGUAGE); OPTIMIZATION; PERCOLATION (COMPUTER STORAGE); PROGRAM DEBUGGING; REDUNDANCY; STORAGE ALLOCATION (COMPUTER); SUBROUTINES;

DISTRIBUTED MEMORY MACHINES; INTERPROCEDURAL PARTIAL REDUNDANCY ELIMINATION (IPRE) ALGORITHMS;

PROGRAM COMPILERS;

EID: 0031139728     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(199705)27:5<519::AID-SPE95>3.0.CO;2-O     Document Type: Article

References (41)

1. C. Koelbel, D. Loveman, R. Schreiber, G. Steele, Jr. and M. Zosel, The High Performance Fortran Handbook, MIT Press, 1994.
2. A. J. C. Bik and H. A. G. Wijshoff, 'Annotations for a sparse compiler', Proc. 8th Workshop on Languages and Compilers for Parallel Computing, August 1995.
3. R. Das, J. Saltz and R. von Hanxleden, 'Slicing analysis and indirect access to distributed arrays', Proc. 6th Workshop on Languages and Compilers for Parallel Computing, Springer-Verlag, August 1993, pp. 152-168. (Also available as University of Maryland Technical Report CS-TR-3076 and UMIACS-TR-93-42.)
4. R. v. Hanxleden, K. Kennedy and J. Saltz, 'Value-based distributions in Fortran D - a preliminary report', Technical Report CRPC-TR93365-S, Center for Research on Parallel Computation, Rice University, December 1993. (Appears in Journal of Programming Languages - Special Issue on Compiling and Run-Time Issues for Distributed Address Space Machines, September 1994.)
5. R. v. Hanxleden, K. Kennedy and J. Saltz, 'Value-based distributions in Fortran D - a preliminary report', Technical Report CRPC-TR93365-S, Center for Research on Parallel Computation, Rice University, December 1993. (Appears in Journal of Programming Languages - Special Issue on Compiling and Run-Time Issues for Distributed Address Space Machines, September 1994.)
6. C. Koelbel and P. Mehrotra, 'Compiling global name-space parallel loops for distributed execution', IEEE Transactions on Parallel and Distributed Systems, 2(4);440-451 (October 1991).
7. V. Kotlyar, K. Pingali and P. Stodghill. 'Automatic parallelization of sparse conjugate gradient code: A progress report', Proc. 8th Workshop on Languages and Compilers for Parallel Computing, August 1995.
8. A. Lain and P. Banerjee, 'Exploiting spatial regularity in irregular iterative applications', Proc. Ninth International Parallel Processing Symposium, IEEE Press, April 1995, pp. 820-826.
9. R. Ponnusamy, J. Saltz and A. Choudhary, 'Runtime-compilation techniques for data partitioning and communication schedule reuse', Proc. Supercomputing '93, IEEE Press, November 1993, pp. 381-370. (Also available as University of Maryland Technical Report CS-TR-3055 and UMIACS-TR-93-32.)
10. J. Wu, R. Das, J. Saltz, H. Berryman and S. Hiranandani, 'Distributed memory compiler design for sparse problems', IEEE Transactions on Computers, 44(6);737-753 (June 1995).
11. R. v. Hanxleden, 'Handling irregular problems with Fortran D - a preliminary report', Proc. Fourth Workshop on Compilers for Parallel Computers, Delft, The Netherlands, December 1993. (Also available as CRPC Technical Report CRPC-TR93339-S.)
12. A. Choudhary, G. Fox, S. Hiranandani, K. Kennedy, C. Koelbel, S. Ranka and J. Saltz, 'Software support for irregular and loosely synchronous problems,' Computing Systems in Engineering, 3(1-4);43-52, 1992. (Papers presented at the Symposium on High-Performance Computing for Flight Vehicles, December 1992).
13. S.D. Sharma, R. Ponnusamy, B. Moon, Y.-S. Hwang, R. Das and J. Saltz, 'Run-time and compile-time support for adaptive irregular problems', Proc. Supercomputing '94, IEEE Press, November 1994, pp. 97-106.
14. S. Hiranandani, K. Kennedy and C.-Wen Tseng, 'Compiling Fortran D for MIMD distributed-memory machines', Communications of the ACM, 35(8);66-80 (August 1992).
15. R. v. Hanxleden, K. Kennedy and J. Saltz, 'Value-based distributions in Fortran D - a preliminary report', Technical Report CRPC-TR93365-S, Center for Research on Parallel Computation, Rice University, December 1993. (Appears in Journal of Programming Languages - Special Issue on Compiling and Run-Time Issues for Distributed Address Space Machines, September 1994.)
16. R. v. Hanxleden, K. Kennedy and J. Saltz, 'Value-based distributions in Fortran D - a preliminary report', Technical Report CRPC-TR93365-S, Center for Research on Parallel Computation, Rice University, December 1993. (Appears in Journal of Programming Languages - Special Issue on Compiling and Run-Time Issues for Distributed Address Space Machines, September 1994.)
17. M. Gupta, E. Schonberg and H. Srinivasan, 'A unified data flow framework for optimizing communication,' Proc Languages and Compilers for Parallel Computing, August 1994.
18. D.M. Dhamdhere and H. Patil, 'An elimination algorithm for bidirectional data flow problems using edge placement,' ACM Transactions on Programming Languages and Systems, 15(2);312-336 (April 1993).
19. E. Morel and C. Renvoise, 'Global optimization by suppression of partial redundancies', Communications of the ACM, 22(2);96-103 (February 1979).
20. G. Agrawal and J. Saltz, 'Interprocedural communication optimizations for distributed memory compilation', Proc. 7th Workshop on Languages and Compilers for Parallel Computing, August 1994, pp. 283-299. (Also available as University of Maryland Technical Report CS-TR-3264.)
21. G. Agrawal, J. Saltz and R. Das, 'Interprocedural partial redundancy elimination and its application to distributed memory compilation,' Proc. SIGPLAN '95 Conference on Programming Language Design and Implementation, ACM SIGPLAN Notices 30(6)(June 1995)(Also available as University of Maryland Technical Report CS-TR-3446 and UMIACS-TR-95-42.)
22. G. Agrawal, A. Sussman and J. Saltz, 'Compiler and runtime support for structured and block structured applications,' Proc. Supercomputing '93, IEEE Press, November 1993, pp. 578-587.
23. G. Agrawal, A. Sussman and J. Saltz. 'An integrated runtime and compile-time approach for parallelizing structured and block structured applications', IEEE Transactions on Parallel and Distributed Systems (1995) (to appear)(Also available as University of Maryland Technical Report CS-TR-3143 and UMIACS-TR-93-94.)
24. G. Agrawal, A. Sussman and J. Saltz. 'Efficient runtime support for parallelizing block structured applications', Proc. Scalable High Performance Computing Conference (SHPCC-94), IEEE Press, May 1994, pp. 158-167.
25. A. Sussman, G. Agrawal and J. Saltz, 'A manual for the Multiblock PARTI runtime primitives', revision 4.1. Technical Report CS-TR-3070.1 and UMIACS-TR-93-36.1, University of Maryland, Department of Computer Science and UMIACS, December 1993.
26. G. Edjlali, G. Agrawal, A. Sussman and J. Saltz, 'Data parallel programming in an adaptive environment', Proc. Ninth International Parallel Processing Symposium, IEEE Press, April 1995, pp. 827-832.
27. A.V. Aho, R. Sethi and J.D. Ullman, Compilers: Principles, Techniques, and Tools, Addison-Wesley, 1986.
28. M Hall, 'Managing interprocedural optimization', PhD thesis, Rice University, October 1990.
29. M. Hall, J. M. Mellor Crummey, A. Carle and R. G. Rodriguez, 'FIAT: A framework for interprocedural analysis and transformations', Proc. 6th Workshop on Languages and Compilers for Parallel Computing, Springer-Verlag, August 1993, pp. 522-545.
30. Z. Bozkus, A. Choudhary, G. Fox, T. Haupt, S. Ranka and M.-Y. Wu. 'Compiling Fortran 90D/HPF for distributed memory MIMD computers', Journal of Parallel and Distributed Computing, 21(1):15-26 (April 1994).
31. R. Das, J. Saltz, K. Kennedy and P. Havlak. 'Index array flattening through program transformation,' PLDI '95, November 1994 (submitted).
32. M. Weiser, 'Program slicing', IEEE Transactions on Software Engineering, 10;352-357, (1984).
33. K. Cooper, K. Kennedy and L. Torczon, 'The impact of interprocedural analysis and optimization in the rn programming environment', ACM Transactions on Programming Languages and Systems, 8(4); 491-523 (October 1986).
34. M. W. Hall, S. Hiranandani, K. Kennedy and C.-W. Tseng, 'Interprocedural compilation of Fortran D for MIMD distributed-memory machines,' Proc. Supercomputing '92, IEEE Society Press, November 1992, pp. 522-534.
35. R. Das, D. J. Mavriplis, J. Saltz, S. Gupta, and R. Ponnusamy, 'The design and implementation of a parallel unstructured Euler solver using software primitives', AIAA Journal, 32(3);489-496 (March 1994).
36. B. R. Brooks, R. E. Bruccoleri, B. D. Olafson, D. J. States, S. Swaminathan and M. Karplus, 'Charmm: a program for macromolecular energy, minimization, and dy namics calculations', Journal of Computational Chemistry, 4; 187(1983).
37. Y.-S. Hwang, R. Das, J. Saltz, B. Brooks and M. Hodoscek, 'Parallelizing molecular dynamics programs for distributed memory machines: An application of the CHAOS runtime support library,' Technical Report CS-TR-3374 and UMIACS-TR-94-125, University of Maryland, Department of Computer Science and UMIACS, November 1994.
38. E. Myers, 'A precise interprocedural data flow algorithm', Conference Record of the Eighth ACM Symposium on the Principles of Programming Languages, January 1981, 219-230.
39. D. Callahan, 'The program summary graph and flow-sensitive interprocedural data flow analysis', Proc. SIGPLAN '88 Conference on Programming Language Design and Implementation, Atlanta, GA, June 1988.
40. M. J. Harrold and M. L. Soffa, 'Efficient computation of interprocedural definition-use chains,' ACM Transactions on Programming Languages and Systems, 16(2);175-204 (March 1994).
41. R. W. Scheifler, 'An analysis of inline substitution for a structured programming language', Communications of the ACM, 20(9);647-654 (September 1977).