Optimal fine and medium grain parallelism detection in polyhedral reduced dependence graphs

作者: Alain Darte , Frédéric Vivien

DOI: 10.1023/A:1025168022993

关键词:

摘要: This paper presents an optimal algorithm for detecting line or medium grain parallelism in nested loops whose dependences are described by approximation of distance vectors polyhedra. In particular, this is the classical direction sectors. result generalizes, to case several statements. Wolf and Lam's which a single statement. Our relies on dependence uniformization process parallelization techniques related system uniform recurrence equations. It can also be viewed as combination both Allen Kennedy's algorithm.

参考文章(27)
Thomas Kailath, Vwani Prasad Roychowdhury, Derivation, extensions and parallel implementation of regular iterative algorithms Stanford University. ,(1989)
S. Rao Kosaraju, Gregory F. Sullivan, Detecting Cycles in Dynamic Graphs in Polynomial Time (Preliminary Version) symposium on the theory of computing. pp. 398- 406 ,(1988)
Utpal Banerjee, A theory of loop permutations languages and compilers for parallel computing. pp. 54- 74 ,(1990)
John R. Allen, Ken Kennedy, PFC: A Program to Convert Fortran to Parallel Form ,(1982)
A. Darte, F. Vivien, A classification of nested loops parallelization algorithms emerging technologies and factory automation. ,vol. 1, pp. 217- 234 ,(1995) , 10.1109/ETFA.1995.496776
Alexander Schrijver, Theory of Linear and Integer Programming ,(1986)
Paul Feautrier, Some efficient solutions to the affine scheduling problem: I. One-dimensional time International Journal of Parallel Programming. ,vol. 21, pp. 313- 348 ,(1992) , 10.1007/BF01407835
ALAIN DARTE, LEONID KHACHIYAN, YVES ROBERT, LINEAR SCHEDULING IS NEARLY OPTIMAL Parallel Processing Letters. ,vol. 1, pp. 73- 81 ,(1991) , 10.1142/S0129626491000021
Richard M. Karp, Raymond E. Miller, Shmuel Winograd, The Organization of Computations for Uniform Recurrence Equations Journal of the ACM. ,vol. 14, pp. 563- 590 ,(1967) , 10.1145/321406.321418