Efficient techniques for advanced data dependence analysis

Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT

Volumn 2005, Issue , 2005, Pages 143-153

  Kyriakopoulos, Konstantinos ^a   Psarris, Kleanthis ^a  

^a One UTSA Circle   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

KEY LOOPS; OMEGA TEST; PROGRAM PARALLELIZATION; RANGE TEST;

COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; DATA REDUCTION; NONLINEAR SYSTEMS; PARALLEL ALGORITHMS; PARALLEL PROCESSING SYSTEMS;

DATABASE SYSTEMS;

EID: 33746662867     PISSN: 1089795X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PACT.2005.19     Document Type: Conference Paper

References (22)

1. U. Banerjee, Dependence Analysis for Supercomputing, Kluwer Academic Publishers, Boston, MA, 1988.
2. W. Blume and R. Eigenmann, "Nonlinear and Symbolic Data Dependence Testing," IEEE Transactions on Parallel and Distributed Systems, Vol. 9, No. 12, December 1998.
3. W. Blume, R. Eigenmann, K. Faigin, J. Grout, J. Hoeflinger, D. Padua, P. Petersen, B. Pottenger, L. Rauchwerger, P. Tu, and S. Weatherford, "Effective Automatic Parallelization with Polaris", International Journal of Parallel Programming, May 1995.
4. R. Eigenmann, J. Hoeflinger, and D. Padua, "On the Automatic Parallelization of the Perfect benchmarks", Technical Report 1392, Univ. of Illinois at Urbana-Champaign, Center for Supercomputing Res. & Dev., December 1994.
5. R. A. van Engelen, J. Birtch, Y. Shou, B. Walsh and K. A. Gallivan, "A Unified Framework for Nonlinear Dependence Testing and Symbolic Analysis," Proceedings of the ACM International Conference on Supercomputing, Saint-Malo, France, June 2004.
6. G. Golf, K. Kennedy, and C. Tseng, "Practical Dependence Testing," Proceedings of the SIGPLAN'91 Conference on Programming Language Design and Implementation, Toronto, Canada, June 1991.
7. M. R. Haghighat, "Symbolic Analysis for Parallelizing Compilers," Kluwer Academic Publishers, 1995.
8. M. W. Hall, S. P. Amarasinghe, B. R. Murphy, S. Liao, and M. S. Lam, "Detecting Coarse-Grain Parallelism Using an Interprocedural Parallelizing Compiler," Proceedings of Supercomputing '95, San Diego, CA, December, 1995.
9. X. Kong, D. Klappholz, and K. Psarris, "The I-Test: An Improved Dependence Test for Automatic Parallelization and Vectorization," IEEE Transactions on Parallel and Distributed Systems, Vol. 2, No. 3, July 1991.
10. Z. Li, P. Yew, and C. Zhu, "An Efficient Data Dependence Analysis for Parallelizing Compilers," IEEE Transactions on Parallel and Distributed Systems, Vol. 1, No. 1, January 1990.
11. V. Maslov and W. Pugh, "Simplifying polynomial constraints over integers to make dependence analysis more precise", Computer Science Technical Report Series; Vol. CSTR3109, University Of Maryland, 1994.
12. D. Maydan, J. Hennesy, and M. Lam, "Efficient and Exact Data Dependence Analysis for Parallelizing Compilers," Proceedings of the SIGPLAN'91 Conference on Programming Language Design and Implementation, Toronto, Canada, June 1991.
13. K. Psarris, "The Banerjee-Wolfe and GCD Tests on Exact Data Dependence Information," Journal of Parallel and Distributed Computing, Vol. 32, No. 2, February 1996.
14. K. Psarris, X. Kong, and D. Klappholz, "The Direction Vector I Test," IEEE Transactions on Parallel and Distributed Systems, Vol. 4, No. 11, November 1993.
15. K. Psarris and K. Kyriakopoulos, "The Impact of Data Dependence Analysis on Compilation and Program Parallelization," Proceedings of the ACM International Conference on Supercomputing, San Francisco, California, June 2003.
16. W. Pugh, "A Practical Algorithm for Exact Array Dependence Analysis," Communications of the ACM, Vol. 35, No. 8, August 1992.
17. W. Pugh and D. Wonnacott, "Eliminating False Data Dependences using the Omega Test," Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation, San Francisco, CA, June 1992.
18. W. Pugh and D. Wonnacott, "Constraint-based array dependence analysis," ACM Transactions on Programming Languages and Systems, Vol 20, No 3, May 1998.
19. R. Seater and D. Wonnacott, "Efficient Manipulation of Disqualities During Dependence Analysis," 15th Workshop on Languages and Compilers for Parallel Computing, College Park, MD, July 2002.
20. M. E. Wolfe, Optimizing Compilers for Supercomputers, Pitman, London, and MIT Press, Cambridge, MA, 1989.
21. J. H. Wu and C. P. Chu, "The Quadratic Test: and Exact Data Dependence Test for Quadratic Expressions," Compiler Techniques for High-Performance Computing (CTHPC'03), Taipei, Taiwan, March 2003.
22. P. Wu, A. Cohen, J. Hoeflinger and D. Padua, "Monotonic evolution: an alternative to induction variable substitution for dependence analysis, " Proceedings of the ACM International Conference on Supercomputing, Sorrento, Italy, June 2001.