GCD使用详解

569 阅读28分钟

GCD简介

定义

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

优点

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

GCD任务和队列

任务:

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

  • 同步执行(sync

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

    • 异步添加任务到指定的队列中,它不会做任何等待,可以继续执行任务。
    • 可以在新的线程中执行任务,具备开启新线程的能力。

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

队列(Dispatch Queue):

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

41900081-9E70-4EF3-831F-1911E10C9E3E.png
在 GCD 中有两种队列:『串行队列』 和 『并发队列』。两者都符合 FIFO(先进先出)的原则。两者的主要区别是:执行顺序不同,以及开启线程数不同。

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

70B9328F-03D9-45C1-9B22-60C2C405F775.png

GCD的使用步骤

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

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

队列的创建方法 / 获取方法

  • 可以使用 dispatch_queue_create 方法来创建队列。该方法需要传入两个参数:
    • 第一个参数表示队列的唯一标识符,用于 DEBUG,可为空。队列的名称推荐使用应用程序 ID这种逆序全程域名。
    • 第二个参数用来识别是串行队列还是并发队列。DISPATCH_QUEUE_SERIAL 表示串行队列,DISPATCH_QUEUE_CONCURRENT 表示并发队列。
  • 对于串行队列,GCD 默认提供了:『主队列(Main Dispatch Queue)』
    • 所有放在主队列中的任务,都会放到主线程中执行。
    • 可使用 dispatch_get_main_queue() 方法获得主队列。
  • 对于并发队列,GCD 默认提供了 『全局并发队列(Global Dispatch Queue)』
    • 可以使用dispatch_get_global_queue方法来获取全局并发队列
    • 第一个参数表示队列优先级,一般用 DISPATCH_QUEUE_PRIORITY_DEFAULT。第二个参数暂时没用,用 0 即可。

任务的创建方法

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

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

不同任务和队列组合方式的区别

  • 同步函数和串行队列:不会开启线程,在当前线程中执行任务,任务一个接一个的串行执行,会产生堵塞
  • 同步函数和并发队列:不会开启线程,在当前线程中执行任务,任务一个接一个的串行执行,会产生堵塞
  • 异步函数和串行队列:开启一个新线程,在新的线程中任务一个接一个执行
  • 异步函数和并发队列:开启线程,任务在新的线程中执行

GCD的基本使用

同步执行+并发队列

- (void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event{
    /**
     * 同步执行 + 并发队列
     * 特点:在当前线程中执行任务,不会开启新线程,执行完一个任务,再执行下一个任务。
     */
        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");
}

输出内容为:

2020-03-17 16:47:22.602238+0800 GCD01[1935:165219] syncConcurrent---begin
2020-03-17 16:47:24.602575+0800 GCD01[1935:165219] 1---<NSThread: 0x6000026eecc0>{number = 1, name = main}
2020-03-17 16:47:26.603968+0800 GCD01[1935:165219] 2---<NSThread: 0x6000026eecc0>{number = 1, name = main}
2020-03-17 16:47:28.604788+0800 GCD01[1935:165219] 3---<NSThread: 0x6000026eecc0>{number = 1, name = main}
2020-03-17 16:47:28.605017+0800 GCD01[1935:165219] syncConcurrent---end

因此可以得出:

  • 所有任务都是在当前线程(主线程)中执行的,没有开启新的线程(同步执行不具备开启新线程的能力)。
  • 所有任务都在打印的 syncConcurrent---begin 和 syncConcurrent---end 之间执行的(同步任务 需要等待队列的任务执行结束)。
  • 任务按顺序执行的。按顺序执行的原因:虽然 并发队列 可以开启多个线程,并且同时执行多个任务。但是因为本身不能创建新线程,只有当前线程这一个线程(同步任务 不具备开启新线程的能力),所以也就不存在并发。而且当前线程只有等待当前队列中正在执行的任务执行完毕之后,才能继续接着执行下面的操作(同步任务 需要等待队列的任务执行结束)。所以任务只能一个接一个按顺序执行,不能同时被执行。

异步执行 + 并发队列

- (void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event{
    /**
     * 同步执行 + 并发队列
     * 特点:在当前线程中执行任务,不会开启新线程,执行完一个任务,再执行下一个任务。
     */
        NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
        NSLog(@"syncConcurrent---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(@"syncConcurrent---end");
}

输出信息为:

2020-03-17 16:54:01.374316+0800 GCD01[1963:167729] syncConcurrent---begin
2020-03-17 16:54:01.374433+0800 GCD01[1963:167729] syncConcurrent---end
2020-03-17 16:54:03.379121+0800 GCD01[1963:167797] 2---<NSThread: 0x600000fc5a00>{number = 6, name = (null)}
2020-03-17 16:54:03.379115+0800 GCD01[1963:167799] 3---<NSThread: 0x600000ff4140>{number = 5, name = (null)}
2020-03-17 16:54:03.379115+0800 GCD01[1963:167796] 1---<NSThread: 0x600000ff4fc0>{number = 4, name = (null)}

从结果可以看出在 异步执行 + 并发队列中:

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

同步执行 + 串行队列

- (void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event{
    /**
     * 同步执行 + 并发队列
     * 特点:在当前线程中执行任务,不会开启新线程,执行完一个任务,再执行下一个任务。
     */
        NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
        NSLog(@"syncConcurrent---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(@"syncConcurrent---end");
}

输出结果为:

2020-03-17 16:58:19.732450+0800 GCD01[1984:169105] currentThread---<NSThread: 0x6000004eee00>{number = 1, name = main}
2020-03-17 16:58:19.732601+0800 GCD01[1984:169105] syncConcurrent---begin
2020-03-17 16:58:21.733989+0800 GCD01[1984:169105] 1---<NSThread: 0x6000004eee00>{number = 1, name = main}
2020-03-17 16:58:23.735532+0800 GCD01[1984:169105] 2---<NSThread: 0x6000004eee00>{number = 1, name = main}
2020-03-17 16:58:25.232197+0800 GCD01[1984:169175] XPC connection interrupted
2020-03-17 16:58:25.737010+0800 GCD01[1984:169105] 3---<NSThread: 0x6000004eee00>{number = 1, name = main}
2020-03-17 16:58:25.737213+0800 GCD01[1984:169105] syncConcurrent---end

在 同步执行 + 串行队列 可以看到:

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

异步执行 + 串行队列

- (void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event{
    /**
     * 同步执行 + 并发队列
     * 特点:在当前线程中执行任务,不会开启新线程,执行完一个任务,再执行下一个任务。
     */
        NSLog(@"currentThread---%@",[NSThread currentThread]);  // 打印当前线程
        NSLog(@"syncConcurrent---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(@"syncConcurrent---end");
}

输出结果为:

2020-03-17 16:59:45.320793+0800 GCD01[2000:170324] syncConcurrent---begin
2020-03-17 16:59:45.320933+0800 GCD01[2000:170324] syncConcurrent---end
2020-03-17 16:59:47.323487+0800 GCD01[2000:170364] 1---<NSThread: 0x600000e7eac0>{number = 6, name = (null)}
2020-03-17 16:59:49.328441+0800 GCD01[2000:170364] 2---<NSThread: 0x600000e7eac0>{number = 6, name = (null)}
2020-03-17 16:59:51.333394+0800 GCD01[2000:170364] 3---<NSThread: 0x600000e7eac0>{number = 6, name = (null)}

在 异步执行 + 串行队列 可以看到:

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

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]);      // 打印当前线程
        });
    });
}

GCD的其他方法

GCD 栅栏方法:dispatch_barrier_async

我们有时需要异步执行两组操作,而且第一组操作执行完之后,才能开始执行第二组操作。这样我们就需要一个相当于 栅栏 一样的一个方法将两组异步执行的操作组给分割起来,当然这里的操作组里可以包含一个或多个任务。这就需要用到dispatch_barrier_async 方法在两个操作组间形成栅栏。 dispatch_barrier_async 方法会等待前边追加到并发队列中的任务全部执行完毕之后,再将指定的任务追加到该异步队列中。然后在 dispatch_barrier_async 方法追加的任务执行完毕之后,异步队列才恢复为一般动作,接着追加任务到该异步队列并开始执行。具体如下图所示

8doqw4.jpg

/**
 * 栅栏方法 dispatch_barrier_async
 */
- (void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event {
    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]);      // 打印当前线程
    });
}

