《高性能处理器体系结构》推测执行：分支预测技术-1.ppt

* * Example: PAg with BTB * * 控制推测执行机制的分类 Not predict no branch prediction(block pipeline) Intel 8086 loop buffer(a very small I-Cache) Intel 80386 delayed branches(delay slots) eager execution(EE) IBM 360/91, Sun SuperSparc the number of paths grow exponentially unlimited resources not predictable branch, the branch direction changes in an irregular fashion disjoint eager execution(DEE) Alone with minimal control dependencies(MCD) * * 推测执行机制的分类 Predict Static（at compile time, via software） Always not taken Intel 80486 Always taken Sun SuperSparc Backward taken;Forward not taken(BTFN) HP PA-7x00 Semistatic(Profiling) Early PowerPC Dynamic（at runtime, via hardware ） 1bit DEC Alpha 21064, AMD-K5 2bit NextGen 586, PowerPC 604, Cyrix 6x86, CyrixM2, MIPS R10000 Two-level adaptive P6, AMD-K6 Selector(local/global) DEC Alpha 21264 Hybrid (combining static and dynamic scheme) ? Multiscalar Pentium IV ? * * 推测执行机制的分类 Others Predication alone Denelcor HEP Predication with software Cydrome Cydra5, P6 VLIW Itanium * * 术语 预测率（Prediction Rate）或预测精度（Branch Prediction Accurary, BPA） dynamic percentage of branches which are predicted correctly 误预测率（Misprediction Rate） dynamic percentage of branches that are not predicted correctly 误预测代价（Misprediction Penalty） Delay when a branch is not predicted correctly (squash ops, refill pipeline) Taken Delay Delay when a taken branch is correctly predicted Not-taken (fall-through) Delay Delay when a not-taken branch is correctly predicted. * * 实现动态分支预测技术要考虑的几个关键问题 如何保证准确的预测：根据记录的分支历史进行预测 如何记录分支历史，记录哪些分支历史 记录多少分支历史 何时更新：更新太早，分支指令也可能被取消；更新太晚，导致分支历史不准确 如何在取消推测执行的操作时现场精确性：使用例外处理的现场恢复机制 增加Commit流水级，在Commit时修改寄存器和内存 I/O指令的推测执行难以取消 如何识别流水线中的指令哪些需要取消，哪些不要取消：Commit时全部取消，执行后部分取消 例外取消一般在Commit时，取消所有后续指令 分支取消一般在执行后，只取消部分指令 延迟槽指令的处理 * * 分支指令的类型 条件分支和无条件分支 条件分支（branch）：常规情况下，需等待条件的确定和目标地址被计算出来后才能取指 整个程序中条件分支所占比例高 整型程序中的条件分支所占的比例，比浮点程序中条件分支所占的比例更高 无条件分支（Jump，call/return）：常规情况下，只需等待目标地址被计算出来后才取指 直接分支和间接分支 直接分支(bran