4. 分支预测优化：BTB、分支历史表、静态/动态预测

分支预测，说白了就是让CPU猜一猜——猜下一条指令该往哪走。你想想看，流水线里指令哗哗地流，突然遇到一个条件分支，到底是走if还是走else？如果等执行完才知道结果，那流水线就得停，一停就是十几个周期，性能直接崩了。

我刚开始做ARMv8优化时，总觉得分支预测是硬件的事，软件管不着。后来调一个网络转发程序，吞吐死活上不去，perf一看，分支误预测率高达15%。嗯，从那以后我再也不敢小看这玩意儿了。

4.1 分支预测的基本原理

ARMv9的分支预测，核心就三样东西：BTB（分支目标缓冲器）、分支历史表、预测算法。它们配合起来，才能让流水线不停顿。

我给你们画个图，看看分支预测在流水线里的位置：

4.2 BTB：分支目标缓冲器

BTB是个什么东西？说白了就是个缓存，存的是「这条分支指令跳转到哪里去」。每次遇到分支指令，CPU先去BTB里查一下：哎，上次这条指令跳到了哪个地址？如果查到了，直接拿那个地址去取指，不用等译码结果。

BTB的条目通常包含：

字段	说明	典型位宽
标签（Tag）	分支指令地址的高位	20~30位
目标地址	跳转后的PC值	32/64位
预测位	是否跳转的预测	1~2位
历史信息	过去几次跳转的模式	2~10位

4.3 分支历史表

分支历史表记录的是「这条分支过去几次是怎么跳的」。ARMv9里常见的有两种：

• 局部历史表（LHT）：每条分支指令独立记录自己的跳转历史。适合模式固定的分支，比如循环体内的条件判断。
• 全局历史表（GHR）：所有分支共享一个历史记录。适合分支行为跟上下文相关的场景，比如状态机里的跳转。

我个人的习惯是：如果分支模式有明显的周期性（比如每3次跳、1次不跳），用局部历史表效果更好。如果分支行为跟前面几条分支的执行结果有关，那就得上全局历史表了。

4.4 静态预测 vs 动态预测

静态预测和动态预测，区别就在于「要不要学」。静态预测是编译时就定好的，不学；动态预测是运行时根据历史行为调整的，越用越准。

对比项	静态预测	动态预测
预测依据	指令类型、编译器提示	运行时历史行为
准确率	60%~75%	90%~99%
硬件开销	几乎为零	需要BTB+历史表
适用场景	冷启动、简单分支	热点分支、复杂模式
ARMv9支持	默认回退方案	主流预测方式

ARMv9的默认策略是：先试动态预测，如果BTB没命中，就回退到静态预测。静态预测的规则很简单：

• 条件分支：向后跳转预测「跳」，向前跳转预测「不跳」
• 无条件分支：直接跳，不用预测
• 函数返回：用RSB（返回栈缓冲器）预测

4.5 实战优化技巧

说了这么多理论，来点实在的。我在调优ARMv9性能时，总结了几条分支预测优化的经验：

1. 减少分支密度：每16条指令里不要超过1条分支。分支太密，BTB容易冲突。
2. 对齐热点分支：把最常执行的分支指令放在同一个缓存行里，减少BTB查找次数。
3. 使用__builtin_expect：给编译器提示哪个分支更可能执行，帮助生成更好的代码布局。
4. 避免过于随机的分支：比如哈希表查找，可以用位运算或查表替代。
5. 监控perf事件：重点关注branch-misses和branch-predictions。

4.6 ARMv9特有的预测增强

ARMv9相比v8，在分支预测上做了几个重要改进：

• 更大的BTB：从v8的512条目扩展到2048条目，减少冲突。
• 三级预测器：L1快速预测（1周期）、L2准确预测（2周期）、L3全局预测（3周期），按需选择。
• 分支历史长度自适应：根据分支模式自动调整历史记录长度，从4位到16位动态切换。
• 安全增强：针对Spectre类攻击，增加了分支预测隔离机制。

嗯，这些改进对性能调优意味着什么？意味着你可以在ARMv9上跑更复杂的分支模式，而不用担心BTB冲突。但话说回来，硬件再强，也架不住代码写得烂。该优化的地方，还是得优化。