现代 CPU 如何执行代码：流水线、分支与内存

在 2024 年 GOTO Chicago 大会上，Matt Godbolt 用简化模型介绍现代 CPU 流水线、分支预测和内存，并主要使用 x86 示例。他建议测量真实工作负载，而不是只依靠直觉或模拟器。

前端获取并解码指令；执行机制可以在满足依赖关系的情况下乱序运行相互独立的操作。在这一简化模型中，指令按程序顺序退休提交，即使执行顺序发生了变化。

分支预测器提前猜测控制流，让长流水线持续获得工作。预测正确可避免浪费；预测错误时，处理器需要丢弃推测执行的工作并从正确路径重新开始。

寄存器重命名减少反复使用架构寄存器造成的假依赖。当输入和资源可用时，多个执行单元可以并行工作。

Godbolt 概述预测器如何使用分支位置和历史信息。他比较对随机数据和相同排序数据的循环，说明可预测的控制流即使经过语言解释器也可能影响运行时间。

布隆过滤器示例介绍概率性集合测试：它可以判断肯定不存在或可能存在，允许假阳性。Godbolt 用该例检查执行流水线中操作的成本。

他在 Compiler Explorer 中使用 llvm-mca 模拟指令调度。在他的示例中，动态取模可能导致成本较高的除法；选择二的幂作为表大小可以使用掩码，但这一选择可能影响哈希行为，必须结合应用评估。

编译器可能将除以已知常量替换为乘法和移位序列。细节取决于编译器、目标平台和数据类型，因此修改前应检查生成的代码并做基准测试。

内存访问与缓存行为可能主导运行时间。在他的链表示例中，顺序布局比随机指针快得多，因为访问模式、依赖关系和预取方式不同。数字描述的是他的测试，而非所有机器。

最后他介绍自顶向下性能分析和 perf 计数器，用来区分前端、推测执行、执行单元和内存瓶颈。演讲聚焦单核，多核一致性和 SIMD 留待进一步学习。