False sharing 是多个线程修改同一缓存行（通常64字节）内不同变量，导致缓存行频繁无效化和同步；确认方法包括 perf 显示 cache-misses 比例异常升高、线程数增加但性能下降、热点结构体字段地址模64相同。
什么是 false sharing，怎么确认它在拖慢你的线程
假共享不是代码写错了，而是多个线程频繁修改位于同一 CPU 缓存行（通常是 64 字节）的不同变量，导致缓存行在核心间反复无效化和同步。性能下降表现往往是：线程数增加，总耗时不降反升，perf 显示大量 cache-misses 或 LLC-load-misses，且 perf record -e cycles,instructions,cache-references,cache-misses 能看到缓存未命中率异常高。
- 用
perf stat -e cache-misses,cache-references,instructions,cycles对比单线程 vs 多线程运行，如果多线程下cache-misses比例显著上升（比如从 1% 到 15%+），嫌疑很大 - 检查热点结构体或数组——特别是被多个线程各自写入的相邻字段，比如
struct Counter { int a; int b; } counters[4];，若线程 0 写counters[0].a、线程 1 写counters[1].a，而sizeof(Counter) == 8，那它们大概率落在同一缓存行 -
clang++ -O2 -march=native下可用__attribute__((aligned(64)))手动对齐，配合pahole -C Counter（来自 dwarves 工具）看字段布局和填充
怎么避免 false sharing：padding、分离、重排
核心思路是让每个线程独占的变量不和其他线程的变量挤在同一缓存行里。不靠玄学，靠明确控制内存布局。
- 给热点变量加 padding：比如
struct alignas(64) ThreadLocal { int value; char pad[60]; };，确保value占满一整行；注意alignas(64)是对整个 struct 起作用，不是只对成员 - 避免数组连续存放线程私有数据：不要用
Counter counters[N];让线程 i 写counters[i]，改用指针数组或分配独立页：std::vector<:unique_ptr>> vec; for(...) vec.emplace_back(std::make_unique<counter>());</counter></:unique_ptr> - 重排结构体字段：把会被同一线程读写的字段放一起，跨线程访问的字段尽量隔开；用
offsetof验证关键字段地址模 64 是否相同 - 慎用
std::atomic：虽然它保证可见性，但std::atomic<int></int>本身不解决 false sharing；如果多个std::atomic<int></int>紧挨着定义，照样假共享
std::hardware_destructive_interference_size 是摆设吗
这个常量理论上返回“应避免共享的最小间距”，但在实际中不能直接信。GCC 12+ 和 Clang 14+ 才真正支持它，且它依赖编译器内建的缓存行宽度推测，不一定等于你 CPU 的真实 L1/L2 缓存行（多数是 64 字节，但某些 ARM 或老 Xeon 是 128 字节）。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- Linux 上可查真实值：
getconf LEVEL1_DCACHE_LINESIZE或cat /sys/devices/system/cpu/cpu0/cache/index0/coherency_line_size - 代码里别只写
alignas(std::hardware_destructive_interference_size)就完事——先确认你的编译器版本和目标平台是否真识别它；否则 fallback 到alignas(64) - 它只影响对齐，不自动插入 padding；你仍需手动确保字段之间足够距离，比如两个
alignas(64)变量定义在同一个 struct 里，中间没 padding，还是可能被编译器紧凑布局到同一行
用 std::vector 存多个线程局部状态时的坑
std::vector 默认连续分配，这正是假共享高发区。哪怕你每个元素都 alignas(64)，只要 vector 内部存储没对齐到 64 字节边界，第一个元素就可能卡在某缓存行中间，后续元素自然错位。
立即学习“C++免费学习笔记（深入）”；
- 不要这样：
std::vector<alignas counter> v(N);</alignas>——v.data()地址不保证 64 字节对齐 - 正确做法：用
std::aligned_alloc(64, N * sizeof(Counter))分配原始内存，再 placement-new 构造；或者用封装好的方案如boost::container::vector（支持自定义对齐 allocator） - 更简单稳妥：每个线程用独立
std::unique_ptr<counter></counter>，绕过连续布局问题；代价是少量额外指针开销，但远小于 false sharing 的惩罚 - 注意
std::vector<bool></bool>是特化，底层按位存储，绝对不要用它存线程间隔离的标志位——极易假共享
实际调试时，最易被忽略的是：你以为加了 alignas(64) 就万事大吉，却没验证最终变量地址是否真的按 64 对齐，也没确认它们是否真的分散在不同缓存行——得用 printf("%p\n", (void*)&x); 看地址，再算 ((uintptr_t)&x) % 64。
