Swift - 如何防止 DispatchQueues 在同一个线程上执行？

Question

我最近一直在学习线程和 DispatchQueues，并且遇到了一个大问题。我多次听说 GCD不保证给定的工作块可以在哪个线程上执行。大多数时候，这是一个有用的层次抽象。但是，我遇到了一个我仍然不知道原因的错误，但这让我意识到在我看来 GCD 这方面的潜在缺陷是什么。

例子：

let queue1 = DispatchQueue(label: "one")
let queue2 = DispatchQueue(label: "two")
queue1.sync {
    let importantValue1 = "importantValue1"
    let importantValue2 = queue2.sync {
        return "importantValue2"
    }
    print("did important work, got values", importantValue1, importantValue2)
}

我的问题是，我是否至少可以保证我的队列不会在同一个线程上执行？从我所见，我似乎没有这个保证。但是，没有它，我不是一直处于僵局的危险之中吗？在上面的例子中，如果两个队列都在线程 7 上执行会发生什么？调用queue2.sync 不会导致应用崩溃吗？

Answer 1

在大多数情况下，我会期望这两个块在同一个队列上运行。其实我们看看：

import Foundation

let queue1 = DispatchQueue(label: "one")
let queue2 = DispatchQueue(label: "two")
queue1.sync {
    let importantValue1 = "importantValue1"
    print(Thread.current)  // Print the current queue
    let importantValue2: String = queue2.sync {
        print(Thread.current) // Print the current queue
        return "importantValue2"
    }
    print("did important work, got values", importantValue1, importantValue2)
}

<NSThread: 0x6000023b2900>{number = 1, name = main}
<NSThread: 0x6000023b2900>{number = 1, name = main}
did important work, got values importantValue1 importantValue2

是的，在我的示例中，它们都在主线程上运行，正如您通常希望它们那样。在调用.sync 时，通常没有理由强加切换线程的大量成本。当前线程在块完成之前不能做任何事情，所以它也可以在当前线程上运行该块，只要没有任何限制（例如，提交到主队列的块必须 在主线程上运行）。

你是对的，如果你不小心，这可能会产生死锁，但这不是因为使用的线程。死锁是循环使用.sync 所固有的。无论使用什么底层线程，队列仍然必须按特定顺序调度块，这就是最常造成死锁的原因。

Answer 2

后台队列中的任务永远不会阻止后台队列中的其他任务运行，因此虽然您可能会遇到死锁，但在同一线程上执行的队列不会导致死锁。

另一方面，在另一个队列上同步运行代码是毫无意义的。