Exploitation of symbolic information in interprocedural dependence analysis

Parallel Computing

Volumn 22, Issue 2, 1996, Pages 197-226

  Johnson, S P ^a   Cross, M ^a   Everett, M G ^a  

^a UNIVERSITY OF GREENWICH   (United Kingdom)

Author keywords

Interprocedural dependence analysis; Parallelisation tools

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); INFERENCE ENGINES; PARALLEL PROCESSING SYSTEMS; PROGRAM COMPILERS;

COMPUTER AIDED PARALLELIZATION TOOLS (CAPTOOLS); DEPENDENCE GRAPHS; INTERPROCEDURAL DEPENDENCE ANALYSIS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0030082827     PISSN: 01678191     EISSN: None     Source Type: Journal    
DOI: 10.1016/0167-8191(96)00002-6     Document Type: Article

References (38)

1. C.S. Ierotheou, S.P. Johnson, M. Cross and P.P. Leggett, Computer aided parallelisation tools (CAPTools) - Conceptual overview and performance on the parallelisation of structured mesh codes, Parallel Computing 22(2) (1996), this issue.
2. P.P. Leggett, A.T.J. Marsh, S.P. Johnson and M. Cross, Integrating user knowledge with information from parallelisation tools to facilitate the automatic generation of efficient parallel FORTRAN code, Parallel Computing 22(2) (1996), this issue.
3. D.J. Kuck The Structure of Computers and Computations, Vol 1, (Wiley, New York, 1978).
4. D.J. Kuck, R.H. Kuhn, B. Leasure and M.J. Wolfe, The structure of an advanced vectoriser for pipeline processors, in: Proc. IEEE Computer Society Fourth Int. Computer Software and Applications Conf. (1980).
5. D.J. Kuck, R.H. Kuhn, B. Leasure, D.A. Padua and M.J. Wolfe, Compiler transformations of dependence graphs in: Conf. Record 8th ACM Symp. on Principals of Programming Languages (1981) 207-218.
6. U. Banerjee, Speedup of ordinary programs, PhD Thesis, University of Illinois at Urbana Champaign, 1979.
7. J.R. Allen and K. Kennedy, PFC - A program to convert Fortran programs to parallel form, in: Proc. IBM Conf. on Parallel Computation and Scientific Applications (1982).
8. J.R. Allen, and K. Kennedy, Automatic translation of Fortran programs to vector form, ACM Trans. Programming Languages Systems 9 (1987) 491-542.
9. J.R. Allen, D. Baumgartner, K. Kennedy and A. Porterfield, PTOOL: A semi-automatic parallel programming assistant, in: Proc. 1986 Int. Conf. on Parallel Processing (IEEE Computer Society, 1986) 164-170.
10. D. Callahan, K.D. Cooper, K. Kennedy and L. Torczon, Interprocedural constant propagation, in: Proc. ACM Symp. on Compiler Construction (1986) 152-161.
11. P. Havlak and K. Kennedy, An implementation of interprocedural bounded regular section analysis, in IEEE Trans. Parallel Distributed Syst. 2(3) (1991).
12. F. Irigoin, Interprocedural analysis for programming environments, in: Environments and Tools for Parallel Scientific Computing (North-Holland, 1992) 333-350.
13. M. Haghighat and C. Polychronopoulos, Symbolic dependence analysis for high-performance parallelizing compilers, in: Advances in Languages and Compilers for Parallel Processing (Pitman, 1990) 310-330.
14. Forge 90 Users Guide, Applied Parallel Research, 1992.
15. H.P. Zima, H.J. Bast and H.M. Gerndt, SUPERB - A tool for semi-automatic MIMD/SIMD parallelisation, Parallel Computing 6 (1988) 1-18.
16. H.P. Zima and B. Chapman, Supercompilers for Parallel and Vector Computers (Addison Wesley, 1990).
17. S.P. Johnson, C.S. Ierotheou and M. Cross, Code generation for message passing distributed memory systems, Parallel Computing 22(2) (1996), this issue.
18. U. Banerjee, Dependence Analysis for Supercomputing (Kluwer Academic, 1988). Publishers
19. J. Ferrante, K.J. Ottenstein and J.D. Warren, The program dependence graph and its use in optimisation, ACM Trans. on Programming Languages and Systems 9 (1987) 319-349.
20. A.V. Aho and J.D. Ullman, Principals of Compiler Design (Addison Wesley, 1977).
21. A.V. Aho, R. Sethi and J.D. Ullman, Compilers, Principals, Techniques and Tools (Addison Wesley, 1986).
22. S.P. Johnson, Mapping numerical software onto distributed memory parallel systems, PhD Thesis, University of Greenwich, 1992.
23. D.R. Anderson, D.J. Sweeney and T. Williams, An Introduction to Management Science (West Publishing Company, St Paul, Minn, 1988).
24. R.A. Frost, Introduction to Knowledge Based Systems (Collins Professional and Technical Series, London, 1986).
25. H. Anton, Elementary Linear Algebra (Wiley, Chichester, NY, 1984).
26. W. Pugh, A practical algorithm for exact array dependence analysis, Commun ACM 35 (8) (1992) 102-114.
27. M. Maslov, Lazy array data-flow dependence analysis, in: Proc. 21st Annual ACM Sigplan-Sigact Symp. on Principals of Programming Languages (Jan. 1994) 311-325.
28. K. Psarris, D. Klappholz and K. Kong, On the Accuracy of the Banerjee Test, in J. Parallel Distributed Computing 12 (1991) 152-157.
29. G. Goff, K. Kennedy and C-W. Tseng, Practical dependence testing, in: Proc. ACM SIGPLAN'91 Conf. on Programming Language Design and Implementation, Toronto, Canada (June 1991) 15-29.
30. X. Kong, D. Klappholz and K. Psarris, The I-Test: An improved dependence test for automatic parallelisation and vectorisation, IEEE Trans. Parallel And Distributed Systems 2 (1991) 342-349.
31. D.E. Maydan, J.L. Hennessy and M.S. Lam, Efficient and exact data dependence analysis, in: ACM SIGPLAN'91 Conf. on Programming Language Design and Implementation, Toronto, Canada (June 1991) 1-14.
32. M. Wolfe and C-W. Tseng, The power test for data dependence, IEEE Trans. Parallel And Distributed Systems 3(5) (1992) 591-601.
33. Z. Li and P-C. Yew, Program parallelisation with interprocedural analysis, J. Supercomputing 2 (1988) 225-244.
34. K. Kennedy, K.S. McKinley and C-W. Tseng, Interactive parallel programming using the Parascope editor, IEEE Trans. Parallel and Distributed Systems 2(3) (1991) 329-341.
35. M. Burke and R. Cytron, Interprocedural dependence analysis and parallelisation, ACM SIGPLAN'86 Symp. on Compiler Construction (June 1986) 162-175.
36. W. Pugh and D. Wannacott, Eliminating false dependencies using the Omega test ACM SIGPLAN'92 Conf. on Programming Design and Implementation, San Francisco, CA (July 1992) 140-151.
37. M. Highighat and C. Polychronopoulos, Symbolic program analysis and optimisation for parallelising compilers, in Proc. Languages and Compilers for Parallel Computing 5th International Workshop, New Haven, CT (Aug 1992).
38. M. Wolfe, Triangular Banerjee's inequalities with directions, Technical Report, Oregon Graduate Institute of Science and Technology, 1992.