“真实卡顿”本质是伪共享引发的缓存行争抢：多个CPU核心频繁修改同一缓存行内的原子变量，触发MESI协议下缓存行反复失效与同步，导致总线拥塞、延迟激增；栈内共享加剧该问题，因本应私有的栈变量被跨线程访问，且编译器默认紧凑布局易造成多原子变量共处一缓存行。

并发流捕获栈内共享原子变量时出现的“真实卡顿”，本质不是原子操作变慢了，而是多个 CPU 核心在高频争抢同一缓存行上的原子变量，触发了底层总线/互连协议的激烈同步行为——这会显著拖慢所有涉及该缓存行的读写，甚至波及其他无关变量。

为什么原子变量也会引发总线竞争？

原子操作（如 fetch_add、store）虽不依赖锁，但硬件层面仍需保证跨核可见性。现代 CPU 通过缓存一致性协议（如 MESI 或 MOESI）维护多核间数据一致，而这个协议以“缓存行”（通常 64 字节）为单位工作。

当多个线程在不同核心上频繁修改**位于同一缓存行内的不同原子变量**（或一个变量紧挨着其他热字段），就会发生伪共享（False Sharing）。每次写入都会使该缓存行在各核心间反复失效、重载、同步，导致大量总线流量和延迟激增——这就是“激烈总线竞争”的物理根源。

栈内共享变量加剧了问题

栈变量本应是线程私有的，但若多个线程通过指针/引用访问**同一栈帧中被有意或无意暴露的原子变量**（例如：主线程分配栈空间并传给 worker 线程，且未做隔离），就打破了栈的天然隔离性。此时变量虽在栈上，却成了事实上的跨线程共享热点。

更危险的是，编译器可能将多个小原子变量（如 std::atomic<int> a, b;</int>）紧凑布局在同一个缓存行内——没有 padding 或对齐干预，它们就天然成为总线争抢的“捆绑包”。

如何验证与缓解？

可通过性能计数器确认：

• 观察 L1D.REPLACEMENT、MEM_LOAD_RETIRED.L3_MISS、UNC_CBO_CACHE_LOOKUP.ANY_I（Intel）等指标是否异常升高
• 使用 perf record -e cycles,instructions,cache-misses 对比有无竞争时的 CPI 和缓存失效率

缓解手段包括：

• 对共享原子变量做缓存行对齐：alignas(64) std::atomic<int> counter;</int>
• 避免将多个高频更新的原子变量放在同一结构体中；必要时用 [[no_unique_address]] + padding 隔离
• 改用线程本地计数 + 定期合并，减少全局原子更新频次
• 确认栈变量是否真被跨线程共享；优先改用堆分配+智能指针或线程局部存储（thread_local）