计算机体系结构第四章-2素材.pptxVIP

4.3 动态分支预测技术 4.3 动态分支预测技术 动态分支预测 在程序运行时，根据分支指令过去的表现来预测其将来的行为。 如果分支行为发生了变化，预测结果也跟着改变。 有更好的预测准确度和适应性。 需要解决的关键问题 如何记录分支的历史信息； 如何根据这些信息来预测分支的去向（甚至取到指令）。 4.3 动态分支预测技术 一.采用分支历史表 BHT（Branch History Table） 又称为分支预测缓冲器（Branch Prediciton Buffer） 最简单的动态分支预测方法。 用BHT来记录分支指令最近一次或几次的执行情况（成功或不成功），并据此进行预测。 1. 只有1个预测位的分支预测缓冲 记录分支指令最近一次的历史，BHT中只需要1位二进制位。（最简单） 2.采用两位二进制位来记录历史 提高预测的准确度 研究结果表明：两位分支预测的性能与n位（n2）分支预测的性能差不多。 1）两位分支预测的状态转换如下所示： 4.3 动态分支预测技术 2）操作步骤：（2步） 分支预测 当分支指令到达译码段（ID）时，根据从BHT读出的信息进行分支预测 。 若预测正确，就继续处理后续的指令，流水线没有断流。否则，就要作废已经预取和分析的指令，恢复现场，并从另一条分支路径重新取指令。 状态修改 4.3 动态分支预测技术 3. BHT方法只在以下情况下才有用： 适用情况：判定分支是否成功所需的时间大于确定分支目标地址所需的时间。 前述5段经典流水线：由于判定分支是否成功和计算分支目标地址都是在ID段完成，所以BHT方法不会给该流水线带来好处。 4. 研究结果表明：对于SPEC89测试程序来说，具有大小为4K的BHT的预测准确率为82%～99%。 一般来说，采用4K的BHT就可以了。 5. BHT可以跟分支指令一起存放在指令Cache中，也可以用一个专门的硬件来实现。 4.3 动态分支预测技术 二.采用分支目标缓冲器BTB (Branch Target Buffer) 目的：将分支的开销减少为 0 方法：分支目标缓冲器 BTB 将分支成功的分支指令的地址和它的分支目标地址都放到一个缓冲区中保存起来，缓冲区以分支指令的地址作为标识。 这个缓冲区就是分支目标缓冲器（Branch-Target Buffer，简记为BTB，或者Branch-Target Cache）。 4.3 动态分支预测技术 1.BTB的结构 4.3 动态分支预测技术 BTB是用专门的硬件实现的一张表格。 表格中的每一项至少有两个字段： ①执行过的成功分支指令的地址；（作为该表的匹配标识 ） ②预测的分支目标地址。 2.采用BTB后，在流水线各个阶段所进行的相关操作： 预测分支成功 实际分支不成功 BTB的建立 延迟2个时钟周期 之前不成功的分支 未执行过的分支 普通指令 三.基于硬件的前瞻执行 1. 前瞻执行（Speculation）的基本思想 对分支指令的结果进行猜测，并假设这个猜测总是对的，然后按这个猜测结果继续取、流出和执行后续的指令。只是执行指令的结果不是写回到寄存器或存储器，而是放到一个称为ROB（ReOrder Buffer）的缓冲器中。等到相应的指令得到“确认” （commit）（即确实是应该执行的）之后，才将结果写入寄存器或存储器。 4.3 动态分支预测技术 2.基于硬件的前瞻执行结合了三种思想： 1）动态分支预测。用来选择后续执行的指令。 2）在控制相关的结果尚未出来之前，前瞻地执行后续指令。 3）用动态调度对基本块的各种组合进行跨基本块的调度。 3.对Tomasulo算法加以扩充，就可以支持前瞻执行。 把Tomasulo算法的写结果和指令完成加以区分，分成两个不同的段： 写结果 指令确认 4.3 动态分支预测技术 写结果段 把前瞻执行的结果写到ROB中； 通过CDB在指令之间传送结果，供需要用到这些结果的指令使用。 指令确认段 在分支指令的结果出来后，对相应指令的前瞻执行给予确认。 如果前面所做的猜测是对的，把在ROB中的结果写到寄存器或存储器。 如果发现前面对分支结果的猜测是错误的，那就不予以确认，并从那条分支指令的另一条路径开始重新执行。 4.3 动态分支预测技术 支持前瞻执行的浮点部件的结构 介于保留站和寄存器组之间 支持前瞻执行的浮点部件的结构 换名功能是由ROB来完成的。 实现前瞻的关键思想： 允许指令乱序执行，但必须顺序确认。 4.3 动态分支预测技术 采用前瞻执行机制后，指令的执行步骤： 书P132 （在Tomasulo算法的基础上改造的 ） 1. 流出 从浮点指令队列的头部取一条指令。 如果有空闲的保留站（设为r）且有空闲的ROB项