Static and dynamic evaluation of data dependence analysis techniques

IEEE Transactions on Parallel and Distributed Systems

Volumn 7, Issue 11, 1996, Pages 1121-1132

  Petersen, Paul M ^b   Padua, David A ^a,c  

^a IEEE

^b Kuck & Associates Inc   (United States)

^c University of Illinois at Urbana Champaign   (United States)

Author keywords

Automatic parallelization; Compiler optimizations; Dependence analysis; Evaluation of compiler techniques; Parallelism detection

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; LINEAR ALGEBRA; OPTIMIZATION; PROGRAM COMPILERS;

AUTOMATIC PARALLELIZATION; BANERJEE'S TEST; COMPILE TIME INFORMATION; DATA DEPENDENCE ANALYSIS; GREATEST COMMON DIVISOR TEST; INSTRUCTION LEVEL PARALLELISM; OMEGA TEST; PARALLELISM DETECTION STRATEGIES; PERFECT BENCHMARKS;

PARALLEL PROCESSING SYSTEMS;

EID: 0030286827     PISSN: 10459219     EISSN: None     Source Type: Journal    
DOI: 10.1109/71.544354     Document Type: Review

References (25)

1. J.R. Allen, "Dependence Analysis for Subscripted Variables and Its Application to Program Transformations," PhD thesis, Rice Univ., Apr. 1983.
2. U. Banerjee, "Speedup of Ordinary Programs," PhD thesis, Univ. of Illinois at Urbana-Champaign, Oct. 1979.
3. U. Banerjee, Dependence Analysis for Supercomputing. Kluwer Academic Publishers, 1988.
4. W. Blume and R. Eigenmann, "An Overview of Symbolic Analysis Techniques Needed for the Effective Parallelization of the Perfect Benchmarks," Proc. Int'l Conf. Parallel Processing, pp. II.233-II.238, Aug. 1994.
5. W. Blume and R. Eigenmann, "The Range Test: A Dependence Test for Symbolic, Non-Linear Expressions," Proc. Supercomputing '94, pp. 528-537, Nov. 1994.
6. W. Blume, R. Eigenmann, J. Hoeflinger, D. Padua, P. Petersen, L. Rauchwerger, and P. Tu, "Automatic Detection of Parallelism: A Grand Challenge for High-Performance Computing," IEEE Parallel and Distributed Technology, vol. 2, no. 3, pp. 37-47, Fall 1994.
7. D.-K. Chen, "MaxPar: An Execution Driven Simulator for Studying Parallel Systems," Master's thesis, Univ. of Illinois at Urbana-Champaign, Oct. 1989.
8. G. Cybenko, L. Kipp, L. Pointer, and D. Kuck, "Supercomputer Performance Evaluation and the Perfect Benchmarks," Tech. Report 965, Univ. of Illinois at Urbana-Champaign, Center for Supercomputing, Research & Development, Mar. 1990.
9. R. Cytron, "DOACROSS: Beyond Vectorization for Multiprocessors," Proc. Int'l Conf. Parallel Processing, pp. 836-844, Aug. 1986.
10. G. Goff, K. Kennedy, and C.-W. Tseng, "Practical Dependence Testing," SIGPLAN Notices, Proc. ACM SIGPLAN '91 Conf. Programming Language Design and Implementation, vol. 26, no. 6, pp. 15-29, June 1991.
11. X. Kong, D. Klappholz, and K. Psarris, "The I Test: A New Test for Subscript Data Dependence," Proc. 1990 Int'l Conf. Parallel Processing, pp. II204-II211, Aug. 1990.
12. M. Kumar, "Measuring Parallelism in Computation-Intensive Science Engineering Applications," IEEE Trans. Computers, vol. 37, no. 9, pp. 5-40, Sept. 1988.
13. Z. Li, P.-C. Yew, and C.-Q. Zhu, "Data Dependence Analysis on Multi-dimensional Array References," Proc. Third ACM Int'l Conf. Supercomputing, pp. 215-224, June 1989.
14. D.E. Maydan, J.L. Hennessy, and M.S. Lam, "Efficient and Exact Data Dependence Analysis," SIGPLAN Notices, Proc. ACM SIGPLAN '91 Conf. Programming Language Design and Implementation, vol. 26, no. 6, pp. 1-14, June 1991.
15. D.A. Padua, D.J. Kuck, and D.H. Lawrie, "High-Speed Multiprocessors and Compilation Techniques," Special Issue on Parallel Processing, IEEE Trans. Computers, vol. 29, no. 9, pp. 763-776, Sept. 1980.
16. P.M. Petersen, "Evaluation of Programs and Parallelizing Compilers Using Dynamic Analysis Techniques," PhD thesis, Univ. of Illinois at Urbana-Champaign, Jan. 1993.
17. K. Psarris, D. Klappholz, and X. Kong, "On the Accuracy of the Banerjee Test," J. Parallel and Distributed Computing, vol. 12, no. 2, pp. 152-157, June 1991.
18. W. Pugh, "The Omega Test: A Fast and Practical Integer Programming Algorithm for Dependence Analysis," Comm ACM, vol. 35, no. 8, pp. 102-114, Aug. 1992.
19. L. Rauchwerger and D. Padua, "The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization," SIGPLAN Notices Proc. SIGPLAN'95 Conf. Programming Language Design and Implementation, vol. 30, no. 6, pp. 218-232, June 1995.
20. W. Rudin, Principles of Mathematical Analysis. International Series in Pure and Applied Mathematics, McGraw-Hill, 1964.
21. H.M. Salkin and K. Mathur, Foundations of Integer Programming. North-Holland, 1989.
22. Z. Shen, Z. Li, and P.-C. Yew, "An Empirical Study of FORTRAN Programs for Parallelizing Compilers," CSRD Report No. 983, Univ. of Illinois at Urbana-Champaign, Center for Supercomputing, Research & Development, Apr. 1990.
23. P. Tu and D. Padua, "Gated SSA-Based Demand-Driven Symbolic Analysis for Parallelizing Compilers," Proc. Ninth ACM Int'l Conf. Supercomputing, pp. 414-423, July 1995.
24. M. Wolfe and U. Banerjee, "Data Dependence and Its Application to Parallel Processing," Int'l J. Parallel Programming, vol. 16, no. 2, p. 137, Apr. 1987.
25. M. Wolfe and C.-W. Tseng, "The Power Test for Data Dependence," IEEE Trans. Parallel and Distributed Systems, vol. 3, no. 5, pp. 591-601, Sept. 1992.