在同步 GCD 队列上放置一个块是否会锁定该块并暂停其他块？

Question

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

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

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

Answer 1

同步调度会暂停代码的执行，直到调度的块完成。异步调度立即返回，块相对于调用代码异步执行：

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.

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

您可以根据需要混合和匹配同步/异步调度和串行/并发队列。如果您想使用 GCD 来保护对关键部分的访问，请使用单个串行队列并分派对此队列上的共享数据的所有操作（同步或异步，无关紧要）。这样一来，始终只有一个块在操作共享数据：

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

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

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

Answer 2

不，没有。

同步部分是将块放入队列中，但控制权不会传回调用函数，直到块返回。

GCD 的许多用途都是异步的；您将一个块放入队列中，而不是等待该块完成，它将工作控制权传递回调用函数。

这对其他队列没有影响。

Answer 3

如果需要序列化对某个资源的访问那么至少有两个
您可以使用的机制。如果您有一个帐户对象（这是唯一的
对于给定的帐号），那么您可以执行以下操作：

@synchronize(accountObject) { ... }

如果您没有对象，但正在使用只有一个对象的 C 结构
对于给定的帐号来说，如果有这样的结构，那么您可以执行以下操作：

// Should be added to the account structure. 
// 1 => at most 1 object can access accountLock at a time.
dispatch_semaphore_t accountLock = dispatch_semaphore_create(1);

// In your block you do the following:
block = ^(void) {
    dispatch_semaphore_wait(accountLock,DISPATCH_TIME_FOREVER);
    // Do something
    dispatch_semaphore_signal(accountLock);
};

// -- Edited: semaphore was leaking.
// At the appropriate time release the lock
// If the semaphore was created in the init then 
// the semaphore should be released in the release method.
dispatch_release(accountLock);

这样，无论队列的并发级别如何，都可以保证在任何给定时间只有一个线程访问帐户。

同步对象的类型还有很多，但这两种都易于使用并且
相当灵活。