为什么我们不能在当前队列上使用dispatch_sync？

我遇到了一个场景，我有一个委托回调，它可能发生在主线程或另一个线程上，并且直到运行时我才知道是哪个（使用StoreKit.framework).

我还需要在该回调中更新 UI 代码，该回调需要在函数执行之前发生，所以我最初的想法是拥有一个如下所示的函数：

-(void) someDelegateCallback:(id) sender
{
    dispatch_sync(dispatch_get_main_queue(), ^{
        // ui update code here
    });

    // code here that depends upon the UI getting updated
}

当它在后台线程上执行时，效果很好。然而，当在主线程上执行时，程序就会陷入死锁。

仅此一点对我来说就很有趣，如果我阅读文档dispatch_sync是的，那么我希望它直接执行该块，而不用担心将其调度到运行循环中，如上所述here https://developer.apple.com/library/mac/documentation/Performance/Reference/GCD_libdispatch_Ref/Reference/reference.html#//apple_ref/c/func/dispatch_sync:

作为一种优化，此函数会在可能的情况下调用当前线程上的块。

但是，这没什么大不了的，它只是意味着需要更多的打字，这导致我采用了这种方法：

-(void) someDelegateCallBack:(id) sender
{
    dispatch_block_t onMain = ^{
        // update UI code here
    };

    if (dispatch_get_current_queue() == dispatch_get_main_queue())
       onMain();
    else
       dispatch_sync(dispatch_get_main_queue(), onMain);
}

然而，这似乎有点倒退了。这是 GCD 制作过程中的一个错误，还是我在文档中遗漏了一些东西？

dispatch_sync做了两件事：

1. 将一个块排队
2. 阻塞当前线程，直到该块完成运行

假设主线程是一个串行队列（这意味着它只使用一个线程），如果在主队列上运行以下语句：

dispatch_sync(dispatch_get_main_queue(), ^(){/*...*/});

将发生以下事件：

1. dispatch_sync将块放入主队列中。
2. dispatch_sync阻塞主队列的线程，直到该块执行完毕。
3. dispatch_sync永远等待，因为该块应该运行的线程被阻塞。

理解这个问题的关键是dispatch_sync不执行块，它只是将它们排队。执行将在运行循环的未来迭代中发生。

采用以下方法：

if (queueA == dispatch_get_current_queue()){
    block();
} else {
    dispatch_sync(queueA, block);
}

完全没问题，但请注意，它不会保护您免受涉及队列层次结构的复杂场景的影响。在这种情况下，当前队列可能与您尝试发送块的先前阻塞队列不同。例子：

dispatch_sync(queueA, ^{
    dispatch_sync(queueB, ^{
        // dispatch_get_current_queue() is B, but A is blocked, 
        // so a dispatch_sync(A,b) will deadlock.
        dispatch_sync(queueA, ^{
            // some task
        });
    });
});

对于复杂的情况，在调度队列中读/写键值数据：

dispatch_queue_t workerQ = dispatch_queue_create("com.meh.sometask", NULL);
dispatch_queue_t funnelQ = dispatch_queue_create("com.meh.funnel", NULL);
dispatch_set_target_queue(workerQ,funnelQ);

static int kKey;
 
// saves string "funnel" in funnelQ
CFStringRef tag = CFSTR("funnel");
dispatch_queue_set_specific(funnelQ, 
                            &kKey,
                            (void*)tag,
                            (dispatch_function_t)CFRelease);

dispatch_sync(workerQ, ^{
    // is funnelQ in the hierarchy of workerQ?
    CFStringRef tag = dispatch_get_specific(&kKey);
    if (tag){
        dispatch_sync(funnelQ, ^{
            // some task
        });
    } else {
        // some task
    }
});

解释：

• 我创建一个workerQ队列指向一个funnelQ队列。在实际代码中，如果您有多个“工作”队列并且您希望立即恢复/暂停所有队列（这是通过恢复/更新其目标来实现的），那么这非常有用funnelQ queue).
• 我可以在任何时间点集中我的工作队列，因此要知道它们是否集中，我标记funnelQ用“漏斗”这个词。
• 沿着路我dispatch_sync某事workerQ，无论出于什么原因我想要dispatch_sync to funnelQ，但避免将dispatch_sync发送到当前队列，因此我检查标签并采取相应措施。因为 get 会沿着层次结构向上走，所以不会在中找到该值workerQ但它会被发现在funnelQ。这是一种查明层次结构中是否有任何队列是我们存储值的队列的方法。因此，要防止对当前队列进行dispatch_sync。

如果您想知道读/写上下文数据的函数，有以下三个：

• dispatch_queue_set_specific：写入队列。
• dispatch_queue_get_specific：从队列中读取。
• dispatch_get_specific：从当前队列读取的便捷功能。

键通过指针进行比较，并且永远不会取消引用。 setter 中的最后一个参数是释放键的析构函数。

如果您想知道“将一个队列指向另一个队列”，这正是这个意思。例如，我可以将队列A指向主队列，这将导致队列A中的所有块都在主队列中运行（通常这是为了UI更新而完成的）。