内核perf c2c缓存一致性分析与调优实战 - 第1节
1.1 什么是缓存一致性
在现代多核处理器系统中，每个 CPU 核心都拥有自己的私有缓存（L1/L2）。当多个核心同时访问同一内存地址时，各核心缓存中可能保存着该地址的不同副本。缓存一致性（Cache Coherence）就是确保这些分散的缓存副本与主存数据保持一致的硬件协议和机制。
核心问题： 核心 A 修改了变量
x 的缓存副本，核心 B 读取同一变量时，必须看到最新的修改值，而不是过时的旧值。
如果没有缓存一致性，多线程程序将出现不可预测的数据竞争和逻辑错误。缓存一致性是共享内存多核架构的基石，也是 perf c2c 工具分析的核心对象。
缓存一致性的三个基本要求
| 要求 | 说明 |
|---|---|
| 写传播 | 一个核心的写操作必须被其他核心感知到 |
| 写串行化 | 所有核心对同一地址的写操作顺序必须一致 |
| 值一致性 | 任何时刻，所有核心对同一地址的读操作应返回最近一次写操作的值 |
1.2 MESI 协议简介
MESI 是最经典的缓存一致性协议，它定义了缓存行的四种状态，通过总线嗅探机制维护一致性。每个缓存行都处于以下四种状态之一：
| 状态 | 全称 | 含义 | 是否与主存一致 |
|---|---|---|---|
| M | Modified | 缓存行已被修改，且仅存在于当前核心缓存中 | 不一致（脏数据） |
| E | Exclusive | 缓存行未被修改，且仅存在于当前核心缓存中 | 一致 |
| S | Shared | 缓存行未被修改，且可能存在于多个核心缓存中 | 一致 |
| I | Invalid | 缓存行无效，不包含有效数据 | — |
关键理解： MESI 协议通过状态转换和总线消息（Read、Read Invalidate、Writeback 等）来保证一致性。当核心需要写入一个处于 S 状态的缓存行时，必须先向总线发送 Invalidate 消息，使其他核心的副本失效，然后才能写入。
MESI 状态转换图
下图展示了 MESI 协议中缓存行在本地操作和远程操作下的状态迁移路径：
1.3 缓存行与伪共享
缓存行（Cache Line）
缓存行是 CPU 缓存与主存之间数据交换的最小单位。在 x86_64 架构中，缓存行大小通常为 64 字节。这意味着即使程序只修改一个 4 字节的 int 变量，CPU 也会加载其所在的整个 64 字节缓存行到缓存中。
关键特性： 缓存行是缓存一致性协议的操作粒度。MESI 协议中的状态（M/E/S/I）是针对每个缓存行独立维护的。
伪共享（False Sharing）
伪共享是指多个线程分别访问位于同一缓存行中的不同变量，导致缓存行在多个核心之间频繁失效和重载的现象。虽然线程之间没有直接共享数据，但缓存行的粒度使它们产生了不必要的竞争。
性能陷阱： 伪共享是高性能并发编程中最隐蔽的性能杀手之一。它不会导致数据错误，但会引发大量的缓存一致性消息（Invalidate/Writeback），造成严重的性能下降，甚至比真正的数据共享开销更大。
伪共享示意图
伪共享的检测与避免
| 方法 | 说明 | 示例 |
|---|---|---|
| 缓存行填充 | 在变量之间插入填充字节，使不同线程访问的变量位于不同缓存行 | struct { int a; char pad[60]; int b; } |
| 对齐分配 | 使用 __attribute__((aligned(64))) 或 alignas(64) 强制对齐 |
alignas(64) int a; |
| perf c2c 检测 | 使用 perf c2c record/report 定位伪共享热点 |
perf c2c record -a sleep 10 |
| 线程本地存储 | 将频繁访问的变量改为线程私有，避免共享 | __thread int local_var; |
实战建议： 在编写高性能并发数据结构时，始终将不同线程访问的变量分散到不同的缓存行中。使用
perf c2c 工具可以快速识别伪共享导致的缓存一致性开销，是后续课程的核心分析手段。