iOS多线程:『GCD』详尽总结

再次感谢你们对这篇文章的喜欢和支持。为了更好的让你们了解 iOS 多线程,以及 GCD 的相关知识,我第三次对这篇文章进行了梳理,修改了 GCD 不一样组合方式区别的相关总结,以及 队列、任务以及线程之间关系的形象理解html

本文用来介绍 iOS 多线程中 GCD 的相关知识以及使用方法。这大概是史上最详细、清晰的关于 GCD 的详细讲解 + 总结 的文章了。经过本文,您将了解到: 1. GCD 简介 2. GCD 任务和队列 3. GCD 的使用步骤 4. GCD 的基本使用(六种组合不一样区别,队列嵌套状况区别,相互关系形象理解) 5. GCD 线程间的通讯 6. GCD 的其余方法(栅栏方法:dispatch_barrier_async、延时执行方法:dispatch_after、一次性代码(只执行一次):dispatch_once、快速迭代方法:dispatch_apply、队列组:dispatch_group、信号量:dispatch_semaphore)git

文中 Demo 我已放在了 Github 上,Demo 连接:传送门程序员


1. GCD 简介

什么是 『GCD』 ?咱们先来看看百度百科的解释简单了解下相关概念。github

引自 百度百科 Grand Central Dispatch(GCD) 是 Apple 开发的一个多核编程的较新的解决方法。它主要用于优化应用程序以支持多核处理器以及其余对称多处理系统。它是一个在线程池模式的基础上执行的并发任务。在 Mac OS X 10.6 雪豹中首次推出,也可在 iOS 4 及以上版本使用。编程

那为何咱们要使用 GCD 呢?安全

由于使用 GCD 有不少好处啊,具体以下:bash

  • GCD 可用于多核的并行运算;
  • GCD 会自动利用更多的 CPU 内核(好比双核、四核);
  • GCD 会自动管理线程的生命周期(建立线程、调度任务、销毁线程);
  • 程序员只须要告诉 GCD 想要执行什么任务,不须要编写任何线程管理代码。

GCD 拥有以上这么多的好处,并且在多线程中处于举足轻重的地位。那么咱们就颇有必要系统地学习一下 GCD 的使用方法。session


2. GCD 任务和队列

学习 GCD 以前,先来了解 GCD 中两个核心概念:『任务』『队列』多线程

任务:就是执行操做的意思,换句话说就是你在线程中执行的那段代码。在 GCD 中是放在 block 中的。执行任务有两种方式:『同步执行』『异步执行』。二者的主要区别是:是否等待队列的任务执行结束,以及是否具有开启新线程的能力。并发

  • 同步执行(sync)
    • 同步添加任务到指定的队列中,在添加的任务执行结束以前,会一直等待,直到队列里面的任务完成以后再继续执行。
    • 只能在当前线程中执行任务,不具有开启新线程的能力。
  • 异步执行(async)
    • 异步添加任务到指定的队列中,它不会作任何等待,能够继续执行任务。
    • 能够在新的线程中执行任务,具有开启新线程的能力。

举个简单例子:你要打电话给小明和小白。 『同步执行』 就是:你打电话给小明的时候,不能同时打给小白。只有等到给小明打完了,才能打给小白(等待任务执行结束)。并且只能用当前的电话(不具有开启新线程的能力)。 『异步执行』 就是:你打电话给小明的时候,不用等着和小明通话结束(不用等待任务执行结束),还能同时给小白打电话。并且除了当前电话,你还可使用其余一个或多个电话(具有开启新线程的能力)。

注意:**异步执行(async)**虽然具备开启新线程的能力,可是并不必定开启新线程。这跟任务所指定的队列类型有关(下面会讲)。

队列(Dispatch Queue):这里的队列指执行任务的等待队列,即用来存听任务的队列。队列是一种特殊的线性表,采用 FIFO(先进先出)的原则,即新任务老是被插入到队列的末尾,而读取任务的时候老是从队列的头部开始读取。每读取一个任务,则从队列中释放一个任务。队列的结构可参考下图:

队列(Dispatch Queue).png

在 GCD 中有两种队列:『串行队列』『并发队列』。二者都符合 FIFO(先进先出)的原则。二者的主要区别是:执行顺序不一样,以及开启线程数不一样。

  • 串行队列(Serial Dispatch Queue)
    • 每次只有一个任务被执行。让任务一个接着一个地执行。(只开启一个线程,一个任务执行完毕后,再执行下一个任务)
  • 并发队列(Concurrent Dispatch Queue)
    • 可让多个任务并发(同时)执行。(能够开启多个线程,而且同时执行任务)

注意:并发队列 的并发功能只有在异步(dispatch_async)方法下才有效。

二者具体区别以下两图所示:

串行队列(Serial Dispatch Queue).png

并发队列(Concurrent Dispatch Queue).png


3. GCD 的使用步骤

GCD 的使用步骤其实很简单,只有两步:

  1. 建立一个队列(串行队列或并发队列);
  2. 将任务追加到任务的等待队列中,而后系统就会根据任务类型执行任务(同步执行或异步执行)。

下边来看看队列的建立方法 / 获取方法,以及任务的建立方法。

3.1 队列的建立方法 / 获取方法

  • 可使用 dispatch_queue_create 方法来建立队列。该方法须要传入两个参数:
    • 第一个参数表示队列的惟一标识符,用于 DEBUG,可为空。队列的名称推荐使用应用程序 ID 这种逆序全程域名。
    • 第二个参数用来识别是串行队列仍是并发队列。DISPATCH_QUEUE_SERIAL 表示串行队列,DISPATCH_QUEUE_CONCURRENT 表示并发队列。
// 串行队列的建立方法
dispatch_queue_t queue = dispatch_queue_create("net.bujige.testQueue", DISPATCH_QUEUE_SERIAL);
// 并发队列的建立方法
dispatch_queue_t queue = dispatch_queue_create("net.bujige.testQueue", DISPATCH_QUEUE_CONCURRENT);
复制代码
  • 对于串行队列,GCD 默认提供了:『主队列(Main Dispatch Queue)』
    • 全部放在主队列中的任务,都会放到主线程中执行。
    • 可以使用 dispatch_get_main_queue() 方法得到主队列。

注意:主队列其实并不特殊。 主队列的实质上就是一个普通的串行队列,只是由于默认状况下,当前代码是放在主队列中的,而后主队列中的代码,有都会放到主线程中去执行,因此才形成了主队列特殊的现象。

// 主队列的获取方法
dispatch_queue_t queue = dispatch_get_main_queue();
复制代码
  • 对于并发队列,GCD 默认提供了 『全局并发队列(Global Dispatch Queue)』
    • 可使用 dispatch_get_global_queue 方法来获取全局并发队列。须要传入两个参数。第一个参数表示队列优先级,通常用 DISPATCH_QUEUE_PRIORITY_DEFAULT。第二个参数暂时没用,用 0 便可。
// 全局并发队列的获取方法
dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);
复制代码

3.2 任务的建立方法

GCD 提供了同步执行任务的建立方法 dispatch_sync 和异步执行任务建立方法 dispatch_async

// 同步执行任务建立方法
dispatch_sync(queue, ^{
    // 这里放同步执行任务代码
});
// 异步执行任务建立方法
dispatch_async(queue, ^{
    // 这里放异步执行任务代码
});
复制代码

