Dependence Analysis and Parallelizing Transformations.

作者: Sanjay V. Rajopadhye

DOI:

关键词: Automatic parallelizationFortranField (computer science)SupercomputerTheoretical computer scienceGeneralityComputer scienceYet anotherStructure (mathematical logic)Dependence analysis

摘要: The first impression one gets when phrases like dependence analysis and automatic parallelization are mentioned, is that of loop programs array variables. This not surprising, since loops the classic repetitive structure in any programming language, clearly, this where spend a significant amount their time. Second, because early impetus on high performance computing for large numerical applications (eg. FORTRAN programs) supercomputers, there has been long research effort parallelizing such programs. area active over quarter century, number well known texts topic readily available. Any approach to must be based following fundamental notions: (i) detection which statements iterations (possibly multiply nested possibly imperfect) depend each other, precise sense them produces value consumed by other; (ii) hence determining operations can executed parallel; (iii) transforming program so choice rendered explicit. problem called analysis, second constitutes additional necessary choose parallelization, third or restructuring. In all generality, these extremely difficult problems. Nevertheless, certain classes elegant powerful methods Therefore, rather than giving “yet another survey” vast field, we present chapter, somewhat less approach,

参考文章(46)
Thomas Kailath, Vwani Prasad Roychowdhury, Derivation, extensions and parallel implementation of regular iterative algorithms Stanford University. ,(1989)
Doran Wilde, Hervé Le Verge, Vincent van Dongen, Loop nest synthesis using the polyhedral library INRIA. ,(1994)
Paul Feautrier, Automatic Parallelization in the Polytope Model The Data Parallel Programming Model: Foundations, HPF Realization, and Scientific Applications. pp. 79- 103 ,(1996) , 10.1007/3-540-61736-1_44
Alain Darte, Yves Robert, Frederic Vivien, Scheduling and automatic parallelization ,(2000)
Utpal K. Banerjee, Dependence analysis for supercomputing ,(1988)
Fabien Quilleré, Sanjay Rajopadhye, Doran Wilde, Generation of Efficient Nested Loops from Polyhedra International Journal of Parallel Programming. ,vol. 28, pp. 469- 498 ,(2000) , 10.1023/A:1007554627716
John R. Allen, Ken Kennedy, PFC: A Program to Convert Fortran to Parallel Form ,(1982)
I. C. F. Ipsen, J. M. Delosme, Systolic array synthesis: computability and time cones Proceedings of the international workshop on Parallel algorithms & architectures. pp. 295- 312 ,(1986)
Vincent Lefebvre, Paul Feautrier, Optimizing Storage Size for Static Control Programs in Automatic Parallelizers european conference on parallel processing. pp. 356- 363 ,(1997) , 10.1007/BFB0002757