Xcode Thread Sanitizer数据竞态检测异常：为何依赖Thread.sleep？

首先我们拆解你的代码场景：你有两个异步任务，分别在后台串行队列和主队列中对共享变量counter执行10000次自增操作。从代码逻辑上看，这确实存在数据竞态的潜在风险——但实际是否会触发竞态，取决于两个线程的访问是否真的在时间上重叠。

1. 无Thread.sleep时：任务执行无时间重叠 #

默认情况下，DispatchQueue(label: "q")创建的是一个串行后台队列，它的任务会被调度到非主线程执行。而主队列的async任务会被放到主队列的任务末尾，等viewDidLoad执行完毕后才会开始运行。

问题在于：不带sleep的自增循环执行速度极快——现代CPU能在几毫秒甚至更短时间内完成10000次简单的自增操作。这意味着后台队列的任务会在主队列的任务开始执行之前就已经全部完成。两个线程对counter的访问是完全串行的：后台线程写完所有操作后，主线程才开始写。这种情况下，根本不存在「两个线程同时访问共享变量」的场景，自然也就没有真正的数据竞态发生，TSan当然不会报警。

2. 加入Thread.sleep时：任务执行产生时间重叠 #

当你在后台线程的循环中加入Thread.sleep(forTimeInterval: 0.1)后，每次自增都会暂停0.1秒，整个后台任务会持续1000秒（10000*0.1）。这时候：

• 后台线程会缓慢地持续对counter进行写操作
• 主队列的任务会在viewDidLoad结束后立刻开始执行，同样对counter进行写操作

此时两个线程的访问时间窗口完全重叠，真正出现了无同步的并发写操作——这正是TSan要检测的典型数据竞态场景，所以它会立刻触发报警。

3. TSan的检测逻辑：只关心「实际发生的竞态」 #

TSan不会基于代码静态分析来判断「可能存在竞态」，它是运行时动态检测：它会跟踪每一个内存地址的访问线程、访问类型（读/写）以及访问的时间窗口。只有当它检测到两个不同线程在没有同步机制（比如锁、GCD栅栏等）的情况下，对同一内存地址的访问出现时间重叠，且至少有一个是写操作时，才会报告数据竞态。

回到你的场景：不带sleep时，两个线程的访问没有时间重叠，TSan观察不到竞态行为，所以不会报警；带sleep时，竞态行为真实发生，TSan就会准确捕捉到。

内容的提问来源于stack exchange，提问作者Hudi Ilfeld