虽然使用 GCD 只需两步,可是既然咱们有两种队列(串行队列 / 并发队列),两种任务执行方式(同步执行 / 异步执行),那么咱们就有了四种不一样的组合方式。这四种不一样的组合方式是:

  1. 同步执行 + 并发队列
  2. 异步执行 + 并发队列
  3. 同步执行 + 串行队列
  4. 异步执行 + 串行队列

实际上,刚才还说了两种默认队列:全局并发队列、主队列。全局并发队列能够做为普通并发队列来使用。可是当前代码默认放在主队列中,因此主队列颇有必要专门来研究一下,因此咱们就又多了两种组合方式。这样就有六种不一样的组合方式了。

  1. 同步执行 + 主队列
  2. 异步执行 + 主队列

那么这几种不一样组合方式各有什么区别呢?

这里咱们先上结论,后面再来详细讲解。你能够直接查看 3.3 任务和队列不一样组合方式的区别 中的表格结果,而后跳过 4. GCD的基本使用 继续日后看。


3.3 任务和队列不一样组合方式的区别

咱们先来考虑最基本的使用,也就是当前线程为 『主线程』 的环境下,『不一样队列』+『不一样任务』 简单组合使用的不一样区别。暂时不考虑 『队列中嵌套队列』 的这种复杂状况。

『主线程』中,『不一样队列』+**『不一样任务』**简单组合的区别:

区别 并发队列 串行队列 主队列
同步(sync) 没有开启新线程,串行执行任务 没有开启新线程,串行执行任务 死锁卡住不执行
异步(async) 有开启新线程,并发执行任务 有开启新线程(1条),串行执行任务 没有开启新线程,串行执行任务

注意:从上边可看出: 『主线程』 中调用 『主队列』+『同步执行』 会致使死锁问题。 这是由于 主队列中追加的同步任务主线程自己的任务 二者之间相互等待,阻塞了 『主队列』,最终形成了主队列所在的线程(主线程)死锁问题。 而若是咱们在 『其余线程』 调用 『主队列』+『同步执行』,则不会阻塞 『主队列』,天然也不会形成死锁问题。最终的结果是:不会开启新线程,串行执行任务


3.4 队列嵌套状况下,不一样组合方式区别

除了上边提到的『主线程』中调用『主队列』+『同步执行』会致使死锁问题。实际在使用『串行队列』的时候,也可能出现阻塞『串行队列』所在线程的状况发生,从而形成死锁问题。这种状况多见于同一个串行队列的嵌套使用。

好比下面代码这样:在『异步执行』+『串行队列』的任务中,又嵌套了『当前的串行队列』,而后进行『同步执行』。

dispatch_queue_t queue = dispatch_queue_create("test.queue", DISPATCH_QUEUE_SERIAL);
dispatch_async(queue, ^{    // 异步执行 + 串行队列
    dispatch_sync(queue, ^{  // 同步执行 + 当前串行队列
        // 追加任务 1
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
    });
});
复制代码

执行上面的代码会致使 串行队列中追加的任务串行队列中原有的任务 二者之间相互等待,阻塞了『串行队列』,最终形成了串行队列所在的线程(子线程)死锁问题。

主队列形成死锁也是基于这个缘由,因此,这也进一步说明了主队列其实并不特殊。

关于 『队列中嵌套队列』这种复杂状况,这里也简单作一个总结。不过这里只考虑同一个队列的嵌套状况,关于多个队列的相互嵌套状况还请自行研究,或者等我最新的文章发布。

『不一样队列』+『不一样任务』 组合,以及 『队列中嵌套队列』 使用的区别:

区别 『异步执行+并发队列』嵌套『同一个并发队列』 『同步执行+并发队列』嵌套『同一个并发队列』 『异步执行+串行队列』嵌套『同一个串行队列』 『同步执行+串行队列』嵌套『同一个串行队列』
同步(sync) 没有开启新的线程,串行执行任务 没有开启新线程,串行执行任务 死锁卡住不执行 死锁卡住不执行
异步(async) 有开启新线程,并发执行任务 有开启新线程,并发执行任务 有开启新线程(1 条),串行执行任务 有开启新线程(1 条),串行执行任务

好了,关于『不一样队列』+『不一样任务』 组合不一样区别总结就到这里。

3.5 关于不一样队列和不一样任务的形象理解

由于前一段时间看到了有朋友留言说对 异步执行并发队列 中建立线程能力有所不理解,我以为这个问题的确很容易形成困惑,因此很值得拿来专门分析一下。

他的问题:

在 异步 + 并发 中的解释: (异步执行具有开启新线程的能力。且并发队列可开启多个线程,同时执行多个任务)

