用途
该技能用于解释现代 CPU 如何预测分支、推测执行、在预测失败时恢复，以及推测执行为何会产生侧信道（Spectre/Meltdown），从而把性能调优与具备安全意识的底层编码联系起来。
适用场景
- 热循环中分支密集的代码性能低于预期
- 评估 likely/unlikely 或分支消除（branchless）重构
- 理解内核 retpoline、IBRS 及类似缓解措施
- 围绕依赖秘密的分支进行安全编码
工作流程
1. 分支预测器基础
取指阶段遇到条件分支时：
- 预测方向（跳转 / 不跳转）
- 推测执行预测路径
- 在结果确定时：
- 正确 → 提交，约 0 惩罚（深流水线在预测失败时仍有代价）
- 错误 → 丢弃，从正确 PC 重新填充（通常 10–20+ 周期）
模式：向后分支通常预测为跳转（循环）；向前分支预测为不跳转。
2. 性能模式
可预测——紧凑循环的向后分支：
for (int i = 0; i < n; i++)
sum += a[i];
不可预测——依赖数据：
if (data[i] > threshold) /* 难以预测 */
rare_path();
技术：分支消除的 cmov/select、查找表、对数据排序以减少分支、拆分热/冷路径。
分支消除的最小值（整数）：
int m = a < b ? a : b; /* 编译器可能降为 cmov */
3. 编译器提示（谨慎使用）
#define likely(x) __builtin_expect(!!(x), 1)
#define unlikely(x) __builtin_expect(!!(x), 0)
if (unlikely(ptr == NULL))
return -EINVAL;
用 perf 测量——在现代预测器上，提示并非万能。
4. 推测执行与侧信道
CPU 可能在分支结果已知前执行指令。如果推测路径访问依赖秘密的内存，缓存状态可能泄漏（Spectre 变体 1）。
缓解措施（高层）：
- 内核：retpoline、IBRS/IBPB、STIBP（参见内核 cpu_show_mitigations）
- 编译器：推测加载加固（Clang 上的 -mspeculative-load-hardening）
- 代码：常量时间加密——不依赖秘密的分支或索引
Meltdown（Intel）：用户从内核映射加载——由 KPTI（分离页表）修复。
5. 测量
perf stat -e branches,branch-misses ./app
分支失败率高 → 调查热点分支。
6. 智能体用法
/branch-prediction-and-speculation Make this comparison function constant-time against Spectre-style leakage
常见问题
| 症状 | 原因 | 修复 |
|---|---|---|
| 循环比预期慢 | 退出分支预测失败 | 剥离迭代；分支消除的尾部 |
| likely 无帮助 | 预测器已经很好 | 先做性能分析 |
| 加密中秘密泄漏 | 基于秘密字节的分支 | 常量时间算法 |
| 缓解措施导致性能回退 | KPTI/retpoline 开销 | 接受或隔离秘密 |
| “分支消除”更慢 | CMOV 仍执行两个分支 | 在目标 CPU 上基准测试 |
相关技能
- skills/computer-architecture/cpu-pipelines-and-hazards — 控制冒险
- skills/security/kernel-security — KPTI、CET、推测缓解
- skills/low-level-programming/cpu-cache-opt — 缓存时序信道
- skills/profilers/hardware-counters — branch-misses 事件
- skills/runtimes/binary-hardening — 用户空间加固重叠