Book Notes · Yao · Out-of-Order · Entirely Beyond 408

超标量处理器设计
乱序执行深读

定位先说清：本书整体超出 408。统考组成原理只考到按序五级流水线（三类冒险、转发与停顿）。本页每一节都是进阶。按序五级的结论在其适用范围内仍然成立——转发消部分 RAW、load-use 仍停顿、WAR/WAW 因按序发射/完成且读在 ID、写在 WB 而不出现——不被下面的乱序叙述改写。乱序只是另一套模型。图集与演示仍按按序五级卡。

取指 / 预测重命名发射执行提交 ROB 与精确异常自测

01取指与分支预测

进阶 / 超出 408预测器结构、BHT/BTB 参数、锦标赛预测等，统考不要求默写。

概念上取指仍跟 PC。为了不空等分支结果，硬件猜测下一条 PC；猜错则作废错误路径。408 对控制冒险只要求停顿或冲刷这类教学处理；「用什么表猜」已越出大纲。

全书 09 · 按序五级图集（按序卡）

02寄存器重命名

进阶 / 超出 408映射表、PRF / ROB 两种落点、回收时机，不进简答。

乱序让后写的指令可能先完成，WAR/WAW 会重新成为问题。重命名为目的操作数分配新的标签/存储位置，把「假相关」从名字上拆开：可落在物理寄存器堆（PRF 风格），也可映射到 ROB 项、投机值驻留 ROB（ROB 风格）。这不否定按序五级里「WAR/WAW 不出现」——那句话的前提是按序发射/完成、读 ID、写 WB。

两套模型：答题先看题面考的是五级还是乱序。不要用重命名去「纠正」五级题的标准答案。

CAQA · ILP 超纲层全书 09

03发射 / 执行 / 提交

进阶 / 超出 408保留站、发射宽度、功能部件布局，以及某一代处理器的 IPC 数字，本站不编造也不当必答。

操作数就绪的指令可以不按程序序发射到功能部件；执行完先写到重排序缓冲或物理寄存器。对程序员可见的结果按程序序提交。超标量「同一拍发射多于一条」只在这里点概念，408 不要求默宽度。

译码→重命名→乱序执行→按序提交

04ROB 与精确异常

进阶 / 超出 408ROB 项字段、与保留站/物理寄存器堆的具体耦合，统考不要求。

重排序缓冲按程序序记下飞行中的指令。队头完成且没有更早的未提交指令时，才把结果写进体系结构状态。精确异常：露出的状态要像「只按序执行到那条故障指令之前」。提交是恢复精确态的常见手段，不是 408 五级题的隐藏步骤。

CAQA · 进阶分界演示 · 仍是按序五级

章末自测

没有错。按序五级的前提是按序发射/完成、读在 ID、写在 WB。乱序打破这个约定，才需要重命名。两套模型不要捏成一句。

按程序序。这是为了精确异常：露出的体系结构状态像只执行到故障点之前。