上篇和中篇讲解了什么是GCD,如何使用GCD,这篇文章将讲解使用GCD中将遇到的死锁问题。有兴趣的朋友可以回顾《iOS多线程开发之GCD(上篇)》和《iOS多线程开发之GCD(中篇)》。
言归正传,我们首先来回顾下死锁,所谓死锁: 是指两个或两个以上的进程(线程)在执行过程中,因争夺资源(如数据源,内存等,变量不是资源)而造成的一种互相等待的现象,若无外部处理作用,它们都将无限等待下去。
死锁形成的原因:
- 系统资源不足
- 进程(线程)推进的顺序不恰当;
- 资源分配不当
死锁形成的条件:
- 互斥条件:所谓互斥就是进程在某一时间内独占资源。
- 请求与保持条件:一个进程因请求资源而阻塞时,对已获得的资源保持不放。
- 不剥夺条件:进程已获得资源,在末使用完之前,不能强行剥夺。
- 循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系。
在GCD中,主要的死锁就是当前串行队列里面同步执行当前串行队列。解决的方法就是将同步的串行队列放到另外一个线程执行。在举例说明之前,我们先来回顾下GCD的中的任务派发和队列。
(1)任务派发
任务派发方式 | 说明 |
---|---|
dispatch_sync() | 同步执行,完成了它预定的任务后才返回,阻塞当前线程 |
dispatch_async() | 异步执行,会立即返回,预定的任务会完成但不会等它完成,不阻塞当前线程 |
(2)队列种类
队列种类 | 说明 |
---|---|
串行队列 | 每次只能执行一个任务,并且必须等待前一个执行任务完成 |
并发队列 | 一次可以并发执行多个任务,不必等待执行中的任务完成 |
(3)GCD队列种类
GCD队列种类 | 获取方法 | 队列类型 | 说明 |
---|---|---|---|
主队列 | dispatch_get_main_queue | 串行队列 | 主线中执行 |
全局队列 | dispatch_get_global_queue | 并发队列 | 子线程中执行 |
用户队列 | dispatch_queue_create | 串并都可以 | 子线程中执行 |
由此我们可以得出:串行与并行针对的是队列,而同步与异步,针对的则是线程!
案例分析:
一、同步执行遇到串行队列
- (void)syncMain{
dispatch_queue_t queue = dispatch_get_main_queue();
NSLog(@"task1-%@",[NSThread currentThread]);
dispatch_sync(queue, ^{
NSLog(@"task2-%@",[NSThread currentThread]);
});
NSLog(@"task3-%@",[NSThread currentThread]);
}
打印结果:
2017-07-10 17:54:43.623 beck.wang[1405:182548] task1-<NSThread: 0x608000066000>{number = 1, name = main}
分析:死锁。
原因:从打印结果可以看出,task1是在主线程中执行,而主线程是串行队列,定义的queue队列也是主队列, dispatch_sync是同步执行的标志,意思是必须等待block返回,才能执行task3,而当前主队列中正在被task1执行,必须等待完成task3完成后才能释放,这就造成了task3等待block完成返回,block等待task3完成释放主队列而相互等待的循环中死锁。
扩展:在主线程使用sync函数就会造成死锁”或者“在主线程使用sync函数,同时传入串行队列就会死锁”吗? NO,这种说明明显是没有真正理解死锁!从上面的案例中我们很明显的知道,死锁产生的原因是队列的阻塞。那么如果我自定义一个串行队列,不与主队列争宠呢?
- (void)syncMain{
// 注意这里的queue是自定义的串行队列,而不是主队列dispatch_get_main_queue()
dispatch_queue_t queue = dispatch_queue_create("com.demo.serialQueue", DISPATCH_QUEUE_SERIAL);
NSLog(@"task1-%@",[NSThread currentThread]);
dispatch_sync(queue, ^{
NSLog(@"task2-%@",[NSThread currentThread]);
});
NSLog(@"task3-%@",[NSThread currentThread]);
}
打印结果:
2017-07-10 18:07:15.134 beck.wang[1427:192164] task1-<NSThread: 0x600000074800>{number = 1, name = main}
2017-07-10 18:07:15.135 beck.wang[1427:192164] task2-<NSThread: 0x600000074800>{number = 1, name = main}
2017-07-10 18:07:15.135 beck.wang[1427:192164] task3-<NSThread: 0x600000074800>{number = 1, name = main}
分析:不开启新线程,顺序执行。
原因:task1、task3与task2执行的队列不一样,不会阻塞。
二、同步执行遇到并行队列
- (void)syncConcurrent{
NSLog(@"task11-%@",[NSThread currentThread]);
dispatch_sync(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
NSLog(@"task12-%@",[NSThread currentThread]);
});
NSLog(@"task13-%@",[NSThread currentThread]);
}
打印结果:
2017-07-10 18:15:11.957 beck.wang[1452:198567] task11-<NSThread: 0x608000071f00>{number = 1, name = main}
2017-07-10 18:15:11.957 beck.wang[1452:198567] task12-<NSThread: 0x608000071f00>{number = 1, name = main}
2017-07-10 18:15:11.957 beck.wang[1452:198567] task13-<NSThread: 0x608000071f00>{number = 1, name = main}
分析:不开启新线程,顺序执行。
原因:task1、task3与task2执行的队列不一样,不会阻塞。
三、异步&同步组合
- (void)gcdTest{
dispatch_queue_t queue = dispatch_queue_create("com.demo.serialQueue", DISPATCH_QUEUE_SERIAL);
NSLog(@"task1-%@",[NSThread currentThread]);
dispatch_async(queue, ^{
NSLog(@"task2-%@",[NSThread currentThread]);
dispatch_sync(queue, ^{
NSLog(@"task3-%@",[NSThread currentThread]);
});
NSLog(@"task4-%@",[NSThread currentThread]);
});
NSLog(@"task5-%@",[NSThread currentThread]);
}
打印结果:
2017-07-10 18:29:23.976 beck.wang[1562:207413] task1-<NSThread: 0x608000063400>{number = 1, name = main}
2017-07-10 18:29:23.976 beck.wang[1562:207413] task5-<NSThread: 0x608000063400>{number = 1, name = main}
2017-07-10 18:29:23.976 beck.wang[1562:207460] task2-<NSThread: 0x608000067940>{number = 3, name = (null)}
分析:死锁。
原因:task2、task4与task3在同一队列中执行,dispatch_sync确定了task4需要等待task3完成后返回才能执行,而task2任务执行的时候已经占用了当前队列,需要等到task4完成后才能释放,这就造成了task3等待task4完成,task4等待task3返回的相互等待,这也是队列阻塞造成的死锁。
扩展:如果queue换成自定义并发队列或者dispatch_sync追加到非当前队列(如主队列),则不会发生死锁。
- (void)gcdTest{
dispatch_queue_t queue = dispatch_queue_create("com.demo.serialQueue", DISPATCH_QUEUE_SERIAL);
NSLog(@"task1-%@",[NSThread currentThread]);
dispatch_async(queue, ^{
NSLog(@"task2-%@",[NSThread currentThread]);
// 这里使用主队列,而非自定义的串行队列,则不会发生死锁,同理并行队列也不会死锁
dispatch_sync(dispatch_get_main_queue(), ^{
NSLog(@"task3-%@",[NSThread currentThread]);
});
NSLog(@"task4-%@",[NSThread currentThread]);
});
NSLog(@"task5-%@",[NSThread currentThread]);
}
打印结果:
2017-07-10 18:38:20.214 beck.wang[1582:215721] task1-<NSThread: 0x608000069780>{number = 1, name = main}
2017-07-10 18:38:20.214 beck.wang[1582:215721] task5-<NSThread: 0x608000069780>{number = 1, name = main}
2017-07-10 18:38:20.214 beck.wang[1582:215779] task2-<NSThread: 0x618000069cc0>{number = 3, name = (null)}
2017-07-10 18:38:20.217 beck.wang[1582:215721] task3-<NSThread: 0x608000069780>{number = 1, name = main}
2017-07-10 18:38:20.217 beck.wang[1582:215779] task4-<NSThread: 0x618000069cc0>{number = 3, name = (null)}
四、上面的扩展案例中,主线程阻塞。
- (void)gcdTest{
dispatch_queue_t queue = dispatch_queue_create("com.demo.serialQueue", DISPATCH_QUEUE_SERIAL);
NSLog(@"task1-%@",[NSThread currentThread]);
dispatch_async(queue, ^{
NSLog(@"task2-%@",[NSThread currentThread]);
// 这里虽然使用主队列,但主队列已经阻塞,后续代码失效
dispatch_sync(dispatch_get_main_queue(), ^{
NSLog(@"task3-%@",[NSThread currentThread]);
});
NSLog(@"task4-%@",[NSThread currentThread]);
});
NSLog(@"task5-%@",[NSThread currentThread]);
while (1) {
// 进入while的恒等循环,主线程(主队列)阻塞
}
NSLog(@"task6-%@",[NSThread currentThread]);
}
打印结果:
2017-07-10 18:47:22.844 beck.wang[1657:223045] task1-<NSThread: 0x60000007afc0>{number = 1, name = main}
2017-07-10 18:47:22.844 beck.wang[1657:223045] task5-<NSThread: 0x60000007afc0>{number = 1, name = main}
2017-07-10 18:47:22.844 beck.wang[1657:223110] task2-<NSThread: 0x610000262700>{number = 3, name = (null)}
分析:主线程进入无限阻塞状态task6、task3、task4都无法访问到,处于无限等待状态。
PS:这篇文章有借鉴部分,我写这篇博文的目的也是为了更好的理解GCD的死锁,毕竟好记性不如烂笔头嘛!在工作中我也会不断完成遇到的GCD的死锁情况,SO,本篇文章未完待续.....