竞态条件检测

通过锁/排序分析诊断并发缺陷