伪共享会导致多线程性能下降，当不同线程修改同一缓存行中的变量时，会因缓存一致性协议频繁同步；可通过alignas(64)或填充使每个线程独占缓存行，合理组织数据结构并使用线程本地存储减少共享，结合性能工具分析优化，从而有效避免该问题。
在C++的并发编程中，伪共享（False Sharing）是影响性能的关键隐患之一。当多个线程修改位于同一缓存行（Cache Line）的不同变量时，即使这些变量逻辑上互不相关，CPU缓存系统仍会频繁地同步整个缓存行，导致性能急剧下降。这种现象就是伪共享。
理解伪共享的本质
现代CPU通常以64字节为单位管理缓存行。如果两个被不同线程频繁写入的变量位于同一个64字节的缓存行内，哪怕它们属于不同的对象或线程局部数据，也会引发缓存一致性协议（如MESI）的频繁刷新。结果是内存带宽浪费、延迟增加，多核并行反而变慢。
例如，以下代码就容易出现伪共享：
struct Counter {
int a; // 线程1频繁修改
int b; // 线程2频繁修改
};
Counter counters[2];
// 线程1: ++counters[0].a
// 线程2: ++counters[1].b → 可能与counters[0].a在同一缓存行
使用缓存行对齐避免伪共享
C++11引入了alignas关键字，可以强制变量按特定边界对齐。最有效的方式是确保每个线程独占的变量都独占一个缓存行。
立即学习“C++免费学习笔记（深入）”；
推荐做法：将频繁并发写入的变量用结构体封装，并填充或对齐到64字节：
struct alignas(64) PaddedCounter {
int value;
// 编译器自动补足到64字节
};
或者显式填充：
struct PaddedCounter {
int value;
char padding[64 - sizeof(int)];
};
这样每个PaddedCounter实例都会独占一个缓存行，彻底杜绝与其他变量的伪共享。
合理组织并发数据结构
在设计数组或容器供多线程写入时，避免让相邻索引映射到同一缓存行。常见策略包括：
- 使用填充后的结构体数组，如
std::array - 在关键计数器之间插入间距，例如每项间隔64字节
- 采用线程本地存储（TLS）汇总后再合并，减少共享写入
例如统计场景中，可为每个线程分配独立计数器：
alignas(64) std::atomicthread_counters[MAX_THREADS];
各线程只更新自己的槽位，最终再汇总结果。
利用编译器和硬件特性辅助优化
部分编译器支持指示对齐的属性或pragma。GCC和Clang支持：
[[gnu::aligned(64)]] std::atomicfast_var;
也可通过性能分析工具（如perf、VTune）检测缓存未命中热点，定位潜在的伪共享区域。
注意：x86/x64平台缓存行为一般为64字节，但应以目标平台为准。可定义跨平台常量：
constexpr size_t cache_line_size = 64;
struct alignas(cache_line_size) AlignedType { ... };
基本上就这些。识别热点变量、合理对齐、隔离写入域，就能有效规避伪共享问题。关键是意识到——多线程不是只要正确就行，布局决定性能。
