现代CPU（如Intel Skylake）BTB替换机制及分支预测测试疑问

核心疑问解答 #

1. Skylake架构的BTB替换策略 #

Intel官方并未完全公开BTB的具体替换逻辑，但基于业界测试和逆向分析，Skylake及后续相近架构的BTB（尤其是L1 BTB）普遍采用**伪LRU（PLRU）**替换策略。部分更小型的前端BTB（如L0 BTB）可能使用更简单的FIFO或基于使用频率的近似策略，以平衡硬件复杂度和预测效率。

2. BTB替换策略与缓存替换的区别 #

两者核心差异在于设计目标和优化方向：

• 缓存的替换策略（如LRU/PLRU）完全围绕数据/指令的访问局部性，优先保留最近或最频繁访问的内容，以降低内存访问延迟。
• BTB的替换不仅考虑访问的时间局部性，还会结合分支类型（无条件跳转/条件分支）、预测准确率、地址哈希冲突情况等因素。例如，预测准确率高的分支条目可能被赋予更高的保留优先级，而哈希冲突频繁的条目可能被更早淘汰——毕竟BTB的核心是提升分支预测的准确率，而非单纯的“保留常用内容”。
  另外，BTB的总条目数远小于指令缓存（比如Skylake的L1 BTB约有1600条条目，而L1指令缓存有32KB），所以替换触发的频率和优先级判断逻辑更紧凑。

3. BTB条目占用与替换触发逻辑 #

• 当分支命中BTB时，只会更新该条目的“最近使用”标记，不会重新占用新条目；
• 当分支未命中BTB且BTB已满时，会立即触发替换流程，按照预设的替换策略淘汰优先级最低的条目，同时将当前分支的信息写入新条目。
  注意：首次执行的分支无论类型，只要需要BTB辅助预测，就会尝试占用新条目。

实测结果分析 #

Kaby Lake（i7-7700）测试 #

执行test_branches→flush_btb→test_branches流程（其中flush_btb含32K次jmp，test_branches含4K次jmp），预期分支miss率较高，但实际仅0.12%。原因是：Kaby Lake架构下，短距离无条件jmp的目标地址可在指令解码阶段直接计算（相对偏移量直接解码），无需依赖BTB存储目标地址，因此即使flush_btb填满BTB，也不会影响原有test_branches中jmp的预测准确率。

Alder Lake（i9-12900H）测试 #

同样流程下flush_btb会导致分支miss数显著增加，说明该架构的BTB设计发生变化——可能长距离无条件jmp或所有无条件jmp的预测都需要依赖BTB，因此flush_btb淘汰了test_branches中jmp的BTB条目，导致二次执行时出现miss。

条件分支（jne）测试 #

将jmp改为jne后，Kaby Lake上分支miss率在10%-83%波动；移除flush_btb调用后，miss率在6%-64%波动。这是因为：

• 条件分支的预测高度依赖BTB（存储目标地址）和BHT（存储分支历史），flush_btb的大量jne会占用BTB条目，导致原有test_branches中的jne条目被淘汰，二次执行时出现miss；
• 波动源于哈希冲突（多个分支哈希到同一BTB/BHT条目）和分支历史的随机性，导致不同测试轮次的miss率差异较大。

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