竞态更新3

要解决的具体问题

并发代码里最棘手的一类缺陷不是「永远失败」，而是「偶尔失败」。当多个执行流在没有正确同步的情况下读写同一份共享状态时，调度顺序的微小变化就会改变结果：本地测试全绿，上线后却间歇性出现脏数据、丢失更新，甚至状态机卡死。这类竞态条件（race condition）的难点在于难以复现——你很难让 CI 稳定地踩中那条错误的交错路径。

技能如何工作

该技能面向竞态条件测试这一场景，核心能力是制造并观察不一致的执行交错：

• 定位共享状态：梳理可能被多个执行流同时访问的状态，例如共享缓存、计数器、队列与文件句柄；
• 构造交错路径：通过改变调度时序，让不同执行流以不同顺序进入临界区，暴露执行顺序依赖；
• 收集可判定结果：对每次运行断言状态一致性，记录哪些交错导致失败、哪些能够通过。

典型工作流是：先确定待测模块与并发入口，再反复执行并注入时序扰动，最后把观察到的异常与预期行为对比，让「偶发」变成可稳定复现的失败。

适用边界与注意点

• 它只是测试辅助工具，不是并发问题的自动修复器：发现竞态后仍需人工设计同步方案；
• 竞态天然不确定，单次运行通过不代表没有缺陷，结论应来自多次运行与压力场景；
• 无法覆盖所有调度器行为，结果受限于运行环境与实际负载。