PARTITIONING AND LABELING OF LOOPS BY UNIMODULAR TRANSFORMATIONS

被引:23
作者
DHOLLANDER, EH
机构
[1] Department of Electrical Engineering, State University of Ghent
关键词
CONSTANT DEPENDENCE VECTORS; DATA DEPENDENCE REMAPPING; DO ALL CONVERSION; DYNAMIC SELF-SCHEDULING; NESTED LOOP PARTITIONING; UNIMODULAR TRANSFORMATION;
D O I
10.1109/71.149964
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
In a nested loop the indexes form an index vector and the index vectors of all iterations form the index set. The dependencies between the loop iterations are represented by dependence vectors, which are stored as the columns of the dependence matrix. Parallel execution of the independent subsets of the index set requires no communication or synchronization and is therefore quite efficient. A general method for the identification of the independent subsets in loops with constant dependence vectors is presented. First it is shown that the dependence relation remains invariant under a unimodular transformation. Then a unimodular transformation is used to bring the dependence matrix into a form where the independent subsets are obtained by a direct and inexpensive partitioning algorithm. This leads to a procedure for the automatic conversion of a serial loop into a nest of parallel DO-ALL loops. Another unimodular transformation results in an algorithm to label the dependent iterations of an n-fold nested loop in O(n2) time. This provides a multithreaded dynamic scheduling scheme requiring only one fork and one join primitive.
引用
收藏
页码:465 / 476
页数:12
相关论文
共 38 条
[1]  
ABASUFAH W, 1981, IEEE T COMPUT, V30, P341
[2]  
ALLEN JR, 1987, ACM T PROGRAMMING LA, V9
[3]   ALGORITHM AND BOUND FOR GREATEST COMMON DIVISOR OF N INTEGERS [J].
BRADLEY, GH .
COMMUNICATIONS OF THE ACM, 1970, 13 (07) :433-&
[4]  
Cytron R., 1986, Proceedings of the 1986 International Conference on Parallel Processing (Cat. No.86CH2355-6), P836
[5]  
Cytron R., 1987, Proceedings of the 1987 International Conference on Parallel Processing, P226
[6]  
CYTRON R, 1984, THESIS
[7]  
DHOLLANDER EH, 1989, PROCEEDINGS OF THE 1989 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, VOL 2, P139
[8]  
DOMICH PD, 1985, 8507 CATH U LOUV CTR
[9]   SYSTEMS OF DISTINCT REPRESENTATIVES AND LINEAR ALGEBRA [J].
EDMONDS, J .
JOURNAL OF RESEARCH OF THE NATIONAL BUREAU OF STANDARDS SECTION B-MATHEMATICAL SCIENCES, 1967, B 71 (04) :241-+
[10]   DYNAMIC PROCESSOR SELF-SCHEDULING FOR GENERAL PARALLEL NESTED LOOPS [J].
FANG, ZX ;
TANG, PY ;
YEW, PC ;
ZHU, CQ .
IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (07) :919-929