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

Question

我正在检查使用 GCD 的信号量的正确实现细节，当来自 (https://khanlou.com/2016/04/the-GCD-handbook/) 的一个语句让我困惑时："Calling .wait() will block the thread until .signal() is called. This means that .signal() must be called from a different thread, since the current thread is totally blocked. Further, you should never call .wait() from the main thread, only from background threads." 大多数信号量示例通常从同一个队列调用等待和信号，这似乎也能正常工作。我在这里遗漏了什么吗？

// 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?

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

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

你接着说：

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

几点观察：

此模式仅在 signal 和 wait 位于不同的线程上时有效。如果它们是同一个线程，就会出现死锁。很明显，作者假设他们在不同的线程上。
您似乎在暗示这两个调用“在同一个队列中”。这不是一个有效的假设（坦率地说，这不太可能）。我们需要看到那个“昂贵的异步”方法的实现才能确定。但是当你看到这样的闭包时，通常意味着该方法将这个闭包分派到它自己选择的某个 GCD 队列。我们无法知道它使用了哪个。（你必须查看它的实现才能确定。）但它不太可能是同一个队列。并且此代码假定它必须是不同的线程。
您在这里与我们分享的整个模式是不明智的。它实际上采用了一种异步方法，使用信号量使其行为同步，但代码注释表明，这整件事被分派到后台队列（以避免阻塞主线程），从而使其再次异步。这就有点虐了。你真的应该继续从主线程调用这个 expensive/asynchronous 方法（这是安全的，因为它运行是异步的）并且完全失去信号量。也许作者在扭曲 himself/herself 来说明如何使用信号量，但这是一个可怕的例子。

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

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

ios

swift

multithreading

grand-central-dispatch

dispatchsemaphore