为何分支可提前判定时流水线仍需插入气泡（Stall）？

我在学习流水线技术、阅读《计算机组成与设计：硬件/软件接口（MIPS版）》时，对第4.6章的这段内容感到困惑：

假设我们添加足够的额外硬件，以便能在流水线的第二阶段完成寄存器测试、分支地址计算和PC更新（详情见COD第4.9章“控制冒险”）。即便有这些额外硬件，涉及条件分支的流水线仍如下图所示。若分支不执行，lw指令需额外停滞200ps时钟周期后才开始执行。

我最初猜测这意味着即便能在取下一条指令前的一个时钟周期内确定分支走向并更新PC，仍需插入气泡，但这在我看来不合理——既然知道该怎么做，为何不直接执行？我肯定遗漏了某些要点，但无法理清。

补充：文中提及的流水线分支时序图如下
[流水线分支时序图]

问题解析 #

要理解这个问题，得先明确MIPS经典流水线的阶段划分：IF（取指）、ID（译码/寄存器读）、EX（执行）、MEM（访存）、WB（写回）。

通常条件分支的判断（寄存器比较）和目标地址计算原本在EX阶段完成，现在通过硬件优化，把这些操作移到了ID阶段（第二阶段），目的是尽早确定分支是否跳转，减少控制冒险的影响。但为什么还是会出现停滞？核心原因在于流水线的并行性：

1. IF与ID阶段的并行操作：当分支指令进入ID阶段（时钟周期2）时，IF阶段已经在并行取下一条指令（也就是文中的lw指令）。此时分支判断还没完成，IF阶段的取指操作已经启动。
2. 分支判断的时间点延迟：即使把分支判断移到ID阶段，判断结果也是在ID阶段的后半周期才会输出。此时IF阶段对lw指令的取指已经开始，但还没完成——如果分支结果是“跳转”，就需要丢弃这条lw指令，转而取分支目标地址的指令；如果是“不跳转”，则继续完成lw的取指。
3. 停滞的本质是取指延迟：文中提到的“额外停滞200ps”，并不是插入气泡，而是等待lw指令的取指操作完成。因为分支判断结果出来时，lw的取指已经启动但未结束，必须等这个操作完成后，lw才能进入ID阶段，所以看起来lw的执行开始时间延迟了200ps。

简单来说，虽然我们能更早判断分支走向，但流水线的并行特性导致“取指”和“分支判断”同时进行，取指操作无法中途撤销（或者撤销成本太高），所以即使分支不执行，也需要等待当前取指完成，这就造成了看似不必要的停滞。

内容的提问来源于stack exchange，提问作者Prithvidiamond