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

手机APP/开发
317
0
0
2023-05-02
标签   IOS

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
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });    
   
    dispatch_sync(queue, ^{
        // 追加任务2
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });    
   
    dispatch_sync(queue, ^{
        // 追加任务3
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
            
   NSLog(@"syncConcurrent---end");
}
输出结果: currentThread---<NSThread: 0x60400006bbc0>{number = 1, name = main} syncConcurrent---begin 1---<NSThread: 0x60400006bbc0>{number = 1, name = main} 1---<NSThread: 0x60400006bbc0>{number = 1, name = main} 2---<NSThread: 0x60400006bbc0>{number = 1, name = main} 2---<NSThread: 0x60400006bbc0>{number = 1, name = main} 3---<NSThread: 0x60400006bbc0>{number = 1, name = main} 3---<NSThread: 0x60400006bbc0>{number = 1, name = main} syncConcurrent---end

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

  • 所有任务都是在当前线程(主线程)中执行的,没有开启新的线程(同步执行不具备开启新线程的能力)。
  • 所有任务都在打印的syncConcurrent---begin和syncConcurrent---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
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
            
   dispatch_async(queue, ^{
        // 追加任务2
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });    
   
    dispatch_async(queue, ^{
        // 追加任务3
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
            
   NSLog(@"asyncConcurrent---end");
}
输出结果: currentThread---<NSThread: 0x604000062d80>{number = 1, name = main} asyncConcurrent---begin asyncConcurrent---end 2---<NSThread: 0x604000266f00>{number = 5, name = (null)} 3---<NSThread: 0x60000026f200>{number = 4, name = (null)} 1---<NSThread: 0x600000264800>{number = 3, name = (null)} 3---<NSThread: 0x60000026f200>{number = 4, name = (null)} 1---<NSThread: 0x600000264800>{number = 3, name = (null)} 2---<NSThread: 0x604000266f00>{number = 5, name = (null)}

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

  • 除了当前线程(主线程),系统又开启了3个线程,并且任务是交替/同时执行的。(异步执行具备开启新线程的能力。且并发队列可开启多个线程,同时执行多个任务)。
  • 所有任务是在打印的syncConcurrent---begin和syncConcurrent---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
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
    dispatch_sync(queue, ^{
        // 追加任务2
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
    dispatch_sync(queue, ^{
        // 追加任务3
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });  
          
   NSLog(@"syncSerial---end");
}
输出结果为: currentThread---<NSThread: 0x604000079400>{number = 1, name = main} syncSerial---begin 1---<NSThread: 0x604000079400>{number = 1, name = main} 1---<NSThread: 0x604000079400>{number = 1, name = main} 2---<NSThread: 0x604000079400>{number = 1, name = main} 2---<NSThread: 0x604000079400>{number = 1, name = main} 3---<NSThread: 0x604000079400>{number = 1, name = main} 3---<NSThread: 0x604000079400>{number = 1, name = main} syncSerial---end

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

  • 所有任务都是在当前线程(主线程)中执行的,并没有开启新的线程(同步执行不具备开启新线程的能力)。
  • 所有任务都在打印的syncConcurrent---begin和syncConcurrent---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
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
    dispatch_async(queue, ^{
        // 追加任务2
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
    dispatch_async(queue, ^{
        // 追加任务3
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
       }
   }); 
           
   NSLog(@"asyncSerial---end");
}
输出结果为: currentThread---<NSThread: 0x604000070440>{number = 1, name = main} asyncSerial---begin asyncSerial---end 1---<NSThread: 0x60000026e100>{number = 3, name = (null)} 1---<NSThread: 0x60000026e100>{number = 3, name = (null)} 2---<NSThread: 0x60000026e100>{number = 3, name = (null)} 2---<NSThread: 0x60000026e100>{number = 3, name = (null)} 3---<NSThread: 0x60000026e100>{number = 3, name = (null)} 3---<NSThread: 0x60000026e100>{number = 3, name = (null)}

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

  • 开启了一条新线程(异步执行具备开启新线程的能力,串行队列只开启一个线程)。
  • 所有任务是在打印的syncConcurrent---begin和syncConcurrent---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
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });    
   dispatch_sync(queue, ^{
        // 追加任务2
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });    
   dispatch_sync(queue, ^{
        // 追加任务3
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
            
   NSLog(@"syncMain---end");
}
输出结果 currentThread---<NSThread: 0x600000078a00>{number = 1, name = main} syncMain---begin (lldb)

在同步执行 + 主队列可以惊奇的发现:

  • 在主线程中使用同步执行 + 主队列,追加到主线程的任务1、任务2、任务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];
输出结果: currentThread---<NSThread: 0x600000272fc0>{number = 3, name = (null)} syncMain---begin 1---<NSThread: 0x60000006c900>{number = 1, name = main} 1---<NSThread: 0x60000006c900>{number = 1, name = main} 2---<NSThread: 0x60000006c900>{number = 1, name = main} 2---<NSThread: 0x60000006c900>{number = 1, name = main} 3---<NSThread: 0x60000006c900>{number = 1, name = main} 3---<NSThread: 0x60000006c900>{number = 1, name = main} syncMain---end

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

  • 所有任务都是在主线程(非当前线程)中执行的,没有开启新的线程(所有放在主队列中的任务,都会放到主线程中执行)。
  • 所有任务都在打印的syncConcurrent---begin和syncConcurrent---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
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });    
   dispatch_async(queue, ^{
        // 追加任务2
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });    
   dispatch_async(queue, ^{
        // 追加任务3
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
            
   NSLog(@"asyncMain---end");
}
输出结果: currentThread---<NSThread: 0x60000006d440>{number = 1, name = main} asyncMain---begin asyncMain---end 1---<NSThread: 0x60000006d440>{number = 1, name = main} 1---<NSThread: 0x60000006d440>{number = 1, name = main} 2---<NSThread: 0x60000006d440>{number = 1, name = main} 2---<NSThread: 0x60000006d440>{number = 1, name = main} 3---<NSThread: 0x60000006d440>{number = 1, name = main} 3---<NSThread: 0x60000006d440>{number = 1, name = main}

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

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

弄懂了难理解、绕来绕去的队列+任务之后,我们来学习一个简单的东西:

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, ^{
        // 异步追加任务
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
       }
                
       // 回到主线程
       dispatch_async(mainQueue, ^{
            // 追加在主线程中执行的任务
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
       });
   });
}
输出结果: 1---<NSThread: 0x600000271940>{number = 3, name = (null)} 1---<NSThread: 0x600000271940>{number = 3, name = (null)} 2---<NSThread: 0x60000007bf80>{number = 1, name = main}
  • 可以看到在其他线程中先执行任务,执行完了之后回到主线程执行主线程的相应操作。

6. GCD 的其他方法

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

img

/**
* 栅栏方法 dispatch_barrier_async
*/
- (void)barrier {
    dispatch_queue_t queue = dispatch_queue_create("net.bujige.testQueue", DISPATCH_QUEUE_CONCURRENT);    
   
    dispatch_async(queue, ^{
        // 追加任务1
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
    dispatch_async(queue, ^{
        // 追加任务2
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
   
   dispatch_barrier_async(queue, ^{
        // 追加任务 barrier
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"barrier---%@",[NSThread currentThread]);// 打印当前线程
       }
   });
            
   dispatch_async(queue, ^{       
       // 追加任务3
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
    dispatch_async(queue, ^{
        // 追加任务4
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"4---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
}
输出结果: 1---<NSThread: 0x600000079d80>{number = 4, name = (null)} 2---<NSThread: 0x600000079e00>{number = 3, name = (null)} 1---<NSThread: 0x600000079d80>{number = 4, name = (null)} 2---<NSThread: 0x600000079e00>{number = 3, name = (null)} barrier---<NSThread: 0x600000079d80>{number = 4, name = (null)} barrier---<NSThread: 0x600000079d80>{number = 4, name = (null)} 4---<NSThread: 0x600000079e00>{number = 3, name = (null)} 3---<NSThread: 0x600000079d80>{number = 4, name = (null)} 4---<NSThread: 0x600000079e00>{number = 3, name = (null)} 3---<NSThread: 0x600000079d80>{number = 4, 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]);  // 打印当前线程
   });
}
输出结果: currentThread---<NSThread: 0x60000006ee00>{number = 1, name = main} asyncMain---begin after---<NSThread: 0x60000006ee00>{number = 1, name = main}

可以看出:在打印 asyncMain---begin 之后大约 2.0 秒的时间,打印了 after---<NSThread: 0x60000006ee00>{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_apply。dispatch_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");
}
输出结果: apply---begin 1---<NSThread: 0x60000027b8c0>{number = 3, name = (null)} 0---<NSThread: 0x604000070640>{number = 1, name = main} 2---<NSThread: 0x604000276800>{number = 4, name = (null)} 3---<NSThread: 0x60000027b800>{number = 5, name = (null)} 4---<NSThread: 0x60000027b8c0>{number = 3, name = (null)} 5---<NSThread: 0x604000070640>{number = 1, name = main} apply---end

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

6.5 GCD 队列组:dispatch_group

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

  • 调用队列组的 dispatch_group_async 先把任务放到队列中,然后将队列放入队列组中。或者使用队列组的 dispatch_group_enter、dispatch_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
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
   
   dispatch_group_async(group, dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        // 追加任务2
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
   
   dispatch_group_notify(group, dispatch_get_main_queue(), ^{
        // 等前面的异步任务1、任务2都执行完毕后,回到主线程执行下边任务
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
       }
        NSLog(@"group---end");
   });
}
输出结果: currentThread---<NSThread: 0x604000072040>{number = 1, name = main} group---begin 1---<NSThread: 0x60000026f280>{number = 4, name = (null)} 2---<NSThread: 0x60000026f240>{number = 3, name = (null)} 2---<NSThread: 0x60000026f240>{number = 3, name = (null)} 1---<NSThread: 0x60000026f280>{number = 4, name = (null)} 3---<NSThread: 0x604000072040>{number = 1, name = main} 3---<NSThread: 0x604000072040>{number = 1, name = main} 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
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
   
   dispatch_group_async(group, dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        // 追加任务2
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
       }
   });
            
   // 等待上面的任务全部完成后,会往下继续执行(会阻塞当前线程)
   dispatch_group_wait(group, DISPATCH_TIME_FOREVER);    
   
    NSLog(@"group---end");
}
输出结果: currentThread---<NSThread: 0x600000066780>{number = 1, name = main} group---begin 2---<NSThread: 0x600000464b80>{number = 4, name = (null)} 1---<NSThread: 0x604000076640>{number = 3, name = (null)} 2---<NSThread: 0x600000464b80>{number = 4, name = (null)} 1---<NSThread: 0x604000076640>{number = 3, name = (null)} 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
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
       }
       dispatch_group_leave(group);
   });
   
   dispatch_group_enter(group);
    dispatch_async(queue, ^{
        // 追加任务2
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"2---%@",[NSThread currentThread]);      // 打印当前线程
       }
       dispatch_group_leave(group);
   });
   
   dispatch_group_notify(group, dispatch_get_main_queue(), ^{
        // 等前面的异步操作都执行完毕后,回到主线程.
       for (int i = 0; i < 2; ++i) {
           [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
           NSLog(@"3---%@",[NSThread currentThread]);      // 打印当前线程
       }
        NSLog(@"group---end");
   });
   
//    // 等待上面的任务全部完成后,会往下继续执行(会阻塞当前线程)
//    dispatch_group_wait(group, DISPATCH_TIME_FOREVER);
//
//    NSLog(@"group---end");
}
输出结果: currentThread---<NSThread: 0x604000066600>{number = 1, name = main} group---begin 1---<NSThread: 0x600000277c80>{number = 4, name = (null)} 2---<NSThread: 0x600000277c40>{number = 3, name = (null)} 1---<NSThread: 0x600000277c80>{number = 4, name = (null)} 2---<NSThread: 0x600000277c40>{number = 3, name = (null)} 3---<NSThread: 0x604000066600>{number = 1, name = main} 3---<NSThread: 0x604000066600>{number = 1, name = main} group---end

