您的位置:首页 > 其它

循环交换(一)——基本概念

2009-04-20 23:39 141 查看
交换紧嵌套中两个循环的嵌套顺序(提高程序性能最有效的变换之一)。例如:

1Do I = 1,N
2 Do J = 1,M
3 A(I,J+1) = A(I,J) + B
4 ENDDO
5ENDDO
此例子中最内层语句3存在内层循环携带依赖。无法按向量代码生成算法codegen作向量化。

但是交换这两层循环,如

1Do J = 1,M
2 Do I = 1,N
3 A(I,J+1) = A(I,J) + B
4 ENDDO
5ENDDO
依赖关系变成外层循环,而内层循环不携带依赖。因此,内层循环可以被向量化为:

1Do J = 1,M
2 A(1:N,J+1) = A(1:N,J) + B
3ENDDO
如果把此过程颠倒过来,变成内层并行循环移动到最外层以增加并行粒度和减少同步开销。

结论:循环变换实际上是一种重排序交换,可以把循环看成所包含语句的一系列参数化实例。循环变换就是改变这些参数化实例的执行顺序,但并没有产生任何新的实例。

在以下的代码中令S(I,J)表示参数为I,J的语句S的实例。换句话说,S(I,J)是语句S在迭代向量为(I,J)的迭代中执行时的实例。

1DO J = 1,M
2 DO I = 1,N
3 S
4 ENDDO
5ENDDO
使用这种记法,在此代码中S(1,2)在S(2,1)之后执行,但是在循环变换后,它变成在S(2,1)之前执行。

循环变换实际上是重排序变换。因为是重排序变换,故其合法性可以通过数据依赖关系判定。
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: