A precise dependence analysis for multi-dimensional arrays under specific dependence direction

Journal of Systems and Software

Volumn 63, Issue 2, 2002, Pages 99-112

  Chang, Weng Long ^a   Chu, Chih Ping ^b   Wu, Jia Hwa ^b  

^a SOUTHERN TAIWAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Taiwan)

^b NATIONAL CHENG KUNG UNIVERSITY   (Taiwan)

Author keywords

Data dependence analysis; Loop parallelization; Parallelizing vectorizing compilers; Supercomputing

Indexed keywords

DATA REDUCTION; LINEAR EQUATIONS; MATHEMATICAL MODELS; VECTORS;

LOOP PARALLELIZATION;

PROGRAM COMPILERS;

EID: 0037104175     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(01)00118-2     Document Type: Article

References (21)

1. Banerjee U. Dependence Analysis. 1997;Kluwer Academic Publishers, Norwell, MA.
2. Banerjee U. Dependence Analysis for Supercomputing. 1988;Kluwer Academic Publishers, Norwell, MA.
3. Blume W., Eigenmann R. Nonlinear and symbolic data dependence testing. IEEE Transaction on Parallel and Distributed Systems. 9(12):1998;1180-1194.
4. Chu C.-P., Chang W.-L. The extension of direction vector I test. Proceedings of the 10th IASTED International Conference Parallel and Distributed Computing and Systems, Nevada, USA. 1998;484-489.
5. Chang W.-L., Chu C.-P. The I+ test. Lecture Notes in Computer Science. vol. 1656:1999.
6. Chang W.-L., Chu C.-P., Wu J. The generalized lambda test: a multi-dimensional version of Banerjee's algorithm. International Journal of Parallel and Distributed Systems and Networks. 2(2):1999;69-78.
7. Chang W.-L., Chu C.-P. The infinity lambda test: a multi-dimensional version of Banerjee's infinity test. Parallel Computing. 26:2000a;1275-1295.
8. Chang, W.-L., Chu, C.-P. 2000b. The multi-dimensional I test. Technical Report NCKUCSIE-R-2000-01. Department of Computer Science and Information Engineering, National Cheng Kung University, Tainan, Taiwan, ROC.
9. Dongarra J., Furtney M., Reinhardt S., Russell J. Parallel loops - a test suite for parallelizing compilers: description and example results. Parallel Computing. 17:1991;1247-1255.
10. Kong X., Klappholz D., Psarris K. The I test. IEEE Transaction on Parallel and Distributed Systems. 2(3):1991;342-359.
11. Kong X., Klappholz D., Psarris K. The direction vector I test. IEEE Transaction on Parallel and Distributed Systems. 4(11):1993;1280-1290.
12. Levine D., Callahan D., Dongarra J. A comparative study of automatic vectorizing compilers. Parallel Computing. 17:1991;1223-1244.
13. Li Z., Yew P.-C., Zhu C.-Q. An efficient data dependence analysis for parallelizing compilers. IEEE Transaction on Parallel and Distributed Systems. 1(1):1990;26-34.
14. Petersen, P.M., 1993. Evaluation of programs and parallelizing compilers using dynamic Analysis techniques. Ph.D. Thesis. University of Illinois at Urbana-Champaign, January 1993.
15. Pugh W. A practical algorithm for exact array dependence analysis. Communication of the ACM. 35(8):1992;102-114.
16. Shen Z., Li Z., Yew P.-C. An empirical study of Fortran programs for parallelizing compilers. IEEE Transaction on Parallel and Distributed Systems. 1(3):1992;356-364.
17. Smith B.J. Matrix Eigensystem Routines-Eispack Guide. 1976;Springer, Heidelberg.
18. Triolet R., Irigoin F., Feautrier P. Direct parallelization of call statements. Proceedings of SIGPLAN Symposium on Compiler Construction, Palo Alto, CA. 1986;176-185.
19. Vaughan W.J. A Residuals Management Model of the Iron and Steel Industry: A Linear Programming Approach. 1986;Universal Microfilms International, Ann Arbor, MI.
20. Wolfe M., Tseng C.W. The power test for data dependence. IEEE Transaction on Parallel and Distributed Systems. 3(5):1992;591-601.
21. Wolfe M. High Performance Compilers for Parallel Computing. 1996;Addison-Wesley, Redwood City, CA.