Delinearization: An Efficient Way to Break Multiloop Dependence Equations

ACM SIGPLAN Notices

Volumn 27, Issue 7, 1992, Pages 152-161

  Maslov, Vadim ^a  

^a MOSCOW STATE UNIVERSITY   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

DATA DEPENDENCE TESTING; DELINEARIZATION ALGORITHM;

PROGRAM COMPILERS;

EID: 0026971052     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/143103.143130     Document Type: Article

References (29)

1. F. Allen, M. Burke, P. Charles, R. Cytron, and J. Ferrante. An overview of the PTRAN analysis system for multiprocessing. In Proceedings of the First International Conference on Supercomputing. Springer-Verlag, Athens, Greece, 1987.
2. V. M. Andreyev, I. S. Golosov, and S. V. Sprogis. Fortran for MKP (in Russian). Programmirovaniye (Programming), September 1991.
3. J. R. Allen and K. Kennedy. Automatic translation of Fortran programs to vector form. ACM Transactions on Programming Languages and Systems, 9(4):491-542, October 1987.
4. American National Standards Institute X3J3 Comittee. FORTRAN-77, 1978.
5. American National Standards Institute X3J3 Comittee. FORTRAN-90, 1990.
6. U. Banerjee. Dependence Analysis for Supercomputing. Kluwer Academic Publishers, Boston, 1988.
7. M. Burke and R. Cytron. Interprocedural dependence analysis and parallelization. In Proc. of the SIGPLAN ‘86 Symposium on Compiler Construction, July 1986.
8. G. Dantzig and B.C. Eaves. Fourier-Motzkin elimination and its dual. Journal of Combinatorial Theory, A(14):288-297, July 1973.
9. T. I. Daniyarhodzhayev, V. Yu. Maslov, and I. V. Mashechkin. Multilanguage programming system intermediate language (in Russian). In Arhitektura EVM i Chislenniye Metodi (Computer Architecture and Numerical Methods). Computational Mathematics Division, USSR Academy of Sciences, 1988.
10. G. Goff, K. Kennedy, and C. Tseng. Practical dependence testing. In ACM SIGPLAN ‘91 Conference on Programming Languages Design and Implementation, 1991.
11. F. Irigoin, P. Jouvelot, and R. Triolet. Overview of the PIPS project. In Proceedings of the International Workshop on Compilers for Parallel Computers, Paris, France, November 1990.
12. D. J. Kuck, R. H. Kuhn, D. A. Padua, B. Leasure, and M. Wolfe. Dependence graphs and compiler optimizations. Conference Record of the Eighth ACM Symposium on Principles of Programming Languages, January 1981.
13. K. Kennedy, K. S. McKinley, and C. Tseng. Interactive parallel programming using the ParaScope Editor. Technical Report TR90-137, Dept. of Computer Science, Rice University, October 1990.
14. E. S. Kusikov. The algorithm for parallelizing iterative loops (in Russian). Programmirovaniye (Programming), March 1989.
15. L. Lamport. The parallel execution of DO loops. Communications of the ACM, 17(2):83-93, February 1974.
16. L.-C. Lu and M. Chen. New loop transformation techniques for massive parallelism. Technical Report YALEU/DCS/TR-833, Department of Computer Science, Yale University, October 1990.
17. Kuo-Cheng Li. A note on the Vector C language. SIGPLAN Notices, 21(1), 1986.
18. Z. Li, P. Yew, and C. Zhu. Data dependence analysis on multi-dimensional array references. In International Conference on Supercomputing, Crete, Greece, June 1989.
19. Vadim Yu. Maslov. Program vectorization in cross-translator system (in Russian). In Smeshanniye Vichisleniya i Preobrazovaniya Program (Mixed Calculations and Program Transformations), Novosibirsk, USSR, 1990. Siberian Division of USSR Academy of Sciences.
20. Dror E. Maydan, John L. Hennesy, and Monica S. Lam. Efficient and exact data dependence analysis. In ACM SIGPLAN ‘91 Conference on Programming Languages Design and Implementation, June 1991.
21. Y. Muraoka. Parallelism Exposure and Exploitation in Programs. PhD thesis, Dept. of Computer Science, University of Illinois at Urbana-Champaign, February 1971.
22. A. K. Porterfield. Software Methods for Improvement of Cache Performance on Supercomputer Applications. PhD thesis, Rice University, May 1989.
23. William Pugh. The Omega Test: a fast and practical integer programming algorithm for dependence analysis. In Supercomputing ‘91, October 1991.
24. R. Shostak. Deciding linear inequalities by computing loop residues. ACM Journal, 28(4):769-779, 1981.
25. R. Triolet. Interprocedural analysis for program restructuring with Parafrase. Technical Report CSRD Rpt. No. 538, Dept. of Computer Science, University of Illinois at Urbana-Champaign, December 1985.
26. V. V. Voevodin. Mathematical Foundations of Parallel Computations (in Russian). Moscow University Publishing House, Moscow, 1991.
27. M. Wolfe and U. Banerjee. Data dependence and its application to parallel processing. International Journal of Parallel Programming, 16(2):137-178, 1987.
28. Michael E. Wolf and Monica S. Lam. A data locality optimizing algorithm. In ACM SIGPLAN ‘91 Conference on Programming Languages Design and Implementation, June 1991.
29. M. J. Wolfe. Optimizing Supercompilers for Supercomputers. PhD thesis, University of Illinois, October 1982.