输出结果为:

2020-03-18 09:05:13.909446+0800 GCD01[3801:386950] 2---<NSThread: 0x6000039d8480>{number = 4, name = (null)}
2020-03-18 09:05:13.909449+0800 GCD01[3801:386954] 1---<NSThread: 0x6000039d6740>{number = 6, name = (null)}
2020-03-18 09:05:15.914985+0800 GCD01[3801:386954] barrier---<NSThread: 0x6000039d6740>{number = 6, name = (null)}
2020-03-18 09:05:17.916863+0800 GCD01[3801:386950] 4---<NSThread: 0x6000039d8480>{number = 4, name = (null)}
2020-03-18 09:05:17.916863+0800 GCD01[3801:386954] 3---<NSThread: 0x6000039d6740>{number = 6, name = (null)}

dispatch_barrier_async执行结果中可以看出:

在执行完栅栏前面的操作之后,才执行栅栏操作,最后再执行栅栏后边的操作。

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]);  // 打印当前线程
    });
}

执行结果为:

2020-03-18 09:20:07.604978+0800 GCD01[3860:392535] currentThread---<NSThread: 0x600001b34640>{number = 7, name = (null)}
2020-03-18 09:20:07.605168+0800 GCD01[3860:392535] asyncMain---begin
2020-03-18 09:20:09.768683+0800 GCD01[3860:392417] after---<NSThread: 0x600001b5d440>{number = 1, name = main}

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

