虚假共享指多线程中独立变量因同属一个缓存行而引发频繁同步，降低性能；通过缓存行填充或alignas对齐使变量独占缓存行，可有效避免该问题。
在多线程C++程序中，即使变量是独立的，也可能因为它们在内存中靠得太近而引发性能问题。这种现象叫做“虚假共享”（False Sharing），它会显著降低程序的并发效率。解决这个问题的关键在于理解CPU缓存的工作方式，并通过缓存行填充来避免。
什么是虚假共享？
现代CPU将内存划分为固定大小的块，称为“缓存行”（Cache Line），通常为64字节。当一个核心修改某个变量时，整个缓存行会被标记为“已修改”，其他核心中该缓存行的副本就会失效。如果两个线程分别修改位于同一缓存行上的不同变量，即使它们互不干扰，也会频繁触发缓存同步，造成性能下降。
举个例子：
struct Data {
int a;
int b;
};
Data data;
// 线程1 修改 data.a
// 线程2 修改 data.b
如果 a 和 b 在同一个缓存行上，两个线程的操作会导致反复的缓存失效，这就是虚假共享。
立即学习“C++免费学习笔记（深入）”；
如何用缓存行填充解决？
核心思路是确保不同线程访问的变量位于不同的缓存行上。最直接的方法是手动填充结构体，使每个关键变量独占一个缓存行。
假设缓存行大小为64字节，可以这样定义结构体：
struct PaddedData {
int value;
char padding[64 - sizeof(int)]; // 填充至64字节
};
这样每个 PaddedData 实例占用一整行缓存，避免与其他变量共享缓存行。
如果要保护多个频繁修改的变量，可以分别独立填充：
struct Shared {
int a;
char pad1[64 - sizeof(int)];
int b;
char pad2[64 - sizeof(int)];
};
这样 a 和 b 分别位于不同的缓存行，即使被不同线程修改也不会产生虚假共享。
使用对齐关键字简化填充
C++11 提供了 alignas 关键字，可以更清晰地实现缓存行对齐：
struct AlignedData {
alignas(64) int a;
alignas(64) int b;
};
这会强制 a 和 b 分别对齐到64字节边界，确保它们不会落在同一个缓存行。编译器会自动处理中间的填充空间，代码更简洁且可读性更强。
也可以对整个结构体进行对齐：
alignas(64) struct Counter {
int count;
};
适用于数组中多个元素需要独立缓存行的情况。
实际使用建议
虚假共享在高性能并发场景中尤其明显，比如无锁队列、计数器数组、线程本地存储等。检测它需要性能分析工具（如perf、VTune）观察缓存未命中情况。
优化时注意：
- 不要盲目填充所有结构体，只针对高并发写入的变量
- 缓存行大小因架构而异（x86_64通常是64字节），可定义宏提高可移植性
- 考虑使用
std::hardware_destructive_interference_size
（C++17起）
#ifdef __cpp_lib_hardware_interference_size
constexpr size_t cacheline_size = std::hardware_destructive_interference_size;
#else
constexpr size_t cacheline_size = 64;
#endif
用这个常量代替硬编码的64，提升跨平台兼容性。
基本上就这些。理解缓存行为，合理使用填充或对齐，能有效避免虚假共享带来的性能陷阱。
