流水线冒险详解

流水线冒险（Hazard）指流水线中无法在下一个时钟周期执行下一条指令的情况。出现冒险时，处理器通常通过插入气泡（bubble / stall）或冲刷（flush）来化解，这会降低流水线的实际吞吐率。

定义

多条指令同时需要同一硬件资源（如同一个存储器端口、同一个乘法器）。

典型场景

• 指令和数据共用一个存储器端口（IF 取指 与 MEM 访存 冲突）；
• 只有一个乘法器，两条乘法指令并行执行。

解决方法

1. 资源复制：分离指令 Cache 和数据 Cache（哈佛结构）；
2. 流水线停顿：插入气泡（bubble / stall）错开资源使用。

定义

指令之间存在数据依赖关系，后续指令需要前面指令的结果。

三种依赖类型

解决方法

1. 插入气泡（Stall）

停顿 1~2 个周期等待数据就绪。性能损失大。

2. 数据前递 / 旁路（Forwarding / Bypassing）

将 ALU 的计算结果直接转发到下一条指令的 ALU 输入端，而不等写回寄存器。

ADD R1, R2, R3    ; EX 阶段产生结果
SUB R4, R1, R5    ; 需要 R1 → 通过前递直接拿到

3. 编译器调度

重排指令顺序，避免紧邻的数据依赖。

4. 前递 + 停顿组合（Load-Use）

LW  R1, 0(R2)     ; 数据在 MEM 末尾才出
ADD R3, R1, R4    ; EX 阶段就需要 → 必须 stall 1 周期

定义

分支指令的结果在后续阶段才确定，导致已进入流水线的指令可能是错误的（须冲刷）。

解决方法

1. 等待（Stall）：等分支结果确定后再取指。性能最差。
2. 预测不跳转（Predict Not Taken）：假设不跳转，继续取下一条；猜错则冲刷。
3. 预测跳转（Predict Taken）：假设跳转，直接取目标地址指令。
4. 延迟分支（Delayed Branch）：分支后的延迟槽（delay slot）中的指令总是执行，编译器填入有用指令。
5. 动态分支预测：
   • 1-bit 预测器：上次跳转则预测跳转；
   • 2-bit 预测器：需连续两次预测错才改变预测方向；
   • BTB（分支目标缓冲）：缓存分支目标地址。