# 并发与内存模型检查清单

## 线程与同步

- 新增跨线程共享可变状态是否缺少 `mutex`、`lock_guard`/`unique_lock` 或其它可证同步，导致数据竞争。
- 锁顺序是否引入可证死锁（嵌套锁、多把锁交叉获取）。
- 在持锁范围内是否调用可能重入或回调用户代码的路径，导致同锁再入或顺序反转。

## 原子与可见性

- 对非原子类型的跨线程读写是否依赖「可见性」而无同步；`volatile` 是否被误当作线程同步手段。
- `memory_order` 使用是否明显过弱，导致发布/获取语义不足（仅在 diff 展示具体顺序时可证）。

仅在 diff 能支撑结论时报告问题；不猜测运行时调度或硬件细节。