缓存一致性协议是否仅在使用原子类型与同步原语时才生效？

你的核心误解在于：CPU的缓存一致性协议是硬件层面默认生效的，并非只在使用同步原语时才激活。之所以普通变量跨线程访问看不到预期的一致性，问题出在软件层面的优化和内存可见性约束，而非硬件缓存一致性机制失效。

一、缓存一致性协议的本质：硬件默认维护 #

总线嗅探、缓存状态标记（dirty/modified等）这些机制是现代多核心CPU的标配，只要多个核心访问同一块物理内存，硬件就会自动通过这些机制维护缓存的一致性——比如当核心A修改了缓存中的某个地址，核心B如果持有该地址的缓存副本，硬件会自动标记B的副本为无效，当B再次访问时会从内存或A的缓存中拉取最新值。这个过程是CPU硬件自动完成的，不需要程序员或编程语言主动触发。

二、普通变量跨线程访问的问题根源：优化与可见性约束 #

你遇到的“线程写变量后其他线程读不到最新值”，不是缓存一致性没工作，而是以下两个软件层面的原因：

• 编译器/处理器的重排序优化：为了提升性能，编译器会把频繁访问的变量缓存到寄存器（根本不写入内存），或者调整读写指令的执行顺序；CPU也会乱序执行无依赖的指令。这些优化在单线程下没问题，但跨线程时会导致操作顺序和代码逻辑不一致，其他线程看不到“最新”的修改。
• 缓存刷新的时机：普通写操作不会强制CPU立刻把缓存中的修改同步到其他核心或内存，硬件会按自己的调度策略（比如缓存行满、空闲时）才做同步。这就导致即使缓存一致性机制在工作，其他线程也可能在一段时间内读到旧的缓存值。

三、同步原语/原子变量的真实作用：强制可见性与顺序 #

原子变量、互斥锁这些工具不是“激活”缓存一致性，而是通过插入**内存屏障（Memory Barrier）**解决上述软件层面的问题：

• 原子变量：对应的汇编指令会附带内存屏障（比如x86平台的lock前缀），一方面保证读写操作的原子性（不会被其他核心打断），另一方面强制CPU立刻刷新缓存到内存，同时阻止编译器/CPU对该变量的读写指令做重排序，确保其他线程能立刻看到最新值。
• 互斥锁：加锁和解锁操作同样会插入内存屏障，确保锁内的所有修改在解锁后对其他线程可见，同时保证指令不会越过锁的边界做重排序，让线程间的执行顺序符合代码逻辑。

总结 #

缓存一致性是硬件默认提供的底层保障，但编程语言为了性能，默认不对普通变量做内存可见性约束——这才是跨线程访问普通变量看不到预期结果的原因。同步原语的作用是在需要的时候，通过内存屏障强制约束内存可见性和指令顺序，让硬件的缓存一致性机制能按程序员的预期发挥作用。

内容的提问来源于stack exchange，提问作者Zebrafish