在 Grand Central Dispatch 中使用串行队列的dispatch_async 与dispatch_sync

Question

好吧，我喜欢 Grand Central Dispatch，并且在使用它后取得了相对成功，但这是我不完全理解的事情。

假设我使用 After 创建了自己的串行队列

dispatch_queue_t myQueue;
myQueue = dispatch_queue_create("myQueue", NULL);

，然后我执行以下操作：

dispatch_async(myQueue, ^{
  [self doStuff1];
});

// and a few lines later...

dispatch_sync(myQueue, ^{
  [self doStuff2];
});

第一个调度是异步的。那么，这将同时进行，对吗？如果 myQueue 是串行的，那怎么可能呢？串行队列如何并行或无序地执行操作？

谢谢

Answer 1

dispatch_async() 意味着该块已入队，并且 dispatch_async() 返回在执行该块之前将另一个任务/块（可能）入队。

使用dispatch_sync()，该块将被排队，并且该函数不会继续将另一个任务/块排队，直到该块被执行。

这些块仍然串行执行。您可以执行 100 个 dispatch_async() 调用，每个调用都有一个休眠 100 秒的块，而且速度非常快。接下来，在同一串行队列上调用 dispatch_sync()，dispatch_sync() 将在大约 10,000 秒后返回。

---

更简单地说：

dispatch_async(serialQ, block1);
dispatch_async(serialQ, block2);
dispatch_sync(serialQ, block3);

block1 将在 block2 之前执行，而 block2 将在 block3 之前执行。这就是串行队列保证的顺序。

但是，对 dispatch_async() 的调用可能会在任何块开始执行之前返回。在执行所有三个块之前，dispatch_sync() 将不会返回！

Answer 2

dispatch_async 或 dispatch_sync 都不会改变块排队的方式。如果队列是串行的，则块将以串行方式执行，如果队列是并发的，则以并发方式执行。

两者之间的重要区别在于，dispatch_sync 将块排队并等待当前执行线程，直到执行该块，而 dispatch_async 只是将块排队并继续执行后续指示。

Answer 3

串行队列一次只能运行一个任务，无论同步还是异步。串行队列仅分配一个线程。使用下面的示例会更容易理解 -

假设有 2 个队列 A 和 B 分别运行任务 T1 和 T2，并且 T1 正在异步执行。如果控制权从 A 传递到 B 并且 B 同步运行 T2，那么在 T2（dispatch_sync 块中的代码块）完成执行之前，T1 将被阻塞。当 T2 完成时，T1 将恢复执行。