原子操作(atomics)与互斥锁(mutexes)的缓存行同步差异及断言验证

你的断言的正误判断 #

你提到的这个断言不完全准确，下面具体拆解二者在缓存行同步上的真实逻辑：

原子操作的缓存行同步逻辑 #

• 原子操作（比如atomic_add、atomic_compare_exchange这类指令）只会针对当前操作涉及的那一个缓存行做同步：
  • 执行原子操作时，CPU会通过MESI这类缓存一致性协议，先拿到目标缓存行的独占/修改权限，操作完成后再根据协议把这个缓存行的内容同步给其他核心的缓存或者内存，完全不会碰其他无关的脏缓存行。
  • 原子操作本身不会触发全局的缓存刷新，只处理和当前操作绑定的那一行。

互斥锁的缓存行同步逻辑 #

• 互斥锁的加锁、解锁这些关键步骤，同样只针对锁变量所在的那个缓存行做同步：
  • 加锁的时候，CPU得先拿到锁变量缓存行的独占权限；解锁的时候，会把这个缓存行的状态同步给其他核心。整个过程根本不会同步“全部脏缓存行”，也不会主动清空什么缓冲区。
  • 有些互斥锁实现会搭配内存屏障（比如mfence）来保证内存访问顺序，但内存屏障只是约束读写的先后顺序，不是同步所有脏缓存行或者清缓冲区。只有当互斥锁导致线程阻塞，触发操作系统的上下文切换时，当前核心可能会刷新缓存，但这是操作系统调度的行为，不是互斥锁本身的逻辑。

总结 #

• 原子操作：只同步目标缓存行，和其他缓存行无关。
• 互斥锁：核心操作仅同步锁变量所在的缓存行，不会同步全部脏缓存行；只有触发线程调度时才可能伴随缓存刷新，这属于系统行为，不是锁的特性。

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