On minimizing materializations of array-valued temporaries

ACM Transactions on Programming Languages and Systems

Volumn 28, Issue 6, 2006, Pages 1145-1177

  Rosenkrantz, Daniel J ^a,b   Mullin, Lenore R ^a,b   Hunt III, Harry B ^a,b  

^a STATE UNIVERSITY OF NEW YORK   (United States)

^b STATE UNIVERSITY OF NEW YORK   (United States)

Author keywords

Array operations; Array temporary materializations; Compiler optimization; Copy minimization; Program transformation

Indexed keywords

ARRAY OPERATIONS; ARRAY TEMPORARY MATERIALIZATIONS; COMPILER OPTIMIZATION; PROGRAM TRANSFORMATION;

ALGORITHMS; CODES (SYMBOLS); OPTIMIZATION; PROGRAM COMPILERS;

COMPUTER PROGRAMMING;

EID: 33845523535     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1186632.1186637     Document Type: Article

References (40)

1. ABRAMS, P. S. 1970. An APL machine. Ph.D. dissertation. Stanford University, Stanford, CA.
2. AHO, A. V., SETHI, R., AND ULLMAN, J. D. 1986. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, MA.
3. ALLEN, R. AND KENNEDY, K. 2002. Optimizing Compilers for Modern Architectures: A Dependence-Based Approach. Morgan-Kaufmann Publishers, San Francisco, CA.
4. BACON, D. F., GRAHAM, S. L., AND SHARP, O. J. 1994. Compiler transformations for high-performance computing. ACM Comput. Surv. 26, 4 (Dec.), 345-420.
5. BUDD, T. A. 1984. An APL compiler for a vector processor. ACM Trans. Prog. Lang. Syst. 6, 3 (July), 297-313.
6. CHAMBERLAIN, B. L., CHOI, S.-E., LEWIS, E. C., LIN, C., SNYDER, L., AND WEATHERSBY, W. D. 1996. Factor-join: A unique approach to compiling array languages for parallel machines. In Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, D. Padua, A. Nicolau, D. Gelernter, U. Banerjee, and D. Sehr, Eds. Lecture Notes in Computer Science, vol. 1239. Springer-Verlag, New York, pp. 481-500.
7. CYTRON, R., FERRANTE, J., ROSEN, B. K., WEGMAN, M. N., AND ZADECK, F. K. 1991. Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Prog. Lang. Syst. 13, 4 (Oct.), 451-490.
8. DINESH, T. B., HAVERAAEN, M., AND HEERING, J. 2000. An algebraic programming style for numerical software and its optimization. Sci. Prog. 8, 4, 247-259.
9. GAO, G. R., OLSEN, R., SARKAR, V., AND THEKKATH, R. 1992. Collective loop fusion for array contraction. In Proceedings of 5th International Workshop on Languages and Compilers for Parallel Computing (New Haven, CT, Aug.), U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, Eds. Lecture Notes in Computer Science, vol. 757. Springer-Verlag, pp. 281-295.
10. GUIBAS, L. J. AND WYATT, D. K. 1978. Compilation and delayed evaluation in APL. In Conference Record of the 5th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 78) (Tucson, AZ, Jan). ACM, New York, pp. 1-8.
11. GUPTA, M., MIDKIFF, S., SCHONBERG, E., SESHADRI, V., SHIELDS, D., WANG, K.-Y., CHING, W.-M., AND NGO, T. 1995. An HPF compiler for the IBM SP2. In Proceedings of Supercomputing '95. (San Diego, CA, Dec.). ACM, New York.
12. HASSITT, A. AND LYON, L. E. 1972. Efficient evaluation of array subscripts of arrays. IBM J. Res. Devl. 16, 1 (Jan.), 45-57.
13. HUMPHREY, W., KARMESIN, S., BASSETTI, F., AND REYNDERS, J. 1997. Optimization of data-parallel field expressions in the POOMA framework. In Proceedings of the 1st International Conference on Scientific Computing in Object-Oriented Parallel Environments (ISCOPE '97) (Marina del Rey, CA, Dec.), Y. Ishikawa, R. R. Oldehoeft, J. Reynders, and M. Tholburn, Eds. Lecture Notes in Computer Science, vol. 1343. Springer-Verlag, New York, pp. 185-194.
14. HWANG, G.-H., LEE, J. K., AND JU, D.-C. 1995. An array operation synthesis scheme to optimize Fortran 90 programs. ACM SIGPLAN Notices, Proceedings of the 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming 30, 8 (Aug.), 112-122.
15. HWANG, G.-H., LEE, J. K., AND JU, R. D.-C. 1998. A function-composition approach to synthesize Fortran 90 array operations. J. Paral. Dist. Comput. 54, 1 (Oct.), 1-47.
16. HWANG, G.-H., LEE, J. K., AND JU, R. D.-C. 2001. Array operation synthesis to optimize HPF programs on distributed memory machines. J. Paral. Dist. Comput. 61, 4 (Apr.), 467-500.
17. JU, D.-C. 1992. The optimization and parallelization of array language programs. Ph.D. dissertation, University of Texas at Austin, Austin.
18. KENNEDY, K. 2001. Fast greedy weighted fusion. Int. J. Paral. Prog. (IJPP) 29, 5 (Oct.), 463-491.
19. KENNEDY, K. AND MCKINLEY, K. S. 1993. Maximizing loop parallelism and improving data locality via loop fusion and distribution. In Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing (Portland, OR, Aug.), U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, Eds. Lecture Notes in Computer Science, vol. 768. Springer-Verlag, New York, pp. 301-320.
20. KENNEDY, K., MELLOR-CRUMMEY, J., AND ROTH, G. 1995. Optimizing Fortran 90 shift operations on distributed-memory multicomputers. In Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing (Columbus, OH, Aug.). Lecture Notes in Computer Science, vol. 1033. Springer-Verlag, New York, pp. 161-175.
21. KNOBE, K. AND SARKAR, V. 1998. Array SSA form and its use in parallelization. In Conference Record 25th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL '98) (San Diego, CA, Jan.). ACM, New York, pp. 107-120.
22. LEWIS, E. C., LIN, C., AND SNYDER, L. 1998. The implementation and evaluation of fusion and contraction in array languages. In Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation (Montreal, Que., Canada, June). ACM, New York, pp. 50-59.
23. LIN, C. AND SNYDER, L. 1993. ZPL: An array sublanguage. In Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing (Portland, OR, Aug.), U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, Eds. Lecture Notes in Computer Science, vol. 768. Springer-Verlag, New York, pp. 96-114.
24. MANJIKIAN, N. AND ABDELRAHMAN, T. S. 1997. Fusion of loops for parallelism and locality. IEEE Trans. Paral. Dist. Syst. 8, 2 (Feb.), 193-209.
25. MULLIN, L. 1993. The Psi compiler project. In Workshop on Compilers for Parallel Computers. TU Delft, Holland.
26. MULLIN, L. M. R. 1988. A mathematics of arrays. Ph.D. dissertation. Syracuse University, Syracuse, New York.
27. ROTH, G. 1997. Optimizing Fortran90D/HPF for distributed-memory computers. Ph.D. dissertation, Dept. of Computer Science, Rice University.
28. ROTH, G. 2000. Advanced scalarization of array syntax. In Proceedings of the 9th International Compiler Construction Conference (CC '2000) (Berlin, Germany, Mar.). Lecture Notes in Computer Science, vol. 2017. Springer-Verlag, New York, pp. 219-231.
29. ROTH, G. AND KENNEDY, K. 1996. Dependence analysis of Fortran90 array syntax. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA '96) (Sunnyvale, CA, Aug.). CSREA Press, pp. 1225-1235.
30. ROTH, G. AND KENNEDY, K. 1998. Loop fusion in high-performance Fortran. In Proceedings of the 12th International Conference on Supercomputing (ICS '98) (Melbourne, Australia, July). ACM, New York, pp. 125-132.
31. ROTH, G., MELLOR-CRUMMEY, J., KENNEDY, K., AND BRICKNER, R. G. 1997. Compiling stencils in high performance Fortran. In Proceedings of the 1997 ACM/IEEE Conference on Supercomputing (SC '97): High Performance Networking and Computing (San Jose, CA, Nov.). ACM, New York.
32. SCHWARTZ, J. T. 1975. Optimization of very high level languages - I. Value transmission and its corollaries. Comput. Lang, 1, 2 (June), 161-194.
33. SIEK, J. G. AND LUMSDAINE, A. 1998. The matrix template library: A generic programming approach to high-performance numerical linear algebra. In Proceedings of the 2nd International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE '98) (Santa Fe, NM, Dec.), D. Caromel, R. R. Oldehoeft, and M. Tholburn, Eds. Lecture Notes in Computer Science, vol. 1505. Springer-Verlag, New York, pp. 59-70.
34. VELDHUIZEN, T. 1995a. Using C++ template metaprograms. C++ Report 7, 4 (May), 36-43.
35. (Reprinted in C++ Gems: Programming Pearls from the C++ Report, S. R. Lippman, Ed. Cambridge University Press, Cambridge, UK, pp. 459-474.)
36. VELDHUIZEN, T. L. 1995b. Expression templates. C++ Report 7, 5 (June), 26-31.
37. (Reprinted in C++ Gems: Programming Pearls from the C++ Report, S. S. Lippman, Ed. Cambridge University Press, Cambridge, UK, pp. 459-474.)
38. VELDHUIZEN, T. L. 1998. Arrays in Blitz++. In Proceedings of the 2nd International Symposium on Scientific Computing in Object-Oriented Parallel Environments (ISCOPE '98) (Santa Fe, NM. Dec.). D. Caromel, R. R. Oldehoeft, and M. Tholburn, Eds. Lecture Notes in Computer Science, vol. 1505. Springer-Verlag, New York, pp. 223-230.
39. VELDHUIZEN, T. L. AND GANNON, D. 1998. Active libraries: Rethinking the roles of compilers and libraries. In Proceedings of the SIAM Workshop on Object Oriented Methods for Interoperable Scientific and Engineering Computing (OO '98) (Yorktown Heights, NY.). SIAM, Philadelphia, PA.
40. WOLFE, M. 1996. High Performance Compilers for Parallel Computing. Addison-Wesley, Reading, MA.