第六章 指令流水线.pptVIP

例6.1 以下是某高级语言源程序中的两条赋值语句。 a = b + c; d = e – f; 假定 a, b, c, d ,e, f 在内存，地址分别用[a]、[b]、…. 、[f] 方案5：编译器进行指令顺序调整来解决数据冒险 Fast code: lw $2, [b] lw $3, [c] lw $5, [e] add $1, $2, $3 lw $6, [f] sw $1, [a] sub $4, $5, $6 sw $4, [d] Slow code: lw $2, [b] lw $3, [c] add $1, $2, $3 sw $1, [a] lw $5, [e] lw $6, [f] sub $4, $5, $6 sw $4, [d] 调整后 优化后的指令序列比优化前的指令序列在流水线中执行速度快。 6.3.3 控制相关 （Control Hazard） 正常情况下，指令在流水线中总是按顺序执行，当遇到改变指令执行顺序时，流水线中指令的正常执行会被阻塞。这种由于发生了指令执行顺序改变而引起的流水线阻塞称为控制冒险。 各类转移指令（包括调用、返回指令等）的执行，以及异常和中断的出现都会改变指令执行顺序，因而都可能会引发控制冒险。 Cycle 1 Cycle 2 Cycle 3 Cycle 4 Cycle 5 Cycle 6 Cycle 7 Cycle 8 Ifetch Reg/Dec Exec Mem Wr Ifetch Reg/Dec Exec Mem Wr 16: ori Ifetch Reg/Dec Exec Mem Wr Ifetch Reg/Dec Exec Mem Wr 24: add 12: Beq (target is 1000) 20: add Clk Ifetch Reg/Dec Exec Mem Wr 1000: lw Ifetch Reg/Dec Exec Mem Wr 8:sub 只有当beq指令执行到第5个时钟结束才能将转移目标地址1000送到PC的输入端，在第6个时钟到来后，取出1000号单元开始的指令送流水线中执行。但16、20、24单元中的指令已在流水线中被执行了一部分。 Control Hazard的解决方法 方法1：硬件上阻塞（stall）分支指令后三条指令的执行 使后面三条指令清0或 其操作信号清0，以插入三条NOP指令 方法2：软件上插入三条“NOP”指令 （以上两种方法的效率太低，需结合分支预测进行） 方法3：分支预测（Predict） 简单（静态）预测： 总是预测条件不满足(not taken)，即：继续执行分支指令的后续指令 动态预测： 根据程序执行的历史情况进行动态预测调整，能达90%的预测准确率 简单预测 它与指令执行历史无关，因此，它是一种静态预测方式。 基本做法 总预测条件不满足(not taken)，即：继续执行分支指令的后续指令； 预测失败时，需把流水线中错误预测指令丢弃掉 性能 如果转移概率是50%，则预测正确率仅有50% 预测错误的代价 预测错误的代价与何时能确定是否转移有关。越早确定代价越少 动态分支预测方法 简单的静态分支预测方法的预测成功率不高，应考虑动态预测 动态预测基本思想： 利用最近转移发生的情况，来预测下一次可能转移还是不转移 根据实际情况来调整预测 转移发生的历史情况记录在BHT（BPB或BTB） 每个表项由分支指令地址低位作索引，故在IF阶段就可以取到预测位 现在几乎所有的处理器都采用动态预测（dynamic predictor） 分支历史记录表BHT（或BTB、BPB） 指令预取器 分支指令地址 转移目标地址 预测位 分支指令地址 控制逻辑 指令执行 实际执行情况 命中与否 加入新项 顺序取 转移取 分支历史记录表BHT =？ 查找 ① 选择 ③ ② 预测 ④ 修正 查找时发现都不相等，则“未命中” 未命中说明什么？ 说明以前没有执行过该分支指令 命中时： 根据预测位，选择“转移取”还是“顺序取” 未命中时： 加入新项，并填入指令地址和转移目标地址、初始化预测位 最初BHT为空 BACK 另一种控制冒险：异常和中断 异常和中断会改变程序的执行流程 某条指令发现异常时，后面多条指令已被取到流水线中正在执行 例如ALU指令发现“溢出”时，已经到EX阶段结束了，此时，它后面已有两条指令进入流水线了 流水线数据通路如何处理异常? (举例说明) 假设指令add r1,r2,r3产生了溢出 （记住：MIPS异常处理程序的首地址为0x80