从dispatch_group_enter、dispatch_group_leave相关代码运行结果中可以看出:当所有任务执行完成之后,才执行 dispatch_group_notify 中的任务。这里的dispatch_group_enter、dispatch_group_leave组合,其实等同于dispatch_group_async。

6.6 GCD 信号量:dispatch_semaphore

GCD 中的信号量是指 Dispatch Semaphore,是持有计数的信号。类似于过高速路收费站的栏杆。可以通过时,打开栏杆,不可以通过时,关闭栏杆。在 Dispatch Semaphore 中,使用计数来完成这个功能,计数为0时等待,不可通过。计数为1或大于1时,计数减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。

    __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);
}
输出结果: currentThread---<NSThread: 0x60400006bc80>{number = 1, name = main} semaphore---begin 1---<NSThread: 0x600000272300>{number = 3, name = (null)} semaphore---end,number = 100

从 Dispatch Semaphore 实现线程同步的代码可以看到:

  • semaphore---end 是在执行完 number = 100; 之后才打印的。而且输出结果 number 为 100。 这是因为异步执行不会做任何等待,可以继续执行任务。异步执行将任务1追加到队列之后,不做等待,接着执行dispatch_semaphore_wait方法。此时 semaphore == 0,当前线程进入等待状态。然后,异步任务1开始执行。任务1执行到dispatch_semaphore_signal之后,总信号量,此时 semaphore == 1,dispatch_semaphore_wait方法使总信号量减1,正在被阻塞的线程(主线程)恢复继续执行。最后打印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;
       }
       
   }
}
输出结果(部分): currentThread---<NSThread: 0x604000068880>{number = 1, name = main} semaphore---begin 剩余票数:48 窗口:<NSThread: 0x60000027db80>{number = 3, name = (null)} 剩余票数:49 窗口:<NSThread: 0x60000027e740>{number = 4, name = (null)} 剩余票数:47 窗口:<NSThread: 0x60000027e740>{number = 4, name = (null)} 剩余票数:46 窗口:<NSThread: 0x60000027db80>{number = 3, name = (null)} 剩余票数:45 窗口:<NSThread: 0x60000027db80>{number = 3, 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);
   }
}
输出结果为: currentThread---<NSThread: 0x6000000783c0>{number = 1, name = main} semaphore---begin 剩余票数:49 窗口:<NSThread: 0x6040002709c0>{number = 3, name = (null)} 剩余票数:48 窗口:<NSThread: 0x60000046c640>{number = 4, name = (null)} 剩余票数:47 窗口:<NSThread: 0x6040002709c0>{number = 3, name = (null)} ... 剩余票数:4 窗口:<NSThread: 0x60000046c640>{number = 4, name = (null)} 剩余票数:3 窗口:<NSThread: 0x6040002709c0>{number = 3, name = (null)} 剩余票数:2 窗口:<NSThread: 0x60000046c640>{number = 4, name = (null)} 剩余票数:1 窗口:<NSThread: 0x6040002709c0>{number = 3, name = (null)} 剩余票数:0 窗口:<NSThread: 0x60000046c640>{number = 4, name = (null)} 所有火车票均已售完 所有火车票均已售完

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