是否应该始终从不同的队列中调用信号量等待和信号?
Should semaphore wait and signal always be called from separate queues?
我正在检查使用 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
你问:
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 来说明如何使用信号量,但这是一个可怕的例子。
我正在检查使用 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
你问:
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 来说明如何使用信号量,但这是一个可怕的例子。