ios - 是否应该始终从不同的队列中调用信号量等待和信号？

Question

我正在使用 GCD 检查信号量的正确实现细节，这时来自 ( https://khanlou.com/2016/04/the-GCD-handbook/) 的一个语句让我感到困惑:“调用 .wait() 将阻塞线程，直到 .signal() 被调用。这意味着 .signal () 必须从不同的线程调用，因为当前线程已完全阻塞。此外，您永远不应该从主线程调用 .wait()，而只能从后台线程调用。”大多数信号量示例通常从同一个队列调用等待和信号，这似乎也能正常工作。我在这里遗漏了什么吗？

// Pseudocode from: https://khanlou.com/2016/04/the-GCD-handbook/
// on a background queue
let semaphore = DispatchSemaphore(value: 0)
doSomeExpensiveWorkAsynchronously(completionBlock: {
    semaphore.signal()
})
semaphore.wait()
//the expensive asynchronous work is now done

Answer 1

你问:

Should semaphore wait and signal always be called from separate queues?

信号量总是从单独的线程中调用。这就是信号量的目的，一个线程发送一个信号，另一个线程将等待该信号。这意味着从同一个并发队列调用信号量是安全的(因为单独分派(dispatch)的任务在不同的工作线程上运行)，但是从同一个串行队列调用信号量是不安全的。显然，从不同队列调用信号量也是安全的。要点是它必须是不同的线程。

您分享了该文档中的引述，作者所说的一切都是绝对正确的。等待和信号调用必须从不同的线程完成。我们永远不想在主线程上等待其他耗时进程发送的信号。

然后你继续说:

Most of the examples of semaphore usually call wait and signal from the same queue and that seems to work fine too. Am I missing something here?

// Pseudocode from: https://khanlou.com/2016/04/the-GCD-handbook/
// on a background queue
let semaphore = DispatchSemaphore(value: 0)
doSomeExpensiveWorkAsynchronously(completionBlock: {
    semaphore.signal()
})
semaphore.wait()
//the expensive asynchronous work is now done

一些观察:

1. 此模式仅在 signal 和 wait 位于不同的线程上时才有效。如果它们是同一个线程，就会出现死锁。很明显，作者假设他们在不同的线程上。

2. 您似乎在暗示这两个调用“在同一个队列中”。这不是一个有效的假设(坦率地说，这不太可能)。我们需要看到那个“昂贵的异步”方法的实现才能确定。但是当你看到这样的闭包时，通常意味着该方法将这个闭包分派(dispatch)到它自己选择的某个 GCD 队列。我们无法知道它使用了哪个。 (你必须查看它的实现才能确定。)但它不太可能是同一个队列。并且此代码假定它必须是不同的线程。

3. 您在这里与我们分享的整个模式是不明智的。它实际上采用了一种异步方法，使用信号量使其行为同步，但代码注释表明，这整件事被分派(dispatch)到后台队列(以避免阻塞主线程)，从而使其再次异步。这就有点虐了。你真的应该继续从主线程调用这个昂贵/异步的方法(这是安全的，因为它异步运行)并完全失去信号量。也许作者是在扭曲自己来说明如何使用信号量，但这是一个可怕的例子。