系统结构4.PPT

4.5 循环展开和指令调度 注意对存储器数据的相关性分析 例如：对于load指令和store指令，如果它们在不同的循环迭代中访问的存储器地址是不同的，它们就是相互独立的，可以相互对调。 注意新的相关性 由于原循环不同次的迭代在展开后都到了同一次循环体中，因此可能带来新的相关性。 4.5 循环展开和指令调度 根据表4.4给出的延迟条件，超标量处理器如何进行循环展开和指令调度？ 4.5.2 静态超标量处理机中的循环展开 4.5 循环展开和指令调度 例4.8 下面是前面使用的循环程序段，对其进行循环展开，并在超标量流水线上进行调度。 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，表示尚未结束，转移到Loop继续 解 将循环展开5遍并调度，可得如下代码： Loop: L.D F0,0(R1) L.D F6,-8(R1) L.D F10,-16(R1) L.D F14,-24(R1) L.D F18,-32(R1) ADD.D F4,F0,F2 ADD.D F8,F6,F2 ADD.D F12,F10,F2 ADD.D F16,F14,F2 ADD.D F20,F18.F2 S.D F4,0(R1) S.D F8,-8(R1) S.D F12,-16(R1) S.D F16,-24(R1) DADDIU R1,R1,# -40 BNE R1,R2,Loop S.D F20,8(R1) 进一步针对超标量进行调度后的指令序列如下所示 整数指令 浮点指令 时钟周期 Loop: L.D F0（R1） 1 L.D F6,-8（R1） 2 L.D F10,-16（R1） ADD.D F4,F0,F2 3 L.D F14,-24（R1） ADD.D F8,F6,F2 4 L.D F18,-32（R1） ADD.D F12,F10,F2 5 S.D F4,0（R1） ADD.D F16,F14,F2 6 S.D F8,-8（R1） ADD.D F20,F18,F2 7 S.D F12,-16（R1） 8 S.D F16,-24（R1） 9 DADDIU R1,R1,#-40 10 BNE R1,R2,Loop 11 S.D F20,8（R1） 12 4.5 循环展开和指令调度 每次循环需12个时钟周期，即计算每个结果需要2.4个时钟周期。 （每次循环计算5个结果） 在普通的MIPS流水线上，没有调度的代码迭代一次为9个时钟周期，调度后为6个时钟周期，展开4次并调度后每个迭代为3.5个时钟周期。 与之相比，超标量流水线的性能提高分别为： 3.75倍、2.5倍、1.4倍 在这个例子中可以看到，超标量MIPS流水线的性能主要受限于：整数计算和浮点计算之间的平衡问题。 本例中没有足够的浮点指令来使两路流水线都达到饱和。 4.4 多指令流出技术 从图中可以看出： 程序基本可以达到3拍流出5条指令 IPC＝5/3＝1.67 条/拍 虽然指令的流出率比较高，但是执行效率并不是很高。 16拍共执行15条指令， 平均指令执行速度为15/16＝0.94 条/拍。 原因是浮点运算少，ALU部件成了瓶颈。 解决方法：增加一个加法器，把ALU功能和地址运算功能分开。 4.4 多指令流出技术 上述双流出动态调度流水线的性能受限于以下3个因素： 整数部件和浮点部件的工作负载不平衡，没有充分发挥出浮点部件的作用。 应该设法减少循环中整数型指令的数量。 每个循环迭代中的控制开销太大。 5条指令中有两条指令是辅助指令。 应该设法减少或消除这些指令。 控制相关使得处理机必须等到分支指令的结果出来后才能开始下一条L.D指令的执行。 4.4 多指令流出技术 把能并行执行的多条指令组装成一条很长的指令。 （100多位到几百位） 设置多个