乱序引擎建模：ROB、物理寄存器堆与重命名
更新时间：2026-10-01。已有 乱序核建模，本文把后端几个“容量即性能”的结构讲透。
本文要回答的问题
- 物理寄存器堆大小为什么能直接决定 IPC 上限？
- ROB 和重命名表各管什么？
- 怎么判断瓶颈在取指、执行还是提交？
一、重命名与物理寄存器
重命名把 ISA 寄存器（如 x0–x31）映射到数量更多的物理寄存器，消除 WAR/WAW 假相关，让指令真正并行。在途（in-flight）指令数受物理寄存器空闲条目限制：条目耗尽，重命名阶段必须停顿，即使执行单元空闲也无法发射新指令。
二、ROB：顺序提交
指令可乱序执行，但必须按程序顺序进入 ROB 并顺序提交，从而实现精确异常、误预测恢复和按序写回架构状态。ROB 深度等于“能向后看多远”，越深越能容忍长延迟（cache miss），但面积/功耗越大。
三、其它队列与宽度
发射队列（保留站）存等待操作数就绪的指令；load/store 队列管理访存顺序与前递；取指/解码/重命名/发射/提交各级宽度构成流水线吞吐，最窄一级限制整体 IPC。
四、结构容量→瓶颈
gem5 O3CPU 中这些都是参数（numROBEntries、numPhysXXRegs、LQ/SQ、issue/commit width），做灵敏度扫描并用停顿统计归因，而不是盲目加大所有结构。
五、常见坑
- 只加 ROB 不加物理寄存器，重命名先耗尽，收益为零。
- 忽略级宽，结构再大也被最窄级卡住。
- 把 cache-miss 停顿误判成执行单元不足。
- 容量参数不平衡，面积暴涨却没有 IPC 收益。
小结
物理寄存器限制在途指令、ROB 决定容忍延迟的窗口、各级宽度决定吞吐；容量要配合停顿归因联合优化。下一篇 向量/SIMD 执行建模。
总结
乱序后端的性能上限由物理寄存器堆条目（限在途指令数）、ROB 深度（容忍 cache miss 的窗口）和流水线最窄级宽度共同决定，调参必须先用各阶段停顿统计做 top-down 归因，再平衡地放大结构，而不是盲目堆容量。