1

当（ https://khanlou.com/2016/04/the-GCD-handbook/ ）的一条语句让我感到困惑时，我正在使用 GCD 浏览信号量的正确实现细节：“调用 .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
4

1 回答 1

3

你问：

信号量等待和信号是否应该总是从单独的队列中调用？

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

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

然后你接着说：

大多数信号量示例通常从同一个队列调用等待和信号，这似乎也可以正常工作。我在这里错过了什么吗？

// 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. 您似乎在暗示这两个呼叫“在同一个队列中”。这不是一个有效的假设（坦率地说，这不太可能）。我们需要看到“昂贵的异步”方法的实现才能确定。但是当你看到这样的闭包时，通常意味着该方法将这个闭包分派到它自己选择的某个 GCD 队列中。而且我们无法知道它使用的是哪个。（您必须查看它的实现才能确定。）但它不太可能是同一个队列。这段代码假定它必须是一个不同的线程。

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

于 2020-05-28T09:29:00.420 回答