Exploitation of parallelism to nested loops with dependence cycles

Journal of Systems Architecture

Volumn 50, Issue 12, 2004, Pages 729-742

  Chang, Weng Long ^a   Chu, Chih Ping ^b   Ho, Michael ^a  

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

^b NATIONAL CHENG KUNG UNIVERSITY   (Taiwan)

Author keywords

Data dependence analysis; Dependence cycle; Loop optimization; Parallelism exploitation; Parallelizing compilers; Vectorizing compilers

Indexed keywords

ALGORITHMS; EMBEDDED SYSTEMS; OPTIMIZATION; PARALLEL PROCESSING SYSTEMS; PROGRAM COMPILERS; VECTORS;

DATA DEPENDENCE; LOOP OPTIMIZATION; NESTED LOOPS;

COMPUTER ARCHITECTURE;

EID: 9544241321     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.sysarc.2004.06.001     Document Type: Article

References (30)

1. R. Allen, K. Kennedy, Automatic translation of Fortran program to vector form, ACM Transactions on Programming Languages and Systems 9 (4) (1987) 491-542.
2. U. Banerjee, Dependence, Analysis, Kluwer Academic Publishers, Norwell, MA, 1997.
3. U. Banerjee, Loop, Parallelization, Kluwer Academic Publishers, 1994.
4. U. Banerjee, Loop, Transformation for Restructuring, Compilers: The Foundations, Kluwer Academic Publishers, 1993.
5. W. Blume, R. Eigenmann, Nonlinear and symbolic data dependence testing, IEEE Transaction on Parallel and Distributed Systems 9 (12) (1998) 1180-1194.
6. P.-Y. Calland, A. Darte, Y. Robert, Plugging anti and output dependence removal techniques into loop parallelization algorithm, Parallel Computing 23 (1997) 251-266.
7. W.-L. Chang, C.-P. Chu, The extension of the interval test, Parallel Computing 24 (14) (1998) 2101-2127.
8. W.-L. Chang, C.-P. Chu, The generalized direction vector I test, Parallel Computing 27 (8) (2001) 1117-1144.
9. W.-L. Chang, C.-P. Chu, J. Wu, 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.
10. W.-L. Chang, C.-P. Chu, The infinity lambda test: a multidimensional version of Banerjee infinity test, Parallel Computing 26 (10) (2000) 1275-1295.
11. C.-P. Chu, D.L. Carver, An analysis of recurrence relation in Fortran do-loops for vector processing, in: Proc. Fifth Parallel Processing Symp, IEEE CS Press, Los Alamities, CA, 1991, pp. 619-625.
12. C.-P. Chu, D.L. Carver, Exploitation of parallelism in Fortran do-loops for vectoring processing, Technical Report 91-004, Department of Computer Science, LSU, 1991.
13. MasPar Group, Parallel, Programming, language, Digital Equipment Corporation, Part number: AA-PV4QA-TE, 1993.
14. D.J. Kuck, R.H. Kuhn, D.A. Padua, B. Leasure, M. Wolfe, Dependence graphs and compiler optimizations, in: Conference Record of 8th ACM Symposium on Princ. of Prog. Lang., 1981, pp. 207-218.
15. D. Levine, D. Callahan, J. Dongarra, A comparative study of automatic vectorizing compilers, Parallel Computing 17 (1991) 1223-1244.
16. D.E. Kunth, The, Art, of, Computer, Programming, vol. 1: Fundamental Algorithm, Addison-Wesley, Reading, MA, 1973.
17. C.D. Polychronopoulos, Advanced loop optimizations for parallel computers, in: Proceedings of the 1987 International Conference on Supercomputing, 1987, pp. 255-277.
18. W. Shang, M. O'Keefe, J. Fortes, On loop transformation for generalized cycle shrinking, IEEE Transaction on Parallel and Distributed Systems 5 (2) (1994) 193-204.
19. R. Tarjan, Depth first search and linear graph algorithms, SIAM Journal on Computing 1 (2) (1972) 146-160.
20. M. Wolfe, High, Performance, Compilers, for, Parallel, Computing, Addison-Wesley Publishing Company, Red-wood City, CA, 1996.
21. H. Zima, B. Chapman, Supercompilers for Parallel and Vector Computers, Addision-Wesley Publishing Company, 1991.
22. W.-L. Chang, C.-P. Chu, J.-H. Wu, A precise dependence analysis for multi-dimensional arrays under specific dependence direction, The Journal of Systems and Software 63 (2) (2002) 99-107.
23. W.-L. Chang, C.-P. Chu, J. Wu, A multi-dimensional version of the I test, Parallel Computing 27 (13) (2001) 1783-1799.
24. W.-L. Chang, C.-P. Chu, J.-H. Wu, A polynomial-time dependence test for determininginteger-valued solutions in multi-dimensional arrays under variable bounds, Journal of Supercomputing, in press.
25. M. Quo, W.-L. Chang, J. Cao, The non-continuous direction vector i test, accepted on the International Symposium on Parallel Architectures, Algorithms, and Networks (I-SPAN2004), Hong Kong, 2004.
26. W.-L. Chang, J.-W. Huang, C.-P. Chu, The non-continuous i test: an improved dependence test for reducing complexity of source level debugging for parallel compilers, in: The Third International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'02), Kanazawa Bunka Hall, Kanazawa, Japan, 4-6 September 2002, pp. 455-462.
27. W.-L. Chang, B.-H. Chen, A proof method for the correctness of the interval test to be applied for determining whether there are integer-valued solutions for one-dimensional arrays with subscripts formed by induction variable, in: The Third International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'02), Kanazawa Bunka Hall, Kanazawa, Japan, 4-6 September 2002, pp. 52-57.
28. A. Bik, M. Girkar, P. Grey, X. Tian, Efficient exploitation of parallelism on Pentium III and Pentium 4 processor-based systems, Intel Technology Journal Q1 (March) (2001) 1-9.
29. D. Petkov, R. Harr, S. Amarasinghe, Efficient pipelining of nested loops: unroll-and-squash, in: 16th International Parallel and Distributed Processing Symposium, Fort Lauderdale, Florida, April, 2002.
30. W.-L. Chang, C.-P. Chu, J.-H. Wu, A simple and general approach to parallelize loops with arbitrary control flow and uniform data dependence distance, The Journal of Systems and Software 63 (2) (2002) 91-98.