汇编_并行计算(指令级)课件.ppt

第四章 指令级并行Instruction-Level Parallelism, ILP 第四章 指令集并行 指令的相关 指令之间存在的潜在并行性称为指令级并行(Instruction-Level parallelism, ILP) 思考：是什么阻碍实现指令级并行？ CPI流水线 = CPI理想 ? 第四章 指令集并行 指令的相关 程序中指令之间的依赖关系，描述了指令和指令之间的属性 数据相关：指令 i 以后的指令使用 i 产生的结果 名相关：指令使用的寄存器或者存储器称为名 反相关 : 指令 j 写的名是 指令 i 读的名 输出相关：指令 j 写的名是 指令 i 写的名 控制相关 ? 流水线控制冲突（相关） 第四章 指令级并行指令的相关与流水线相关（冲突） 指令的相关是程序的固有属性；流水线的冲突（相关）是由于指令的相关属性导致的。对应关系： 数据相关 ?流水线写后读冲突（相关） 名相关 反相关 ? 流水线写后写冲突（相关） 输出相关 ? 流水线读后写冲突（相关） 控制相关 ? 流水线控制冲突（相关） 第四章 指令集并行 流水线实际CPI 理想流水线的CPI加上各类停顿的时钟周期数： CPI流水线 = CPI理想 + 停顿结构冲突 + 停顿数据冲突+ 停顿控制冲突 理想CPI是衡量流水线最高性能的一个指标。 IPC：Instructions Per Cycle （每个时钟周期完成的指令条数） 第四章 指令级并行 本章所研究的技术 第四章 指令级并行循环级并行性 基本程序块 基本程序块：一段除了入口和出口以外不包含其他分支的线性代码段。 程序平均每5～7条指令就会有一个分支。 第四章 指令级并行循环级并行性 基本程序块 基本程序块：一段除了入口和出口以外不包含其他分支的线性代码段。 程序平均每5～7条指令就会有一个分支。 第四章 指令级并行循环级并行 循环级并行：使一个循环中的不同循环体并行执行。 开发循环体中存在的并行性 最常见、最基本 是指令级并行研究的重点之一 例如，考虑下述语句： for （i=1； i=500； i=i＋1） a[i]=a[i]＋s； 每一次循环都可以与其他的循环重叠并行执行； 在每一次循环的内部，却没有任何的并行性。 本节中，我们使用的浮点流水线延迟为： 例4.6 对于下面的源代码，转换成MIPS汇编语言，在不进行指令调度和进行指令调度两种情况下，分析其代码一次循环所需的执行时间。 for (i=1； i=1000； i++) x[i] = x[i] + s； 把该程序翻译成MIPS汇编语言代码： Loop：L.D F0,0（R1） // 取一个向量元素放入F0 ADD.D F4,F0,F2 // 加上在F2中的标量 S.D F4, 0（R1） // 保存结果 DADDIU R1,R1，#-8 //指针减8（每个数据占8个字节） BNE R1,R2,Loop // 如果R1不等于R2，未结束，继续 其中： 整数寄存器 R1：指向向量中的当前元素，初值为向量中最高端元素的地址） 整数寄存器 R2：8（R2）指向最后一个元素。 浮点寄存器 F2：用于保存常数 s。 不进行指令调度的情况下，程序的实际执行情况： 指令调度以后，程序的执行情况如下： 把DADDIU指令调度到了L.D指令和ADD.D指令之间的“空转”拍。 把S.D指令放到了分支指令的延迟槽中。 对存储器地址偏移量进行调整。 问题 只有L.D、ADD.D和S.D这3条指令是有效操作。 (取、加、存)占用3个时钟周期。 而DADDIU、空转和BEN这3个时钟周期都是附加的循环控制开销。 如何改进？ 循环展开技术 把循环体的代码复制多次并按顺序排列，然后相应调整循环的结束条件。 这给编译器进行指令调度带来了更大的空间。 第四章 指令级并行循环展开调度基本方法 基本思想：把循环展开后，通过重命名和指令调度来开发更多的并行性。 调度： 通过改变指令在程序中的位置，将相关指令之间的距离加大到不小于指令执行延迟的周期数，这样就可以将相关的指令转化为无关指令。 编译器完成这种指令调度的能力受限于两个特性： 程序固有的指令级并行性； 流水线功能部件的执行延迟。 循环展开和指令调度时要注意以下几个方面： 保证正确性。 在循环展开和调度过程中尤其要注意两个地方的正确性：循环控制，操作数偏移量的修改。 注意有效性。 只