当您在Swift中的同步队列中异步调度任务时，会发生什么

Question

我发现这会产生死锁，但我不知道为什么。基本上，我在类中有一个队列，每次应该更改类的状态时，我都会将队列中的任务作为同步任务运行：

private var serialQueue = DispatchQueue(label: "my_mutex_queue")
func changeState() {
serialQueue.sync {
// perform change
}
}

某些状态更改需要调用委托。在这种情况下，无法同步调用任务，因为这将导致死锁。然而，异步调度它也会导致死锁(我们仍然在队列"my_mutex_queue"中的同步任务"changeState"中)：

func notifyDelegate() {
serialQueue.async { 
// notify delegate
}
}

如果我将委托通知作为异步任务在不同的队列中运行，那么一切都可以正常工作。我在苹果的文档中找不到任何关于为什么在同一队列中调用异步任务会导致死锁的说明。

Answer 1

您不能从serialQueue正在执行的块中调用serialQueue.sync。

TL；DR；

以下是我认为可能发生的事情：

1. 您通过serialQueue.async从notifyDelegate调度块a
2. 在块A执行的上下文中，您的委托调用changeState，错误地假设当前线程不是serialQueue的线程
3. 在serialQueue的调用堆栈上的changeState方法中，您通过serialQueue.sync同步调度另一个块B，该块永远无法启动，因为您等待它在当前由serialQueue执行的先前异步调度的块A中启动

避免这种情况的方法：

1. 永远不要在用于同步的专用串行队列中调用公共回调

或

2. 不要使用专用队列进行同步，而是使用os_unfair_lock、NSLock或NSRecursiveLock。它还可能提高性能