GCD死锁问题

CoderDC
112 阅读5分钟

#iOS笔记/复习笔记

几个概念

  1. 串行与并行
  • 队列（负责调度任务
  • 串行队列：一个接一个的调度任务
  • 并发队列：可以同时调度多个任务 这两种都遵循**FIFO（先进先出）**原则； 并行队列虽然可以同时多个任务的处理，但是并行队列的处理量，还是要根据当前系统状态来。如果当前系统状态最多处理2个任务，那么1、2会排在前面，3什么时候操作，就看1或者2谁先完成，然后3接在后面。
  1. 同步与异步 串行与并行针对的是队列，而同步与异步，针对的则是线程。 最大的区别在于，同步线程要阻塞当前线程，必须要等待同步线程中的任务执行完，返回以后，才能继续执行下一任务；而异步线程则是不用等待。

案例分析

案例一： 当同步遇到了串行

NSLog(@"1"); // 任务1
dispatch_sync(dispatch_get_main_queue(), ^{
    NSLog(@"2"); // 任务2
});
NSLog(@"3"); // 任务3

控制台输出结果:

1

分析：

  • dispatch_sync表示是一个同步线程；
  • dispatch_get_main_queue表示运行在主线程中的主队列；
  • 任务2是同步线程的任务。
  • 任务3需要等待任务2结束之后再执行.

首先执行任务1，这是肯定没问题的，只是接下来，程序遇到了同步线程，那么它会进入等待，等待任务2执行完，然后执行任务3。但这是主队列，是一个特殊的串行队列,有任务来，当然会将任务加到队尾，然后遵循FIFO原则执行任务。那么，现在任务2就会被加到最后，任务3排在了任务2前面，问题来了：

任务3要等任务2执行完才能执行，任务2又排在任务3后面，意味着任务2要在任务3执行完才能执行，所以他们进入了互相等待的局面。【既然这样，那干脆就卡在这里吧】这就是死锁。

C27938FE-383E-4568-9FC4-28608E636163.png

案例二：当同步遇到了并行

NSLog(@"1"); // 任务1
dispatch_sync(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_HIGH, 0), ^{
    NSLog(@"2"); // 任务2
});
NSLog(@"3"); // 任务3

控制台输出结果为:

1
2
3

分析： 首先执行任务1，接下来会遇到一个同步线程，程序会进入等待。等待任务2执行完成以后，才能继续执行任务3。从dispatch_get_global_queue可以看出，任务2被加入到了全局的并行队列中，当并行队列执行完任务2以后，返回到主队列，继续执行任务3。

86DD2AA5-55B5-44B5-BCBE-86B1F8CE2743.png

案例三： 咱们来点复杂一些的: 同步异步都有

dispatch_queue_t queue = dispatch_queue_create("com.demo.serialQueue", DISPATCH_QUEUE_SERIAL);
NSLog(@"1"); // 任务1
dispatch_async(queue, ^{
    NSLog(@"2"); // 任务2
    dispatch_sync(queue, ^{  
        NSLog(@"3"); // 任务3
    });
    NSLog(@"4"); // 任务4
});
NSLog(@"5"); // 任务5

控制台输出结果:

1
5
2
// 2 和 5 的顺序不一定 , 3, 4, 没有输出

分析： 这个案例没有使用系统提供的串行或并行队列，而是自己通过dispatch_queue_create函数创建了一个DISPATCH_QUEUE_SERIAL的串行队列。 1.执行任务1； 2.遇到异步线程，将【任务2、同步线程、任务4】加入串行队列中。因为是异步线程，所以在主线程中的任务5不必等待异步线程中的所有任务完成； 3.因为任务5不必等待，所以2和5的输出顺序不能确定； 4.任务2执行完以后，遇到同步线程，这时，将任务3加入串行队列； 5.又因为任务4比任务3早加入串行队列，所以，任务3要等待任务4完成以后，才能执行。但是任务3所在的同步线程会阻塞，所以任务4必须等任务3执行完以后再执行。这就又陷入了无限的等待中，造成死锁。

3E6AFDFA-EFAB-4B43-9898-C50587E80136.png

案例四：异步遇到同步回主线程

NSLog(@"1"); // 任务1
dispatch_async(dispatch_get_global_queue(0, 0), ^{
    NSLog(@"2"); // 任务2
    dispatch_sync(dispatch_get_main_queue(), ^{
        NSLog(@"3"); // 任务3
    });
    NSLog(@"4"); // 任务4
});
NSLog(@"5"); // 任务5

控制台输出结果:

1
2
5
3
4
// 2 和 5 顺序不一定

分析： 这个案例,我相信大家都熟悉,没错,这就是典型的异步加载数据,回调主线程更新UI那个案例; 首先，将【任务1、异步线程、任务5】加入Main Queue中，异步线程中的任务是：【任务2、同步线程、任务4】。 所以，先执行任务1，然后将异步线程中的任务加入到Global Queue中，因为异步线程，所以任务5不用等待，结果就是2和5的输出顺序不一定。 然后再看异步线程中的任务执行顺序。任务2执行完以后，遇到同步线程。将同步线程中的任务又回调加入到Main Queue中，这时加入的任务3在任务5的后面。 当任务3执行完以后，没有了阻塞，程序继续执行任务4。 从以上的分析来看，得到的几个结果：1最先执行；2和5顺序不一定；4一定在3后面。

5A4A9967-F8B0-4C10-A8EF-6BBDCE60A979.png

案例五： 当我们典型案例4,遇到了主线程上出现无限循环的时候

dispatch_async(dispatch_get_global_queue(0, 0), ^{
    NSLog(@"1"); // 任务1
    dispatch_sync(dispatch_get_main_queue(), ^{
        NSLog(@"2"); // 任务2
    });
    NSLog(@"3"); // 任务3
});
NSLog(@"4"); // 任务4
while (1) {
}
NSLog(@"5"); // 任务5

打印台输出结果:

1
4
// 1 和 4 顺序不一定

分析： 和上面几个案例的分析类似，先来看看都有哪些任务加入了Main Queue：【异步线程、任务4、死循环、任务5】。 在加入到Global Queue异步线程中的任务有：【任务1、同步线程、任务3】。 第一个就是异步线程，任务4不用等待，所以结果任务1和任务4顺序不一定。 任务4完成后，程序进入死循环，Main Queue阻塞。但是加入到Global Queue的异步线程不受影响，继续执行任务1后面的同步线程。 同步线程中，将任务2加入到了主线程，并且，任务3等待任务2完成以后才能执行。这时的主线程，已经被死循环阻塞了。所以任务2无法执行，当然任务3也无法执行，在死循环后的任务5也不会执行。 最终，只能得到1和4顺序不定的结果。

670D33EC-4C7C-4CFF-9E48-89F1DF8370B8.png

原文地址 一篇专题让你秒懂GCD死锁问题!

avatar
文章
阅读
粉丝