为什么 concurrentQueue.sync 不会导致死锁

Question

这段代码会死锁，因为：

1. 他们在同一个线程中
2. print(2) 必须等待 print(3)
3. print(3) 必须等待 print(2)

例如：

DispatchQueue.main.async {
    print(Thread.current)
    DispatchQueue.main.sync {
        print(Thread.current)
        print(2)
    }
    print(3)
}

为什么在concurrentQueue 不会造成死锁？它们也在同一个线程中。

DispatchQueue.global().async {
    print(Thread.current)
    DispatchQueue.global().sync {
        print(Thread.current)
        print(2)
    }
    print(3)
}

Answer 1

你问：

为什么在concurrentQueue 不会造成死锁？它们也在同一个线程中。

不，它们必须在同一个线程中。它们在同一个队列，，但不一定是同一个线程。（作为优化的一部分，见下文，它实际上可能最终在同一个线程上运行，但不一定如此。但从逻辑上讲，您应该将其视为在单独的线程上运行。）

这就是“并发队列”背后的全部想法，它们可以在不同的线程上运行单独的分派任务。这就是它们允许并发操作的方式。并发队列上的一个分派任务可以在一个线程上运行，而同一队列上的另一个分派任务可以在单独的线程上运行。

正如旧的Concurrency Programming Guide 在“并发队列”的定义中所说：

当前正在执行的任务在由调度队列管理的不同线程上运行。

或者，作为DispatchQueue documentation says：

DispatchQueue 管理工作项的执行。提交到队列的每个工作项都在系统管理的线程池上进行处理。 [强调]

---

让这更令人困惑的是有一个 GCD 优化，如果你是 dispatching synchronously ...

作为性能优化，这个函数尽可能在当前线程上执行块...

因此，当从队列同步调度时，它实际上可以最终在同一个线程上运行该代码（除非您从后台队列调度到主队列）。考虑：

let queue = DispatchQueue.global()
let queue2 = DispatchQueue(label: "queue2")

queue.async {
    print(1, Thread.current)
    queue2.sync {
        print(2, Thread.current)
    }
    print(3, Thread.current)
}

第二个print 语句将表明，即使您有一个完全不同的队列，作为上述sync 优化的一部分，它也可以在当前线程上运行代码。如果内部 sync 调用与外部块被分派到的 queue 相同，情况也是如此。

现在看这个优化的结果，感觉和串行队列的场景很像，其实不然。串行队列一次只允许一个调度的任务运行，因此根据定义，尝试同步调度（阻塞当前线程直到调度的块运行）到它自己是死锁。

但是并发队列分派给自己通常不会死锁。一个警告是工作线程的数量是相当有限的，所以如果你有“线程爆炸”（你可能有超过 64 个工作线程在运行），那么它可能会死锁，所以请确保将你的并发限制在合理的范围内价值。