循环交换(一)——基本概念
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)之前执行。
循环变换实际上是重排序变换。因为是重排序变换,故其合法性可以通过数据依赖关系判定。
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)之前执行。
循环变换实际上是重排序变换。因为是重排序变换,故其合法性可以通过数据依赖关系判定。
相关文章推荐
- Scala基本概念(二)——循环
- GO语言学习笔记1(基本概念,条件循环语句)
- 循环队列 基本概念
- Linux SWAP内存交换机制基本概念
- oracle(02): PL/SQL基本概念,关系运算符,顺序结构,分支结构,循环结构
- 清晰的路由和交换的基本概念简介
- 路由和交换的基本概念
- 【03】for和while循环关键字,函数基本概念
- Java的基本概念-三大循环
- 路由和交换的基本概念
- 经典必读:门控循环单元(GRU)的基本概念与原理
- 路由和交换的基本概念
- 路由和交换的基本概念
- Java基础:初学入门需掌握的30个基本概念
- 神经网络学习笔记-01-基本概念
- Spring笔记——Spring基本概念
- 第08天C语言(09):指针-基本概念
- 面向对象(高级)——接口的基本概念
- 一些.NET(c#)中的基本概念!
- ORACLE执行计划的一些基本概念