假共享（False Sharing）

假共享是多核处理器并发编程中的一种隐性性能陷阱。它发生在多个线程各自访问互不相关的变量时,由于这些变量恰好落在同一条缓存行内,处理器的缓存一致性协议会把整条缓存行视为共享单位,使得任一核心对其中一个变量的写入,都会导致其他核心持有的该缓存行副本失效。

概述

现代处理器以缓存行为单位在内存与缓存之间传输数据,一条缓存行通常为六十四字节。当两个线程写入的变量分处不同核心却共享同一缓存行时,尽管它们逻辑上毫无关联,硬件仍必须来回同步这条缓存行,产生大量本可避免的一致性流量。这种因物理布局巧合而非真正数据共享引起的开销,便被称为假共享。

核心原理

• 缓存一致性协议以缓存行为最小同步单位,而非单个变量。
• 一个核心写入缓存行会使其他核心的同一缓存行进入失效状态。
• 失效后其他核心再次访问需重新从更低层缓存或内存加载,产生延迟。
• 访问越频繁、竞争的缓存行越集中,性能损失越严重。

应用场景

假共享常见于并发计数器数组、每线程独立累加的统计结构以及高性能队列的头尾指针等场景。典型的缓解手段是缓存行填充,即在热点变量之间插入占位字节,使它们分布到不同缓存行;也可通过将频繁写入的字段隔离对齐来避免。在高并发框架和无锁数据结构的实现中,对假共享的规避是关键的性能优化点。

常见问题

问:假共享和真共享有什么区别?答:真共享是多个线程确实访问同一个变量;假共享则是线程访问不同变量,只因它们同处一条缓存行而被迫同步,逻辑上并无数据竞争。

问:如何检测假共享?答:可借助性能分析工具观察缓存失效和一致性流量的异常升高,或通过对比填充前后的性能差异来定位。它通常表现为多线程扩展性不佳。