6.3 缓存一致性与内存序

6.3 缓存一致性与内存序

本节摘要：本节是仓储车间的秩序中枢，处理两个容易被混为一谈的正交问题：多核副本谁新谁旧（缓存一致性，MESI 协议管辖），以及跨核事件的先后顺序（内存序，内存模型管辖）。读完你应当能用 MESI 状态机推演两个核心写同一地址的全过程，并能读懂数据竞争报告里的"释放、获取、顺序一致"术语。

多份拷贝的账本

6.2 节说过，写留在缓存里是常态。于是多核世界立刻出现一个尴尬：同一地址在核心 A 的缓存里是 5，在核心 B 的缓存里是 7——两个都"新"，哪个算数？缓存一致性协议的职责就是让这份多副本账本永远不出现分歧。主流协议 MESI 给每个缓存行标四种状态之一：M（已修改，本核独有且比内存新）、E（独占，干净）、S（共享，可能多核共有且干净）、I（无效，等于没有）。

推演一遍两个核心先后写同一地址：核心 A 读，拿到 E（独占）；核心 B 也要读，A 把行降级为 S，B 也持 S；核心 A 现在要写——S 状态不允许独改，A 先向 B 发失效广播，B 把自己的副本置 I，A 升级为 M 后安心独改；B 再读时，A 把修改过的数据交出（顺带回写内存），双方回到 S。整场谈判由缓存控制器自动完成，软件一无所知——这正是 1.3 节"缓存透明、一致性入约"的兑现：协议行为跨核一致是契约，谈判开销则是实现细节。

协议里藏着一个性能刺客：伪共享。两个互相无关的变量若恰好同居一行缓存，两核各自频繁修改自己的变量，失效广播就会来回轰炸——明明没有逻辑共享，性能却被协议的"礼尚往来"打残。解法朴素得惊人：把热点写变量按缓存行对齐隔离（各占一行），让逻辑隔离升级为物理隔离。多线程计数器数组的性能谜案，多半是它。

内存序：另一码事

一致性好比"账本唯一"，但账本唯一不等于记账顺序唯一。两个核心各自的操作序列，在对方眼里呈现的先后次序可能不同——这才是内存序问题。看经典的"消息传递"试金石：

// 核心 A                     // 核心 B
data  = 42;                   r1 = flag;      // 先看旗
flag  = 1;                    r2 = data;      // 再取货
// 直觉：B 若看到 flag 为 1，则 data 必为 42
// 现实（弱序平台）：A 的两次写可能被重排，B 可能见到 flag=1 而 data=0
​

重排的来源有真凶：处理器为掩盖写延迟把写指令塞进存储缓冲后移（5.4 节的存储缓冲），编译器也会为优化调整访存次序。内存模型就是给"允许哪些重排"立宪的宪法。光谱上，x86 居强序一端（TSO：只允许写读这一种重排——写晚出、读早到，其余按序），ARM 与 RISC-V 居弱序一端（四种重排基本都允许，靠显式语义逐步收紧）。同一个消息传递程序，在 x86 上裸奔常常侥幸无事，搬到 ARM 上就规律性出错——这类"换个平台才发作"的竞争正是内存序缺陷的签名。

获取释放：把秩序写回代码

修复手段延续 4.4 节的装备但换到程序级视角。最小修复是获取释放配对：A 的置旗用释放写（完工广播——data 的写入保证先于 flag 可见），B 的看旗用获取读（入场签到——后续读 data 保证看到旗后的事态）。一行语义，两个核心的顺序契约即告成立。更重的武器是顺序一致原子与全屏障：所有原子操作互不重排，代价是在弱序平台上插入更多屏障指令（x86 上几乎免费，ARM 上是真实的同步指令）。工程准则据此立起来：能用获取释放（默认的互斥锁内部即如此）就不上顺序一致；竞争数据全部走原子或锁，绝不裸奔混用——"一部分原子、一部分普通访问同一变量"是最常见的自毁式写法。

把内存模型当成合同来读

6.3 的术语体系有一个降低理解成本的办法：把内存模型当成一份两方合同。处理器承诺"单核内部，程序顺序对自身可见"（自己写的再读一定读到）；语言标准承诺"无竞争程序的表现符合顺序语义"（数据竞争是未定义行为的条款）。两边合同之间空着的部分——跨核事件的观察顺序——就是获取释放、屏障、顺序一致这些条款管辖的地带。读文档时按这个框架归位：看到 happens-before（事前发生）关系，那是语言合同的措辞；看到 barrier（屏障）指令，那是处理器的执行细则；看到 acquire 与 release，那是两层合同之间的翻译官。很多"内存模型劝退"的体验，源于把三层合同的条款混在一锅读。

给一个能落地的最小实践集：共享数据的默认姿势是锁（锁内部已配好获取释放）；锁外的高频单变量用语言原子类型的默认序；确认瓶颈在同步开销后再降序为获取释放；顺序一致留给需要全局顺序账本的少数场景。反过来，审查代码时只问一句：这处共享访问，落在哪条合同条款的管辖下？答不上来就是裸奔。

容易踩的坑

第一坑：以为一致性协议能救内存序。MESI 保证"不存在两份有效副本"，完全不保证"你以什么顺序看到别的核的写"——两个问题、两套机制，混谈必错。第二坑：在 x86 上写内存序裸奔代码。TSO 的强序让大量缺陷潜伏多年，直到移植到 ARM（如今手机与云服务器的大半江山）才集中爆发；跨平台代码从第一天就该用标准原子类型。第三坑：小看伪共享的表现形式——它不报错、只降速，常被误诊为"锁太重"或"调度不公"；剖析工具的缓存行争用计数（第 8 章工具链话题）才是确诊手段。第四坑：忽视编译器也是重排当事方。数据竞争在 C/C++ 内存模型里是未定义行为，编译器有权假设竞争不存在并大胆优化——修竞争要靠语言级原子语义，而不是加 volatile（4.4 节的老结论在程序级再次应验）。

本节要点回顾

• 一致性管副本唯一，内存序管事件先后——正交的两题，各有专法。
• MESI 四状态的失效与回写谈判由缓存控制器自动完成；谈判的广播开销是伪共享的病根。
• 伪共享：无关变量同居一行缓存即中招，按行对齐隔离是解药。
• 内存模型光谱：x86 强序（TSO）、ARM 与 RISC-V 弱序；弱序平台的缺陷在强序平台上潜伏。
• 获取释放配对是最小修复，顺序一致与全屏障是重武器；竞争数据必须全套原子或全套锁，拒绝混搭。