缓存伪共享指多线程修改同缓存行内不同变量时，因缓存一致性协议导致性能下降；可通过alignas对齐、填充字段、线程本地存储和优化数据结构布局来避免。
在C++多核CPU编程中，缓存伪共享（False Sharing）是一个常见的性能陷阱。它发生在多个线程频繁修改位于同一缓存行（Cache Line）中的不同变量时，导致缓存一致性协议频繁触发，降低程序性能。
什么是缓存伪共享
CPU缓存以缓存行为单位进行数据管理，通常每个缓存行大小为64字节。当两个或多个线程分别修改位于同一缓存行的不同变量时，即使这些变量逻辑上独立，CPU仍会认为该缓存行被多个核心“共享”，从而引发不必要的缓存同步操作。这种现象就是伪共享。
例如，两个线程分别更新同一个结构体中的相邻字段，尽管彼此不访问对方的数据，但由于它们处于同一缓存行，每次写入都会使对方的缓存失效，造成性能下降。
如何识别伪共享问题
伪共享通常表现为：程序在多线程下性能不升反降，或扩展性差，尤其在线程数增加时性能趋于平缓甚至恶化。使用性能分析工具如 perf（Linux）、Intel VTune 或 Valgrind 的 Cachegrind 模块可以帮助检测缓存行冲突和高频率的缓存无效事件。
立即学习“C++免费学习笔记（深入）”；
关注指标包括：
- L1/L2缓存未命中率升高
- 总线流量异常增加
- 频繁的缓存一致性消息（如MESI协议状态切换）
使用内存对齐避免伪共享
C++11引入了 alignas 关键字，可以强制变量按特定边界对齐。通过将频繁并发写入的变量隔离到不同的缓存行，可有效避免伪共享。
示例：使用 alignas(64) 将每个变量独占一个缓存行
struct alignas(64) Counter {
int value;
};
Counter counters[4]; // 每个 counter 占据至少64字节，确保不与其他共享缓存行
这样，每个线程操作自己的 counters[i] 时，不会影响其他线程的缓存状态。
填充字段隔离变量
在结构体中手动添加填充字段，使不同线程访问的变量间隔足够远，不在同一缓存行。
struct PaddedCounter {
int value;
char padding[64 - sizeof(int)]; // 填充至64字节
};
这种方法兼容性好，适合老标准C++。但需注意结构体布局和平台相关性（如缓存行大小可能非64字节）。
线程本地存储减少共享
尽量避免多线程直接竞争同一内存区域。使用线程本地存储（TLS）或每线程局部变量累积结果，最后再合并到全局变量。
例如：
thread_local int local_sum = 0;// 线程内累加 local_sum += delta;
// 最后合并 global_sum.fetch_add(local_sum);
这种方式大幅减少对共享变量的直接访问频率，从根本上规避伪共享。
合理设计数据结构布局
将被同一线程访问的变量放在一起，提高缓存局部性；将被不同线程修改的变量分开放置，避免落入同一缓存行。
避免使用数组结构体（SoA）不当导致相邻元素跨缓存行边界。可通过调整结构体内成员顺序或拆分结构体来优化。
基本上就这些。伪共享虽隐蔽，但通过合理对齐、填充、线程局部化和结构设计，能在C++中有效规避。关键是意识到共享内存的物理布局会影响性能，而不仅仅是逻辑正确性。