我们在创建单例、或者有整个程序运行过程中只执行一次的代码时,我们就用到了 GCDdispatch_once 方法。使用 dispatch_once 方法能保证某段代码在程序运行过程中只被执行 1 次,并且即使在多线程的环境下,dispatch_once 也可以保证线程安全。

/**
 * 一次性代码(只执行一次)dispatch_once
 */
- (void)once {
    static dispatch_once_t onceToken;
    dispatch_once(&onceToken, ^{
        // 只执行 1 次的代码(这里面默认是线程安全的)
    });
}

GCD 快速迭代方法:dispatch_apply

通常我们会用 for 循环遍历,但是 GCD 给我们提供了快速迭代的方法 dispatch_apply。dispatch_apply 按照指定的次数将指定的任务追加到指定的队列中,并等待全部队列执行结束。

/**
 * 快速迭代方法 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");
}

输出结果为:

2020-03-18 10:33:06.678197+0800 GCD01[6854:418977] apply---begin
2020-03-18 10:33:06.678522+0800 GCD01[6854:418977] 0---<NSThread: 0x600001ed2cc0>{number = 1, name = main}
2020-03-18 10:33:06.678649+0800 GCD01[6854:418977] 1---<NSThread: 0x600001ed2cc0>{number = 1, name = main}
2020-03-18 10:33:06.678757+0800 GCD01[6854:418977] 2---<NSThread: 0x600001ed2cc0>{number = 1, name = main}
2020-03-18 10:33:06.678794+0800 GCD01[6854:419048] 3---<NSThread: 0x600001e89f00>{number = 4, name = (null)}
2020-03-18 10:33:06.678857+0800 GCD01[6854:418977] 4---<NSThread: 0x600001ed2cc0>{number = 1, name = main}
2020-03-18 10:33:06.678925+0800 GCD01[6854:419048] 5---<NSThread: 0x600001e89f00>{number = 4, name = (null)}
2020-03-18 10:33:06.679020+0800 GCD01[6854:418977] apply---end

因为是在并发队列中异步执行任务,所以各个任务的执行时间长短不定,最后结束顺序也不定。但是 apply---end 一定在最后执行。这是因为 dispatch_apply 方法会等待全部任务执行完毕。

GCD 队列组:dispatch_group

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

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

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(), ^{
        // 等前面的异步任务 1、任务 2 都执行完毕后,回到主线程执行下边任务
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
        NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程

        NSLog(@"group---end");
    });
}

输出结果为

2020-03-18 10:38:01.278800+0800 GCD01[6889:421077] currentThread---<NSThread: 0x60000206fa00>{number = 1, name = main}
2020-03-18 10:38:01.279113+0800 GCD01[6889:421077] group---begin
2020-03-18 10:38:03.281895+0800 GCD01[6889:421143] 2---<NSThread: 0x600002006080>{number = 6, name = (null)}
2020-03-18 10:38:03.281895+0800 GCD01[6889:421138] 1---<NSThread: 0x600002039f80>{number = 4, name = (null)}
2020-03-18 10:38:05.283431+0800 GCD01[6889:421077] 3---<NSThread: 0x60000206fa00>{number = 1, name = main}
2020-03-18 10:38:05.283629+0800 GCD01[6889:421077] group---end

dispatch_group_notify 相关代码运行输出结果可以看出: 当所有任务都执行完成之后,才执行 dispatch_group_notify 相关 block 中的任务。

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");
    
}

输出结果为:

2020-03-18 10:40:51.239268+0800 GCD01[6910:422371] currentThread---<NSThread: 0x600001b92cc0>{number = 1, name = main}
2020-03-18 10:40:51.239460+0800 GCD01[6910:422371] group---begin
2020-03-18 10:40:53.244965+0800 GCD01[6910:422407] 1---<NSThread: 0x600001bf5a40>{number = 6, name = (null)}
2020-03-18 10:40:53.244967+0800 GCD01[6910:422406] 2---<NSThread: 0x600001bc8540>{number = 4, name = (null)}
2020-03-18 10:40:53.245181+0800 GCD01[6910:422371] group---end

dispatch_group_wait 相关代码运行输出结果可以看出: 当所有任务执行完成之后,才执行 dispatch_group_wait 之后的操作。但是,使用dispatch_group_wait 会阻塞当前线程。

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");
    });
}

输出结果为:

2020-03-18 10:43:32.513937+0800 GCD01[6923:423337] currentThread---<NSThread: 0x600001361040>{number = 1, name = main}
2020-03-18 10:43:32.514209+0800 GCD01[6923:423337] group---begin
2020-03-18 10:43:34.519480+0800 GCD01[6923:423398] 1---<NSThread: 0x600001335140>{number = 3, name = (null)}
2020-03-18 10:43:34.519474+0800 GCD01[6923:423532] 2---<NSThread: 0x60000130bdc0>{number = 7, name = (null)}
2020-03-18 10:43:36.521078+0800 GCD01[6923:423337] 3---<NSThread: 0x600001361040>{number = 1, name = main}
2020-03-18 10:43:36.521272+0800 GCD01[6923:423337] group---end

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 在实际开发中主要用于:
  • 保持线程同步,将异步执行任务转换为同步执行任务
  • 保证线程安全,为线程加锁

Dispatch Semaphore 线程同步

我们在开发中,会遇到这样的需求:异步执行耗时任务,并使用异步执行的结果进行一些额外的操作。换句话说,相当于,将将异步执行任务转换为同步执行任务。比如说:AFNetworkingAFURLSessionManager.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);
}

输入结果为:

2020-03-18 10:58:19.790612+0800 GCD01[7445:430083] currentThread---<NSThread: 0x60000328acc0>{number = 1, name = main}
2020-03-18 10:58:19.790772+0800 GCD01[7445:430083] semaphore---begin
2020-03-18 10:58:21.796268+0800 GCD01[7445:430125] 1---<NSThread: 0x6000032d7640>{number = 6, name = (null)}
2020-03-18 10:58:21.796469+0800 GCD01[7445:430083] semaphore---end,number = 100

Dispatch Semaphore 实现线程同步的代码可以看到执行顺序为:

  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。 这样就实现了线程同步,将异步执行任务转换为同步执行任务。

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

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

若每个线程中对全局变量、静态变量只有读操作,而无写操作,一般来说,这个全局变量是线程安全的;若有多个线程同时执行写操作(更改变量),一般都需要考虑线程同步,否则的话就可能影响线程安全

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

我们先看一个线程不安全的例子

/**
 * 非线程安全:不使用 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;
        }
        
    }
}

输出结果为:

2020-03-18 11:08:48.340295+0800 GCD01[7633:435006] 剩余票数:0 窗口:<NSThread: 0x6000031c2780>{number = 8, name = (null)}
2020-03-18 11:08:48.340295+0800 GCD01[7633:434938] 剩余票数:1 窗口:<NSThread: 0x6000031f8d40>{number = 3, name = (null)}
2020-03-18 11:08:48.544971+0800 GCD01[7633:434938] 所有火车票均已售完

看出,火车票已经卖完了,另一个窗口还在卖,这样有问题。 然后看下线程安全的

/**
 * 线程安全:使用 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);
    }
}

输出结果为:

2020-03-18 11:16:16.495382+0800 GCD01[7659:437766] 剩余票数:8 窗口:<NSThread: 0x6000025df140>{number = 7, name = (null)}
2020-03-18 11:16:16.697195+0800 GCD01[7659:437769] 剩余票数:7 窗口:<NSThread: 0x6000025ec880>{number = 4, name = (null)}
2020-03-18 11:16:16.902649+0800 GCD01[7659:437766] 剩余票数:6 窗口:<NSThread: 0x6000025df140>{number = 7, name = (null)}
2020-03-18 11:16:17.103065+0800 GCD01[7659:437769] 剩余票数:5 窗口:<NSThread: 0x6000025ec880>{number = 4, name = (null)}
2020-03-18 11:16:17.308667+0800 GCD01[7659:437766] 剩余票数:4 窗口:<NSThread: 0x6000025df140>{number = 7, name = (null)}
2020-03-18 11:16:17.512145+0800 GCD01[7659:437769] 剩余票数:3 窗口:<NSThread: 0x6000025ec880>{number = 4, name = (null)}
2020-03-18 11:16:17.717599+0800 GCD01[7659:437766] 剩余票数:2 窗口:<NSThread: 0x6000025df140>{number = 7, name = (null)}
2020-03-18 11:16:17.918120+0800 GCD01[7659:437769] 剩余票数:1 窗口:<NSThread: 0x6000025ec880>{number = 4, name = (null)}

显示输出正常。