推测执行 (Speculative Execution)

定义

推测执行(Speculative Execution)指处理器在控制流或数据依赖尚未确定时,依据预测提前执行后续指令;若预测正确则直接采用结果,若错误则丢弃并回滚。

原理

最常见的形式是配合分支预测:遇到条件分支时,CPU不等待条件计算完成,而是沿预测的路径继续取指执行。推测结果暂存于重排序缓冲区等临时结构中,只有确认预测正确后才真正提交到架构状态。深流水线处理器若每次分支都停顿,性能损失巨大,推测执行可有效填满流水线。

安全问题

推测执行虽然不会改变架构可见的寄存器和内存,但会在缓存等微架构结构中留下痕迹。2018年公开的Spectre与Meltdown漏洞正是利用这一点,通过缓存侧信道读取本不可访问的数据,引发了处理器安全设计的广泛反思。

评价

推测执行是现代CPU单线程性能的重要来源,但也带来验证复杂度与安全风险,后续架构普遍加入了推测屏障等缓解机制。