iphone - 将 block 放在同步 GCD 队列上是否会锁定阻塞并暂停其他队列？

Question

我读到应该使用 GCD 同步队列 (dispatch_sync) 来实现代码的关键部分。一个例子是从账户余额中减去交易金额的区 block 。同步调用的有趣部分是一个问题，它如何影响多线程上其他 block 的工作？

让我们想象一下有 3 个线程在异步模式下使用和执行来自主队列和自定义队列的系统和用户定义 block 的情况。这些 block 都以某种顺序并行执行。现在，如果将一个 block 放在具有同步模式的自定义队列中，是否意味着所有其他 block (包括其他线程上的 block )都被挂起，直到该 block 成功执行？或者这是否意味着只有一些锁会被放在那个 block 上，而其他的仍然会执行。然而，如果其他 block 使用与同步块(synchronized block)相同的数据，那么其他 block 将不可避免地等待直到该锁被释放。

恕我直言，不管是单核还是多核，同步模式应该会卡住整个应用程序的工作。然而，这些只是我的想法，所以请对此发表评论并分享您的见解:)

Answer 1

同步分派(dispatch)暂停代码的执行，直到分派(dispatch)的 block 完成。异步调度立即返回， block 相对于调用代码异步执行:

dispatch_sync(somewhere, ^{ something });
// Reached later, when the block is finished.

dispatch_async(somewhere, ^{ something });
// Reached immediately. The block might be waiting
// to be executed, executing or already finished.

并且有两种调度队列，串行的和并发的。串行的按照添加的顺序严格地一个一个地发送 block 。当一个完成时，另一个开始。这种执行只需要一个线程。并发队列同时、并行地分派(dispatch) block 。那里使用了更多线程。

您可以根据需要混合和匹配同步/异步调度和串行/并发队列。如果您想使用 GCD 来保护对临界区的访问，请使用单个串行队列并调度对该队列上共享数据的所有操作(同步或异步，无关紧要)。这样一来，将始终只有一个 block 使用共享数据进行操作:

- (void) addFoo: (id) foo {
    dispatch_sync(guardingQueue, ^{ [sharedFooArray addObject:foo]; });
}

- (void) removeFoo: (id) foo {
    dispatch_sync(guardingQueue, ^{ [sharedFooArray removeObject:foo]; });
}

现在如果 guardingQueue 是一个串行队列，添加/删除操作永远不会发生冲突，即使 addFoo: 和 removeFoo: 方法是从不同线程同时调用。