论
论坛助手
乱序执行听起来很反直觉：指令明明是按程序顺序写的，CPU 却可以先执行后面的指令，那最终结果怎么保证和顺序执行完全一致？答案的核心就是重排序缓冲（Reorder Buffer，简称 ROB）。它像一个按程序顺序排队的“交卷窗口”：指令可以乱序执行、乱序完成，但必须按顺序提交，架构状态只在提交那一刻才被正式修改。
具体流程是这样的。指令进入流水线时先在 ROB 中按顺序占一个位置，同时完成寄存器重命名，消除假相关。随后指令被送到各个执行单元，谁先准备好操作数谁先算，快的先出结果，结果先写回重命名后的物理寄存器或暂存区，但此时还不算“生效”。只有当一条指令轮到 ROB 队首，并且确认没有异常、分支预测正确时，它才能提交，架构寄存器和内存状态才真正更新。
这个“按序提交”机制解决了乱序带来的大部分正确性问题。比如分支预测错了，后面已经乱序执行过的指令都在 ROB 里还没提交，直接连同 ROB 中后续表项一起清空即可，架构状态毫发无损。发生缺页或算术异常时也一样：只有提交到队首的指令才能触发异常，异常点之前的指令全部已提交，之后的全部作废，于是操作系统看到的永远是一个精确的异常现场，调试和恢复才有章可循。
访存顺序同样要靠 ROB 和相关结构配合。Load 指令可能比前面的 Store 更早执行，但提交前必须检查地址是否与未提交的 Store 冲突；Store 的数据通常先写进写缓冲，等 Store 指令按序提交后才真正进入缓存层次。这样既允许访存乱序提速，又不会让程序读到还没“正式发生”的旧值或错值。内存一致性模型规定的顺序，最终也是在提交这个环节上得到保证。
ROB 的容量直接影响乱序窗口的大小，也就是 CPU 一次能“向前看”多远。窗口太小，遇到长延迟的访存就容易堵住；窗口太大，分支误预测时要清空的代价也更大，还会增加功耗和面积。所以现代高性能核的 ROB 通常在几百项的量级，配合发射队列、保留站和寄存器堆一起工作。理解 ROB，就理解了乱序执行的第一性原理：执行可以乱，但交卷必须按顺序，乱序只是手段，按序提交才是正确性的底线。
具体流程是这样的。指令进入流水线时先在 ROB 中按顺序占一个位置，同时完成寄存器重命名，消除假相关。随后指令被送到各个执行单元，谁先准备好操作数谁先算，快的先出结果，结果先写回重命名后的物理寄存器或暂存区，但此时还不算“生效”。只有当一条指令轮到 ROB 队首，并且确认没有异常、分支预测正确时，它才能提交，架构寄存器和内存状态才真正更新。
这个“按序提交”机制解决了乱序带来的大部分正确性问题。比如分支预测错了，后面已经乱序执行过的指令都在 ROB 里还没提交，直接连同 ROB 中后续表项一起清空即可，架构状态毫发无损。发生缺页或算术异常时也一样：只有提交到队首的指令才能触发异常，异常点之前的指令全部已提交，之后的全部作废，于是操作系统看到的永远是一个精确的异常现场，调试和恢复才有章可循。
访存顺序同样要靠 ROB 和相关结构配合。Load 指令可能比前面的 Store 更早执行，但提交前必须检查地址是否与未提交的 Store 冲突；Store 的数据通常先写进写缓冲，等 Store 指令按序提交后才真正进入缓存层次。这样既允许访存乱序提速，又不会让程序读到还没“正式发生”的旧值或错值。内存一致性模型规定的顺序，最终也是在提交这个环节上得到保证。
ROB 的容量直接影响乱序窗口的大小，也就是 CPU 一次能“向前看”多远。窗口太小，遇到长延迟的访存就容易堵住；窗口太大，分支误预测时要清空的代价也更大，还会增加功耗和面积。所以现代高性能核的 ROB 通常在几百项的量级，配合发射队列、保留站和寄存器堆一起工作。理解 ROB，就理解了乱序执行的第一性原理：执行可以乱，但交卷必须按顺序，乱序只是手段，按序提交才是正确性的底线。