以及 同步 + 并发 中的解释: (虽然并发队列能够开启多个线程,而且同时执行多个任务。可是由于自己不能建立新线程,只有当前线程这一个线程(同步任务不具有开启新线程的能力)

这个地方看起来有点疑惑,你两个地方分别提到:异步执行开启新线程,并发队列也能够开启新线程,想请教下,你的意思是只有任务才拥有建立新线程的能力,而队列只有开启线程的能力,并不能建立线程 ?这两者是这样的关联吗?

关于这个问题,我想作一个很形象的类比,来帮助你们对 队列任务 以及 线程 之间关系的理解。

假设如今有 5 我的要穿过一道门禁,这道门禁总共有 10 个入口,管理员能够决定同一时间打开几个入口,能够决定同一时间让一我的单独经过仍是多我的一块儿经过。不过默认状况下,管理员只开启一个入口,且一个通道一次只能经过一我的。

  • 这个故事里,人比如是 任务,管理员比如是 系统,入口则表明 线程

    • 5 我的表示有 5 个任务,10 个入口表明 10 条线程。
    • 串行队列 比如是 5 我的排成一支长队。
    • 并发队列 比如是 5 我的排成多支队伍,好比 2 队,或者 3 队。
    • 同步任务 比如是管理员只开启了一个入口(当前线程)。
    • 异步任务 比如是管理员同时开启了多个入口(当前线程 + 新开的线程)。
  • 『异步执行 + 并发队列』 能够理解为:如今管理员开启了多个入口(好比 3 个入口),5 我的排成了多支队伍(好比 3 支队伍),这样这 5 我的就能够 3 我的同时一块儿穿过门禁了。

  • 『同步执行 + 并发队列』 能够理解为:如今管理员只开启了 1 个入口,5 我的排成了多支队伍。虽然这 5 我的排成了多支队伍,可是只开了 1 个入口啊,这 5 我的虽然都想快点过去,可是 1 个入口一次只能过 1 我的,因此你们就只好一个接一个走过去了,表现的结果就是:顺次经过入口。

  • 换成 GCD 里的语言就是说:

    • 『异步执行 + 并发队列』就是:系统开启了多个线程(主线程+其余子线程),任务能够多个同时运行。
    • 『同步执行 + 并发队列』就是:系统只默认开启了一个主线程,没有开启子线程,虽然任务处于并发队列中,但也只能一个接一个执行了。

下边咱们来研究一下上边提到的六种简单组合方式的使用方法。


4. GCD 的基本使用

先来说讲并发队列的两种执行方式。

4.1 同步执行 + 并发队列

  • 在当前线程中执行任务,不会开启新线程,执行完一个任务,再执行下一个任务。
/** * 同步执行 + 并发队列 * 特色:在当前线程中执行任务,不会开启新线程,执行完一个任务,再执行下一个任务。 */
- (void)syncConcurrent {
    NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
    NSLog(@"syncConcurrent---begin");
    
    dispatch_queue_t queue = dispatch_queue_create("net.bujige.testQueue", DISPATCH_QUEUE_CONCURRENT);
    
    dispatch_sync(queue, ^{
        // 追加任务 1
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    dispatch_sync(queue, ^{
        // 追加任务 2
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    dispatch_sync(queue, ^{
        // 追加任务 3
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    NSLog(@"syncConcurrent---end");
}
复制代码

输出结果: 2019-08-08 14:32:53.542816+0800 YSC-GCD-demo[16332:4171500] currentThread---<NSThread: 0x600002326940>{number = 1, name = main} 2019-08-08 14:32:53.542964+0800 YSC-GCD-demo[16332:4171500] syncConcurrent---begin 2019-08-08 14:32:55.544329+0800 YSC-GCD-demo[16332:4171500] 1---<NSThread: 0x600002326940>{number = 1, name = main} 2019-08-08 14:32:57.545779+0800 YSC-GCD-demo[16332:4171500] 2---<NSThread: 0x600002326940>{number = 1, name = main} 2019-08-08 14:32:59.547154+0800 YSC-GCD-demo[16332:4171500] 3---<NSThread: 0x600002326940>{number = 1, name = main} 2019-08-08 14:32:59.547365+0800 YSC-GCD-demo[16332:4171500] syncConcurrent---end

同步执行 + 并发队列 中可看到:

  • 全部任务都是在当前线程(主线程)中执行的,没有开启新的线程(同步执行不具有开启新线程的能力)。
  • 全部任务都在打印的 syncConcurrent---beginsyncConcurrent---end 之间执行的(同步任务 须要等待队列的任务执行结束)。
  • 任务按顺序执行的。按顺序执行的缘由:虽然 并发队列 能够开启多个线程,而且同时执行多个任务。可是由于自己不能建立新线程,只有当前线程这一个线程(同步任务 不具有开启新线程的能力),因此也就不存在并发。并且当前线程只有等待当前队列中正在执行的任务执行完毕以后,才能继续接着执行下面的操做(同步任务 须要等待队列的任务执行结束)。因此任务只能一个接一个按顺序执行,不能同时被执行。

4.2 异步执行 + 并发队列

  • 能够开启多个线程,任务交替(同时)执行。
/** * 异步执行 + 并发队列 * 特色:能够开启多个线程,任务交替(同时)执行。 */
- (void)asyncConcurrent {
    NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
    NSLog(@"asyncConcurrent---begin");
    
    dispatch_queue_t queue = dispatch_queue_create("net.bujige.testQueue", DISPATCH_QUEUE_CONCURRENT);
    
    dispatch_async(queue, ^{
        // 追加任务 1
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    dispatch_async(queue, ^{
        // 追加任务 2
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    dispatch_async(queue, ^{
        // 追加任务 3
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    NSLog(@"asyncConcurrent---end");
}
复制代码

输出结果: 2019-08-08 14:36:37.747966+0800 YSC-GCD-demo[17232:4187114] currentThread---<NSThread: 0x60000206d380>{number = 1, name = main} 2019-08-08 14:36:37.748150+0800 YSC-GCD-demo[17232:4187114] asyncConcurrent---begin 2019-08-08 14:36:37.748279+0800 YSC-GCD-demo[17232:4187114] asyncConcurrent---end 2019-08-08 14:36:39.752523+0800 YSC-GCD-demo[17232:4187204] 2---<NSThread: 0x600002010980>{number = 3, name = (null)} 2019-08-08 14:36:39.752527+0800 YSC-GCD-demo[17232:4187202] 3---<NSThread: 0x600002018480>{number = 5, name = (null)} 2019-08-08 14:36:39.752527+0800 YSC-GCD-demo[17232:4187203] 1---<NSThread: 0x600002023400>{number = 4, name = (null)}

异步执行 + 并发队列 中能够看出:

  • 除了当前线程(主线程),系统又开启了 3 个线程,而且任务是交替/同时执行的。(异步执行 具有开启新线程的能力。且 并发队列 可开启多个线程,同时执行多个任务)。
  • 全部任务是在打印的 syncConcurrent---beginsyncConcurrent---end 以后才执行的。说明当前线程没有等待,而是直接开启了新线程,在新线程中执行任务(异步执行 不作等待,能够继续执行任务)。

接下来再来说讲串行队列的两种执行方式。


4.3 同步执行 + 串行队列

  • 不会开启新线程,在当前线程执行任务。任务是串行的,执行完一个任务,再执行下一个任务。
/** * 同步执行 + 串行队列 * 特色:不会开启新线程,在当前线程执行任务。任务是串行的,执行完一个任务,再执行下一个任务。 */
- (void)syncSerial {
    NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
    NSLog(@"syncSerial---begin");
    
    dispatch_queue_t queue = dispatch_queue_create("net.bujige.testQueue", DISPATCH_QUEUE_SERIAL);
    
    dispatch_sync(queue, ^{
        // 追加任务 1
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
    });
    dispatch_sync(queue, ^{
        // 追加任务 2
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
    });
    dispatch_sync(queue, ^{
        // 追加任务 3
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    NSLog(@"syncSerial---end");
}
复制代码

输出结果为: 2019-08-08 14:39:31.366815+0800 YSC-GCD-demo[17285:4197645] currentThread---<NSThread: 0x600001b5e940>{number = 1, name = main} 2019-08-08 14:39:31.366952+0800 YSC-GCD-demo[17285:4197645] syncSerial---begin 2019-08-08 14:39:33.368256+0800 YSC-GCD-demo[17285:4197645] 1---<NSThread: 0x600001b5e940>{number = 1, name = main} 2019-08-08 14:39:35.369661+0800 YSC-GCD-demo[17285:4197645] 2---<NSThread: 0x600001b5e940>{number = 1, name = main} 2019-08-08 14:39:37.370991+0800 YSC-GCD-demo[17285:4197645] 3---<NSThread: 0x600001b5e940>{number = 1, name = main} 2019-08-08 14:39:37.371192+0800 YSC-GCD-demo[17285:4197645] syncSerial---end

同步执行 + 串行队列 能够看到:

  • 全部任务都是在当前线程(主线程)中执行的,并无开启新的线程(同步执行 不具有开启新线程的能力)。
  • 全部任务都在打印的 syncConcurrent---beginsyncConcurrent---end 之间执行(同步任务 须要等待队列的任务执行结束)。
  • 任务是按顺序执行的(串行队列 每次只有一个任务被执行,任务一个接一个按顺序执行)。

4.4 异步执行 + 串行队列

  • 会开启新线程,可是由于任务是串行的,执行完一个任务,再执行下一个任务
/** * 异步执行 + 串行队列 * 特色:会开启新线程,可是由于任务是串行的,执行完一个任务,再执行下一个任务。 */
- (void)asyncSerial {
    NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
    NSLog(@"asyncSerial---begin");
    
    dispatch_queue_t queue = dispatch_queue_create("net.bujige.testQueue", DISPATCH_QUEUE_SERIAL);
    
    dispatch_async(queue, ^{
        // 追加任务 1
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
    });
    dispatch_async(queue, ^{
        // 追加任务 2
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
    });
    dispatch_async(queue, ^{
        // 追加任务 3
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    NSLog(@"asyncSerial---end");
}
复制代码

输出结果为: 2019-08-08 14:40:53.944502+0800 YSC-GCD-demo[17313:4203018] currentThread---<NSThread: 0x6000015da940>{number = 1, name = main} 2019-08-08 14:40:53.944615+0800 YSC-GCD-demo[17313:4203018] asyncSerial---begin 2019-08-08 14:40:53.944710+0800 YSC-GCD-demo[17313:4203018] asyncSerial---end 2019-08-08 14:40:55.947709+0800 YSC-GCD-demo[17313:4203079] 1---<NSThread: 0x6000015a0840>{number = 3, name = (null)} 2019-08-08 14:40:57.952453+0800 YSC-GCD-demo[17313:4203079] 2---<NSThread: 0x6000015a0840>{number = 3, name = (null)} 2019-08-08 14:40:59.952943+0800 YSC-GCD-demo[17313:4203079] 3---<NSThread: 0x6000015a0840>{number = 3, name = (null)}

异步执行 + 串行队列 能够看到:

  • 开启了一条新线程(异步执行 具有开启新线程的能力,串行队列 只开启一个线程)。
  • 全部任务是在打印的 syncConcurrent---beginsyncConcurrent---end 以后才开始执行的(异步执行 不会作任何等待,能够继续执行任务)。
  • 任务是按顺序执行的(串行队列 每次只有一个任务被执行,任务一个接一个按顺序执行)。

下边讲讲刚才咱们提到过的:主队列

  • 主队列:GCD 默认提供的 串行队列
    • 默认状况下,日常所写代码是直接放在主队列中的。
    • 全部放在主队列中的任务,都会放到主线程中执行。
    • 可以使用 dispatch_get_main_queue() 得到主队列。

咱们再来看看主队列的两种组合方式。


4.5 同步执行 + 主队列

同步执行 + 主队列 在不一样线程中调用结果也是不同,在主线程中调用会发生死锁问题,而在其余线程中调用则不会。

4.5.1 在主线程中调用 『同步执行 + 主队列』

  • 互相等待卡住不可行
/** * 同步执行 + 主队列 * 特色(主线程调用):互等卡主不执行。 * 特色(其余线程调用):不会开启新线程,执行完一个任务,再执行下一个任务。 */
- (void)syncMain {
    
    NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
    NSLog(@"syncMain---begin");
    
    dispatch_queue_t queue = dispatch_get_main_queue();
    
    dispatch_sync(queue, ^{
        // 追加任务 1
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    dispatch_sync(queue, ^{
        // 追加任务 2
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    dispatch_sync(queue, ^{
        // 追加任务 3
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    NSLog(@"syncMain---end");
}
复制代码

输出结果 2019-08-08 14:43:58.062376+0800 YSC-GCD-demo[17371:4213562] currentThread---<NSThread: 0x6000026e2940>{number = 1, name = main} 2019-08-08 14:43:58.062518+0800 YSC-GCD-demo[17371:4213562] syncMain---begin (lldb)

在主线程中使用 同步执行 + 主队列 能够惊奇的发现:

  • 追加到主线程的任务 一、任务 二、任务 3 都再也不执行了,并且 syncMain---end 也没有打印,在 XCode 9 及以上版本上还会直接报崩溃。这是为何呢?

这是由于咱们在主线程中执行 syncMain 方法,至关于把 syncMain 任务放到了主线程的队列中。而 同步执行 会等待当前队列中的任务执行完毕,才会接着执行。那么当咱们把 任务 1 追加到主队列中,任务 1 就在等待主线程处理完 syncMain 任务。而syncMain 任务须要等待 任务 1 执行完毕,才能接着执行。

那么,如今的状况就是 syncMain 任务和 任务 1 都在等对方执行完毕。这样你们互相等待,因此就卡住了,因此咱们的任务执行不了,并且 syncMain---end 也没有打印。

要是若是不在主线程中调用,而在其余线程中调用会如何呢?

4.5.2 在其余线程中调用『同步执行 + 主队列』

  • 不会开启新线程,执行完一个任务,再执行下一个任务
// 使用 NSThread 的 detachNewThreadSelector 方法会建立线程,并自动启动线程执行 selector 任务
[NSThread detachNewThreadSelector:@selector(syncMain) toTarget:self withObject:nil];
复制代码

输出结果: 2019-08-08 14:51:38.137978+0800 YSC-GCD-demo[17482:4237818] currentThread---<NSThread: 0x600001dd6c00>{number = 3, name = (null)} 2019-08-08 14:51:38.138159+0800 YSC-GCD-demo[17482:4237818] syncMain---begin 2019-08-08 14:51:40.149065+0800 YSC-GCD-demo[17482:4237594] 1---<NSThread: 0x600001d8d380>{number = 1, name = main} 2019-08-08 14:51:42.151104+0800 YSC-GCD-demo[17482:4237594] 2---<NSThread: 0x600001d8d380>{number = 1, name = main} 2019-08-08 14:51:44.152583+0800 YSC-GCD-demo[17482:4237594] 3---<NSThread: 0x600001d8d380>{number = 1, name = main} 2019-08-08 14:51:44.152767+0800 YSC-GCD-demo[17482:4237818] syncMain---end

在其余线程中使用 同步执行 + 主队列 可看到:

  • 全部任务都是在主线程(非当前线程)中执行的,没有开启新的线程(全部放在主队列中的任务,都会放到主线程中执行)。
  • 全部任务都在打印的 syncConcurrent---beginsyncConcurrent---end 之间执行(同步任务 须要等待队列的任务执行结束)。
  • 任务是按顺序执行的(主队列是 串行队列,每次只有一个任务被执行,任务一个接一个按顺序执行)。

为何如今就不会卡住了呢?

由于syncMain 任务 放到了其余线程里,而 任务 1任务 2任务3 都在追加到主队列中,这三个任务都会在主线程中执行。syncMain 任务 在其余线程中执行到追加 任务 1 到主队列中,由于主队列如今没有正在执行的任务,因此,会直接执行主队列的 任务1,等 任务1 执行完毕,再接着执行 任务 2任务 3。因此这里不会卡住线程,也就不会形成死锁问题。

4.6 异步执行 + 主队列

  • 只在主线程中执行任务,执行完一个任务,再执行下一个任务。
/** * 异步执行 + 主队列 * 特色:只在主线程中执行任务,执行完一个任务,再执行下一个任务 */
- (void)asyncMain {
    NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
    NSLog(@"asyncMain---begin");
    
    dispatch_queue_t queue = dispatch_get_main_queue();
    
    dispatch_async(queue, ^{
        // 追加任务 1
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    dispatch_async(queue, ^{
        // 追加任务 2
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    dispatch_async(queue, ^{
        // 追加任务 3
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    NSLog(@"asyncMain---end");
}
复制代码

输出结果: 2019-08-08 14:53:27.023091+0800 YSC-GCD-demo[17521:4243690] currentThread---<NSThread: 0x6000022a1380>{number = 1, name = main} 2019-08-08 14:53:27.023247+0800 YSC-GCD-demo[17521:4243690] asyncMain---begin 2019-08-08 14:53:27.023399+0800 YSC-GCD-demo[17521:4243690] asyncMain---end 2019-08-08 14:53:29.035565+0800 YSC-GCD-demo[17521:4243690] 1---<NSThread: 0x6000022a1380>{number = 1, name = main} 2019-08-08 14:53:31.036565+0800 YSC-GCD-demo[17521:4243690] 2---<NSThread: 0x6000022a1380>{number = 1, name = main} 2019-08-08 14:53:33.037092+0800 YSC-GCD-demo[17521:4243690] 3---<NSThread: 0x6000022a1380>{number = 1, name = main}

异步执行 + 主队列 能够看到:

  • 全部任务都是在当前线程(主线程)中执行的,并无开启新的线程(虽然 异步执行 具有开启线程的能力,但由于是主队列,因此全部任务都在主线程中)。
  • 全部任务是在打印的 syncConcurrent---beginsyncConcurrent---end 以后才开始执行的(异步执行不会作任何等待,能够继续执行任务)。
  • 任务是按顺序执行的(由于主队列是 串行队列,每次只有一个任务被执行,任务一个接一个按顺序执行)。

弄懂了难理解、绕来绕去的**『不一样队列』+『不一样任务』**使用区别以后,咱们来学习一个简单的东西:5. GCD 线程间的通讯


5. GCD 线程间的通讯

在 iOS 开发过程当中,咱们通常在主线程里边进行 UI 刷新,例如:点击、滚动、拖拽等事件。咱们一般把一些耗时的操做放在其余线程,好比说图片下载、文件上传等耗时操做。而当咱们有时候在其余线程完成了耗时操做时,须要回到主线程,那么就用到了线程之间的通信。

/** * 线程间通讯 */
- (void)communication {
    // 获取全局并发队列
    dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);
    // 获取主队列
    dispatch_queue_t mainQueue = dispatch_get_main_queue();
    
    dispatch_async(queue, ^{
        // 异步追加任务 1
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
        
        // 回到主线程
        dispatch_async(mainQueue, ^{
            // 追加在主线程中执行的任务
            [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
            NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
        });
    });
}
复制代码

输出结果: 2019-08-08 14:56:22.973318+0800 YSC-GCD-demo[17573:4253201] 1---<NSThread: 0x600001846080>{number = 3, name = (null)} 2019-08-08 14:56:24.973902+0800 YSC-GCD-demo[17573:4253108] 2---<NSThread: 0x60000181e940>{number = 1, name = main}

  • 能够看到在其余线程中先执行任务,执行完了以后回到主线程执行主线程的相应操做。

6. GCD 的其余方法

6.1 GCD 栅栏方法:dispatch_barrier_async

  • 咱们有时须要异步执行两组操做,并且第一组操做执行完以后,才能开始执行第二组操做。这样咱们就须要一个至关于 栅栏 同样的一个方法将两组异步执行的操做组给分割起来,固然这里的操做组里能够包含一个或多个任务。这就须要用到dispatch_barrier_async 方法在两个操做组间造成栅栏。 dispatch_barrier_async 方法会等待前边追加到并发队列中的任务所有执行完毕以后,再将指定的任务追加到该异步队列中。而后在 dispatch_barrier_async 方法追加的任务执行完毕以后,异步队列才恢复为通常动做,接着追加任务到该异步队列并开始执行。具体以下图所示:
    dispatch_barrier_async.png
/** * 栅栏方法 dispatch_barrier_async */
- (void)barrier {
    dispatch_queue_t queue = dispatch_queue_create("net.bujige.testQueue", DISPATCH_QUEUE_CONCURRENT);
    
    dispatch_async(queue, ^{
        // 追加任务 1
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
    });
    dispatch_async(queue, ^{
        // 追加任务 2
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    dispatch_barrier_async(queue, ^{
        // 追加任务 barrier
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"barrier---%@",[NSThread currentThread]);// 打印当前线程
    });
    
    dispatch_async(queue, ^{
        // 追加任务 3
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
    });
    dispatch_async(queue, ^{
        // 追加任务 4
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"4---%@",[NSThread currentThread]);      // 打印当前线程
    });
}
复制代码

输出结果: 2019-08-08 14:59:02.540868+0800 YSC-GCD-demo[17648:4262933] 1---<NSThread: 0x600001ca4c40>{number = 3, name = (null)} 2019-08-08 14:59:02.540868+0800 YSC-GCD-demo[17648:4262932] 2---<NSThread: 0x600001c84a00>{number = 4, name = (null)} 2019-08-08 14:59:04.542346+0800 YSC-GCD-demo[17648:4262933] barrier---<NSThread: 0x600001ca4c40>{number = 3, name = (null)} 2019-08-08 14:59:06.542772+0800 YSC-GCD-demo[17648:4262932] 4---<NSThread: 0x600001c84a00>{number = 4, name = (null)} 2019-08-08 14:59:06.542773+0800 YSC-GCD-demo[17648:4262933] 3---<NSThread: 0x600001ca4c40>{number = 3, name = (null)}

dispatch_barrier_async 执行结果中能够看出:

  • 在执行完栅栏前面的操做以后,才执行栅栏操做,最后再执行栅栏后边的操做。

6.2 GCD 延时执行方法:dispatch_after

咱们常常会遇到这样的需求:在指定时间(例如 3 秒)以后执行某个任务。能够用 GCD 的dispatch_after 方法来实现。 须要注意的是:dispatch_after 方法并非在指定时间以后才开始执行处理,而是在指定时间以后将任务追加到主队列中。严格来讲,这个时间并非绝对准确的,但想要大体延迟执行任务,dispatch_after 方法是颇有效的。

/** * 延时执行方法 dispatch_after */
- (void)after {
    NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
    NSLog(@"asyncMain---begin");
    
    dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2.0 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
        // 2.0 秒后异步追加任务代码到主队列,并开始执行
        NSLog(@"after---%@",[NSThread currentThread]);  // 打印当前线程
    });
}
复制代码

输出结果: 2019-08-08 15:01:33.569710+0800 YSC-GCD-demo[17702:4272430] currentThread---<NSThread: 0x600001ead340>{number = 1, name = main} 2019-08-08 15:01:33.569838+0800 YSC-GCD-demo[17702:4272430] asyncMain---begin 2019-08-08 15:01:35.570146+0800 YSC-GCD-demo[17702:4272430] after---<NSThread: 0x600001ead340>{number = 1, name = main}

能够看出:在打印 asyncMain---begin 以后大约 2.0 秒的时间,打印了 after---<NSThread: 0x600001ead340>{number = 1, name = main}

6.3 GCD 一次性代码(只执行一次):dispatch_once

  • 咱们在建立单例、或者有整个程序运行过程当中只执行一次的代码时,咱们就用到了 GCD 的 dispatch_once 方法。使用 dispatch_once 方法能保证某段代码在程序运行过程当中只被执行 1 次,而且即便在多线程的环境下,dispatch_once 也能够保证线程安全。
/** * 一次性代码(只执行一次)dispatch_once */
- (void)once {
    static dispatch_once_t onceToken;
    dispatch_once(&onceToken, ^{
        // 只执行 1 次的代码(这里面默认是线程安全的)
    });
}
复制代码

6.4 GCD 快速迭代方法:dispatch_apply

  • 一般咱们会用 for 循环遍历,可是 GCD 给咱们提供了快速迭代的方法 dispatch_applydispatch_apply 按照指定的次数将指定的任务追加到指定的队列中,并等待所有队列执行结束。

若是是在串行队列中使用 dispatch_apply,那么就和 for 循环同样,按顺序同步执行。可是这样就体现不出快速迭代的意义了。

咱们能够利用并发队列进行异步执行。好比说遍历 0~5 这 6 个数字,for 循环的作法是每次取出一个元素,逐个遍历。dispatch_apply 能够 在多个线程中同时(异步)遍历多个数字。

还有一点,不管是在串行队列,仍是并发队列中,dispatch_apply 都会等待所有任务执行完毕,这点就像是同步操做,也像是队列组中的 dispatch_group_wait方法。

/** * 快速迭代方法 dispatch_apply */
- (void)apply {
    dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);
    
    NSLog(@"apply---begin");
    dispatch_apply(6, queue, ^(size_t index) {
        NSLog(@"%zd---%@",index, [NSThread currentThread]);
    });
    NSLog(@"apply---end");
}
复制代码

输出结果: 2019-08-08 15:05:04.715266+0800 YSC-GCD-demo[17771:4285619] apply---begin 2019-08-08 15:05:04.715492+0800 YSC-GCD-demo[17771:4285619] 0---<NSThread: 0x600003bd1380>{number = 1, name = main} 2019-08-08 15:05:04.715516+0800 YSC-GCD-demo[17771:4285722] 1---<NSThread: 0x600003b82340>{number = 3, name = (null)} 2019-08-08 15:05:04.715526+0800 YSC-GCD-demo[17771:4285720] 3---<NSThread: 0x600003ba4cc0>{number = 5, name = (null)} 2019-08-08 15:05:04.715564+0800 YSC-GCD-demo[17771:4285721] 2---<NSThread: 0x600003bb9a80>{number = 7, name = (null)} 2019-08-08 15:05:04.715555+0800 YSC-GCD-demo[17771:4285719] 4---<NSThread: 0x600003b98100>{number = 6, name = (null)} 2019-08-08 15:05:04.715578+0800 YSC-GCD-demo[17771:4285728] 5---<NSThread: 0x600003beb400>{number = 4, name = (null)} 2019-08-08 15:05:04.715677+0800 YSC-GCD-demo[17771:4285619] apply---end

由于是在并发队列中异步执行任务,因此各个任务的执行时间长短不定,最后结束顺序也不定。可是 apply---end 必定在最后执行。这是由于 dispatch_apply 方法会等待所有任务执行完毕。

6.5 GCD 队列组:dispatch_group

有时候咱们会有这样的需求:分别异步执行2个耗时任务,而后当2个耗时任务都执行完毕后再回到主线程执行任务。这时候咱们能够用到 GCD 的队列组。

  • 调用队列组的 dispatch_group_async 先把任务放到队列中,而后将队列放入队列组中。或者使用队列组的 dispatch_group_enterdispatch_group_leave 组合来实现 dispatch_group_async
  • 调用队列组的 dispatch_group_notify 回到指定线程执行任务。或者使用 dispatch_group_wait 回到当前线程继续向下执行(会阻塞当前线程)。

6.5.1 dispatch_group_notify

  • 监听 group 中任务的完成状态,当全部的任务都执行完成后,追加任务到 group 中,并执行任务。
/** * 队列组 dispatch_group_notify */
- (void)groupNotify {
    NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
    NSLog(@"group---begin");
    
    dispatch_group_t group =  dispatch_group_create();
    
    dispatch_group_async(group, dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        // 追加任务 1
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    dispatch_group_async(group, dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        // 追加任务 2
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    dispatch_group_notify(group, dispatch_get_main_queue(), ^{
        // 等前面的异步任务 一、任务 2 都执行完毕后,回到主线程执行下边任务
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程

        NSLog(@"group---end");
    });
}
复制代码

输出结果: 2019-08-08 15:07:21.601734+0800 YSC-GCD-demo[17813:4293874] currentThread---<NSThread: 0x600003aad380>{number = 1, name = main} 2019-08-08 15:07:21.601871+0800 YSC-GCD-demo[17813:4293874] group---begin 2019-08-08 15:07:23.604854+0800 YSC-GCD-demo[17813:4294048] 2---<NSThread: 0x600003add100>{number = 4, name = (null)} 2019-08-08 15:07:23.604852+0800 YSC-GCD-demo[17813:4294053] 1---<NSThread: 0x600003ace4c0>{number = 3, name = (null)} 2019-08-08 15:07:25.606067+0800 YSC-GCD-demo[17813:4293874] 3---<NSThread: 0x600003aad380>{number = 1, name = main} 2019-08-08 15:07:25.606255+0800 YSC-GCD-demo[17813:4293874] group---end

dispatch_group_notify 相关代码运行输出结果能够看出: 当全部任务都执行完成以后,才执行 dispatch_group_notify 相关 block 中的任务。

6.5.2 dispatch_group_wait

  • 暂停当前线程(阻塞当前线程),等待指定的 group 中的任务执行完成后,才会往下继续执行。
/** * 队列组 dispatch_group_wait */
- (void)groupWait {
    NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
    NSLog(@"group---begin");
    
    dispatch_group_t group =  dispatch_group_create();
    
    dispatch_group_async(group, dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        // 追加任务 1
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    dispatch_group_async(group, dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        // 追加任务 2
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
    });
    
    // 等待上面的任务所有完成后,会往下继续执行(会阻塞当前线程)
    dispatch_group_wait(group, DISPATCH_TIME_FOREVER);
    
    NSLog(@"group---end");
    
}
复制代码

输出结果: 2019-08-08 15:09:12.441729+0800 YSC-GCD-demo[17844:4299926] currentThread---<NSThread: 0x6000013e2940>{number = 1, name = main} 2019-08-08 15:09:12.441870+0800 YSC-GCD-demo[17844:4299926] group---begin 2019-08-08 15:09:14.445790+0800 YSC-GCD-demo[17844:4300046] 2---<NSThread: 0x600001389780>{number = 4, name = (null)} 2019-08-08 15:09:14.445760+0800 YSC-GCD-demo[17844:4300043] 1---<NSThread: 0x600001381880>{number = 3, name = (null)} 2019-08-08 15:09:14.446039+0800 YSC-GCD-demo[17844:4299926] group---end

dispatch_group_wait 相关代码运行输出结果能够看出: 当全部任务执行完成以后,才执行 dispatch_group_wait 以后的操做。可是,使用dispatch_group_wait 会阻塞当前线程。

6.5.3 dispatch_group_enter、dispatch_group_leave

  • dispatch_group_enter 标志着一个任务追加到 group,执行一次,至关于 group 中未执行完毕任务数 +1
  • dispatch_group_leave 标志着一个任务离开了 group,执行一次,至关于 group 中未执行完毕任务数 -1。
  • 当 group 中未执行完毕任务数为0的时候,才会使 dispatch_group_wait 解除阻塞,以及执行追加到 dispatch_group_notify 中的任务。
/** * 队列组 dispatch_group_enter、dispatch_group_leave */
- (void)groupEnterAndLeave {
    NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
    NSLog(@"group---begin");
    
    dispatch_group_t group = dispatch_group_create();
    dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);
    dispatch_group_enter(group);
    dispatch_async(queue, ^{
        // 追加任务 1
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程

        dispatch_group_leave(group);
    });
    
    dispatch_group_enter(group);
    dispatch_async(queue, ^{
        // 追加任务 2
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
        
        dispatch_group_leave(group);
    });
    
    dispatch_group_notify(group, dispatch_get_main_queue(), ^{
        // 等前面的异步操做都执行完毕后,回到主线程.
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
    
        NSLog(@"group---end");
    });
}
复制代码

输出结果: 2019-08-08 15:13:17.983283+0800 YSC-GCD-demo[17924:4314716] currentThread---<NSThread: 0x600001ee5380>{number = 1, name = main} 2019-08-08 15:13:17.983429+0800 YSC-GCD-demo[17924:4314716] group---begin 2019-08-08 15:13:19.988898+0800 YSC-GCD-demo[17924:4314816] 2---<NSThread: 0x600001e9ca00>{number = 3, name = (null)} 2019-08-08 15:13:19.988888+0800 YSC-GCD-demo[17924:4314808] 1---<NSThread: 0x600001e94100>{number = 4, name = (null)} 2019-08-08 15:13:21.990450+0800 YSC-GCD-demo[17924:4314716] 3---<NSThread: 0x600001ee5380>{number = 1, name = main} 2019-08-08 15:13:21.990711+0800 YSC-GCD-demo[17924:4314716] group---end

dispatch_group_enter、dispatch_group_leave 相关代码运行结果中能够看出:当全部任务执行完成以后,才执行 dispatch_group_notify 中的任务。这里的dispatch_group_enterdispatch_group_leave 组合,其实等同于dispatch_group_async

6.6 GCD 信号量:dispatch_semaphore

GCD 中的信号量是指 Dispatch Semaphore,是持有计数的信号。相似于太高速路收费站的栏杆。能够经过时,打开栏杆,不能够经过时,关闭栏杆。在 Dispatch Semaphore 中,使用计数来完成这个功能,计数小于 0 时等待,不可经过。计数为 0 或大于 0 时,计数减 1 且不等待,可经过。 Dispatch Semaphore 提供了三个方法:

  • dispatch_semaphore_create:建立一个 Semaphore 并初始化信号的总量
  • dispatch_semaphore_signal:发送一个信号,让信号总量加 1
  • dispatch_semaphore_wait:可使总信号量减 1,信号总量小于 0 时就会一直等待(阻塞所在线程),不然就能够正常执行。

注意:信号量的使用前提是:想清楚你须要处理哪一个线程等待(阻塞),又要哪一个线程继续执行,而后使用信号量。

Dispatch Semaphore 在实际开发中主要用于:

  • 保持线程同步,将异步执行任务转换为同步执行任务
  • 保证线程安全,为线程加锁

6.6.1 Dispatch Semaphore 线程同步

咱们在开发中,会遇到这样的需求:异步执行耗时任务,并使用异步执行的结果进行一些额外的操做。换句话说,至关于,将将异步执行任务转换为同步执行任务。好比说:AFNetworking 中 AFURLSessionManager.m 里面的 tasksForKeyPath: 方法。经过引入信号量的方式,等待异步执行任务结果,获取到 tasks,而后再返回该 tasks。

- (NSArray *)tasksForKeyPath:(NSString *)keyPath {
    __block NSArray *tasks = nil;
    dispatch_semaphore_t semaphore = dispatch_semaphore_create(0);
    [self.session getTasksWithCompletionHandler:^(NSArray *dataTasks, NSArray *uploadTasks, NSArray *downloadTasks) {
        if ([keyPath isEqualToString:NSStringFromSelector(@selector(dataTasks))]) {
            tasks = dataTasks;
        } else if ([keyPath isEqualToString:NSStringFromSelector(@selector(uploadTasks))]) {
            tasks = uploadTasks;
        } else if ([keyPath isEqualToString:NSStringFromSelector(@selector(downloadTasks))]) {
            tasks = downloadTasks;
        } else if ([keyPath isEqualToString:NSStringFromSelector(@selector(tasks))]) {
            tasks = [@[dataTasks, uploadTasks, downloadTasks] valueForKeyPath:@"@unionOfArrays.self"];
        }

        dispatch_semaphore_signal(semaphore);
    }];

    dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);

    return tasks;
}
复制代码

下面,咱们来利用 Dispatch Semaphore 实现线程同步,将异步执行任务转换为同步执行任务。

/** * semaphore 线程同步 */
- (void)semaphoreSync {
    
    NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
    NSLog(@"semaphore---begin");
    
    dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);
    dispatch_semaphore_t semaphore = dispatch_semaphore_create(0);
    
    __block int number = 0;
    dispatch_async(queue, ^{
        // 追加任务 1
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操做
        NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
        
        number = 100;
        
        dispatch_semaphore_signal(semaphore);
    });
    
    dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
    NSLog(@"semaphore---end,number = %zd",number);
}
复制代码

输出结果: 2019-08-08 15:16:56.781543+0800 YSC-GCD-demo[17988:4325744] currentThread---<NSThread: 0x60000298d380>{number = 1, name = main} 2019-08-08 15:16:56.781698+0800 YSC-GCD-demo[17988:4325744] semaphore---begin 2019-08-08 15:16:58.785232+0800 YSC-GCD-demo[17988:4325867] 1---<NSThread: 0x6000029eba80>{number = 3, name = (null)} 2019-08-08 15:16:58.785432+0800 YSC-GCD-demo[17988:4325744] semaphore---end,number = 100

从 Dispatch Semaphore 实现线程同步的代码能够看到:

  • semaphore---end 是在执行完 number = 100; 以后才打印的。并且输出结果 number 为 100。这是由于 异步执行 不会作任何等待,能够继续执行任务。 执行顺以下:
    1. semaphore 初始建立时计数为 0。
    2. 异步执行任务 1 追加到队列以后,不作等待,接着执行 dispatch_semaphore_wait 方法,semaphore 减 1,此时 semaphore == -1,当前线程进入等待状态。
    3. 而后,异步任务 1 开始执行。任务 1 执行到 dispatch_semaphore_signal 以后,总信号量加 1,此时 semaphore == 0,正在被阻塞的线程(主线程)恢复继续执行。
    4. 最后打印 semaphore---end,number = 100

这样就实现了线程同步,将异步执行任务转换为同步执行任务。

6.6.2 Dispatch Semaphore 线程安全和线程同步(为线程加锁)

线程安全:若是你的代码所在的进程中有多个线程在同时运行,而这些线程可能会同时运行这段代码。若是每次运行结果和单线程运行的结果是同样的,并且其余的变量的值也和预期的是同样的,就是线程安全的。

若每一个线程中对全局变量、静态变量只有读操做,而无写操做,通常来讲,这个全局变量是线程安全的;如有多个线程同时执行写操做(更改变量),通常都须要考虑线程同步,不然的话就可能影响线程安全。

线程同步:可理解为线程 A 和 线程 B 一块配合,A 执行到必定程度时要依靠线程 B 的某个结果,因而停下来,示意 B 运行;B 依言执行,再将结果给 A;A 再继续操做。

举个简单例子就是:两我的在一块儿聊天。两我的不能同时说话,避免听不清(操做冲突)。等一我的说完(一个线程结束操做),另外一个再说(另外一个线程再开始操做)。

下面,咱们模拟火车票售卖的方式,实现 NSThread 线程安全和解决线程同步问题。

场景:总共有 50 张火车票,有两个售卖火车票的窗口,一个是北京火车票售卖窗口,另外一个是上海火车票售卖窗口。两个窗口同时售卖火车票,卖完为止。

6.6.2.1 非线程安全(不使用 semaphore)

先来看看不考虑线程安全的代码:

/** * 非线程安全:不使用 semaphore * 初始化火车票数量、卖票窗口(非线程安全)、并开始卖票 */
- (void)initTicketStatusNotSave {
    NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
    NSLog(@"semaphore---begin");
    
    self.ticketSurplusCount = 50;
    
    // queue1 表明北京火车票售卖窗口
    dispatch_queue_t queue1 = dispatch_queue_create("net.bujige.testQueue1", DISPATCH_QUEUE_SERIAL);
    // queue2 表明上海火车票售卖窗口
    dispatch_queue_t queue2 = dispatch_queue_create("net.bujige.testQueue2", DISPATCH_QUEUE_SERIAL);
    
    __weak typeof(self) weakSelf = self;
    dispatch_async(queue1, ^{
        [weakSelf saleTicketNotSafe];
    });
    
    dispatch_async(queue2, ^{
        [weakSelf saleTicketNotSafe];
    });
}

/** * 售卖火车票(非线程安全) */
- (void)saleTicketNotSafe {
    while (1) {
        
        if (self.ticketSurplusCount > 0) {  // 若是还有票,继续售卖
            self.ticketSurplusCount--;
            NSLog(@"%@", [NSString stringWithFormat:@"剩余票数:%d 窗口:%@", self.ticketSurplusCount, [NSThread currentThread]]);
            [NSThread sleepForTimeInterval:0.2];
        } else { // 若是已卖完,关闭售票窗口
            NSLog(@"全部火车票均已售完");
            break;
        }
        
    }
}
复制代码

输出结果(部分): 2019-08-08 15:21:39.772655+0800 YSC-GCD-demo[18071:4340555] currentThread---<NSThread: 0x6000015a2f40>{number = 1, name = main} 2019-08-08 15:21:39.772790+0800 YSC-GCD-demo[18071:4340555] semaphore---begin 2019-08-08 15:21:39.773101+0800 YSC-GCD-demo[18071:4340604] 剩余票数:48 窗口:<NSThread: 0x6000015cc600>{number = 4, name = (null)} 2019-08-08 15:21:39.773115+0800 YSC-GCD-demo[18071:4340605] 剩余票数:49 窗口:<NSThread: 0x6000015f8600>{number = 3, name = (null)} 2019-08-08 15:21:39.975041+0800 YSC-GCD-demo[18071:4340605] 剩余票数:47 窗口:<NSThread: 0x6000015f8600>{number = 3, name = (null)} 2019-08-08 15:21:39.975037+0800 YSC-GCD-demo[18071:4340604] 剩余票数:47 窗口:<NSThread: 0x6000015cc600>{number = 4, name = (null)} 2019-08-08 15:21:40.176567+0800 YSC-GCD-demo[18071:4340604] 剩余票数:46 窗口:<NSThread: 0x6000015cc600>{number = 4, name = (null)} ...

能够看到在不考虑线程安全,不使用 semaphore 的状况下,获得票数是错乱的,这样显然不符合咱们的需求,因此咱们须要考虑线程安全问题。

6.6.2.2 线程安全(使用 semaphore 加锁)

考虑线程安全的代码:

/** * 线程安全:使用 semaphore 加锁 * 初始化火车票数量、卖票窗口(线程安全)、并开始卖票 */
- (void)initTicketStatusSave {
    NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
    NSLog(@"semaphore---begin");
    
    semaphoreLock = dispatch_semaphore_create(1);
    
    self.ticketSurplusCount = 50;
    
    // queue1 表明北京火车票售卖窗口
    dispatch_queue_t queue1 = dispatch_queue_create("net.bujige.testQueue1", DISPATCH_QUEUE_SERIAL);
    // queue2 表明上海火车票售卖窗口
    dispatch_queue_t queue2 = dispatch_queue_create("net.bujige.testQueue2", DISPATCH_QUEUE_SERIAL);
    
    __weak typeof(self) weakSelf = self;
    dispatch_async(queue1, ^{
        [weakSelf saleTicketSafe];
    });
    
    dispatch_async(queue2, ^{
        [weakSelf saleTicketSafe];
    });
}

/** * 售卖火车票(线程安全) */
- (void)saleTicketSafe {
    while (1) {
        // 至关于加锁
        dispatch_semaphore_wait(semaphoreLock, DISPATCH_TIME_FOREVER);
        
        if (self.ticketSurplusCount > 0) {  // 若是还有票,继续售卖
            self.ticketSurplusCount--;
            NSLog(@"%@", [NSString stringWithFormat:@"剩余票数:%d 窗口:%@", self.ticketSurplusCount, [NSThread currentThread]]);
            [NSThread sleepForTimeInterval:0.2];
        } else { // 若是已卖完,关闭售票窗口
            NSLog(@"全部火车票均已售完");
            
            // 至关于解锁
            dispatch_semaphore_signal(semaphoreLock);
            break;
        }
        
        // 至关于解锁
        dispatch_semaphore_signal(semaphoreLock);
    }
}
复制代码

输出结果为: 2019-08-08 15:23:58.819891+0800 YSC-GCD-demo[18116:4348091] currentThread---<NSThread: 0x600000681380>{number = 1, name = main} 2019-08-08 15:23:58.820041+0800 YSC-GCD-demo[18116:4348091] semaphore---begin 2019-08-08 15:23:58.820305+0800 YSC-GCD-demo[18116:4348159] 剩余票数:49 窗口:<NSThread: 0x6000006ede80>{number = 3, name = (null)} 2019-08-08 15:23:59.022165+0800 YSC-GCD-demo[18116:4348157] 剩余票数:48 窗口:<NSThread: 0x6000006e4b40>{number = 4, name = (null)} 2019-08-08 15:23:59.225299+0800 YSC-GCD-demo[18116:4348159] 剩余票数:47 窗口:<NSThread: 0x6000006ede80>{number = 3, name = (null)} ... 2019-08-08 15:24:08.355977+0800 YSC-GCD-demo[18116:4348157] 剩余票数:2 窗口:<NSThread: 0x6000006e4b40>{number = 4, name = (null)} 2019-08-08 15:24:08.559201+0800 YSC-GCD-demo[18116:4348159] 剩余票数:1 窗口:<NSThread: 0x6000006ede80>{number = 3, name = (null)} 2019-08-08 15:24:08.759630+0800 YSC-GCD-demo[18116:4348157] 剩余票数:0 窗口:<NSThread: 0x6000006e4b40>{number = 4, name = (null)} 2019-08-08 15:24:08.965100+0800 YSC-GCD-demo[18116:4348159] 全部火车票均已售完 2019-08-08 15:24:08.965440+0800 YSC-GCD-demo[18116:4348157] 全部火车票均已售完

能够看出,在考虑了线程安全的状况下,使用 dispatch_semaphore 机制以后,获得的票数是正确的,没有出现混乱的状况。咱们也就解决了多个线程同步的问题。


参考资料:


iOS多线程详尽总结系列文章: