伪共享会导致多线程性能下降，因不同线程修改同一缓存行中的变量引发频繁同步；可通过 alignas 或填充使变量对齐缓存行边界，如用 std::hardware_destructive_interference_size 隔离，确保每个线程独占缓存行，避免无效刷新。
在C++多核并发编程中，伪共享（False Sharing）是影响性能的常见陷阱。它发生在多个线程修改不同但位于同一CPU缓存行中的变量时，导致缓存一致性协议频繁刷新缓存，从而显著降低程序效率。尽管线程操作的是“不同的”变量，但由于这些变量靠得太近，CPU仍会将其视为共享数据，引发不必要的同步开销。
理解伪共享的成因
CPU通常以缓存行为单位管理内存，常见缓存行大小为64字节。当两个变量位于同一缓存行，并被不同核心上的线程频繁修改时，即使逻辑上无关，一个核心修改变量会导致该缓存行在其他核心上失效。这迫使其他核心重新从内存加载数据，造成性能下降。
例如：
struct SharedData {
int a; // 线程1 修改
int b; // 线程2 修改
};
若 a 和 b 被不同线程频繁写入，且位于同一缓存行，则会发生伪共享。
立即学习“C++免费学习笔记（深入）”；
使用缓存行对齐填充避免伪共享
最直接的方法是确保每个线程独占的变量位于独立的缓存行中。可通过填充使结构体成员间隔至少一个缓存行。
示例：手动填充
struct PaddedData {
int value;
char padding[64 - sizeof(int)]; // 填充至64字节
};
多个 PaddedData 实例将不会共享缓存行。若目标平台缓存行为64字节，这种方式有效。
利用标准对齐说明符 alignas
C++11 提供 alignas 关键字，可指定变量或类型的对齐方式。结合缓存行大小，能更清晰地实现隔离。
定义跨平台缓存行对齐类型：
static constexpr size_t cache_line_size = 64;struct alignas(cache_line_size) AlignedInt { int value; };
这样声明的变量会自动对齐到缓存行边界，前后不留共享空间。
用于数组时特别有效：
AlignedInt counters[4]; // 每个 counter 独占一个缓存行
每个线程更新自己的 counters[i].value 时，不会干扰其他线程。
实际场景建议与注意事项
伪共享多发于计数器数组、状态标志组或多线程累加场景。识别并优化这些热点是提升并发性能的关键。
- 优先对频繁写的共享数据结构进行对齐处理
- 读多写少的变量通常不受伪共享影响，无需过度优化
- 注意编译器可能优化掉无意义的填充字段，应确保填充参与内存布局
- 使用 std::hardware_destructive_interference_size（C++17起）获取推荐的隔离尺寸
例如：
struct alignas(std::hardware_destructive_interference_size) Counter {
int value;
};
此方式更具可移植性，适配不同架构的缓存行大小。
基本上就这些。关键是在高并发写入场景中意识到内存布局的影响，通过合理对齐隔离变量，就能有效避开伪共享带来的性能损耗。不复杂但容易忽略。
