有关线程死锁的理解
FBI WARMING:也许是错的,纯属自己一人瞎琢磨的。
一、
很经典的死锁例子,如下:
- (void)viewDidLoad {
[super viewDidLoad];
// Do any additional setup after loading the view, typically from a nib.
NSLog(@"666_SunDePrint_999:%@", @"打印任务 1");
dispatch_sync(dispatch_get_main_queue(), ^{
NSLog(@"666_SunDePrint_999:%@", @"打印任务 2");
});
NSLog(@"666_SunDePrint_999:%@", @"打印任务 3");
}
这样就死锁了。程序就崩溃了,为什么为造成这种情况,这就是今天的重点。
1、没事看讲GCD多线程的文章,一般都会提到线程死锁的情况,不多大部分解释的都是不明不白的,几句话就过去了,容易造成困惑,也许作者明白了,但是作为一个看客还是不懂。越看越蒙圈。。。
2、解释这个问题之前,我感觉还是先弄清楚线程、队列和任务它们3个之间的关系,这几个概念搞明白了,什么都好理解了。
2.1、线程:代码执行的地方,正常情况下,不主动开辟新线程,程序员写的代码都是在主线程中进行的。比如写个打印1,打印2,打印3,而且在一个线程中,代码都是顺序执行的,打印1走完才走打印2,最后打印3.如果非要来个比喻的话,感觉用路来比喻毕竟贴切,方便理解。一个线程就是一条路,路上有人有车,不论人和车都是按顺序一个个走着。开了新线程,就相当于在旁边新开一条路。两个线程之间没啥关系,各自走各自的。
2.2、任务:task,程序员写的每句代码就是一个任务。比如写个打印,调用一个方法,这都是任务。任务有大有小,大任务包含小任务。比如你定下人生赢家这个大任务,怎么实现?1、出人CEO,2、赢取白富美,3、走向人生巅峰。这三个小任务都实现了,大任务成功人生赢家才算实现。
具体到开篇的死锁例子,里面的3个打印是3个任务。如果把眼光放远一些,就会发现viewdidload也是个任务,这个大任务包含了3个打印的小任务。这点很重要,是理解死锁的关键。
2.3、队列:暂时存放任务的地方,先把任务存放到队列里,根据队列的性质,是串行还会并行,去分配任务。所以队列的作用就是暂时存放任务,然后分配任务。还拿上面死锁的例子说事,我写的那个主队列里就存放了一个打印任务2,然后根据任务的执行方式(同步还是异步)把这个任务分配到相应的线程中去。
2.4、三者之间有啥关系?根据各自的叙述,就能发现一点猫腻了。
队列存放任务--->然后去分配任务到对应的线程中去--->最后任务在线程中执行了。
一个特殊东西:主队列。由系统自动创建的,是串行队列。特殊之处就是它里面的任务必须在主线程中执行。切记这个特点。
3、如果上面的都理解了。现在就可以解释死锁的产生了。
3.1、在viewDidLoad里,有3个打印的任务,其中任务2我主动给添加到主队列里了。前面说过队里的作用就是存放任务,分配任务。现在已经存放过了,然后去分配任务。虽然这么说,但是,分配到哪里?什么时候执行?这点也需要解释清楚。
3.2、前面说过,队里和线程的关系就是队列把任务分配到线程去。所以我需要把打印任务2分配出去。由于是dispatch_sync是同步,意味着系统不会给你新建线程,所以只能把这个任务分配到主线程中去。这就确定了这个任务在哪里执行--主线程。
3.3、解释线程的时候就说过,线程就相当于一条路,一条路上的人和车只能按顺序走路。相应的,一个线程中的代码只能按从上到下的顺序执行。但是这个时候出问题了。我主动把任务2放到主线程里了,这个时候虽然打印任务1执行完了,和它没关系,但是别忘了viewdidload也是个任务啊。由于viewdidload包含任务2,所以任务2代码必须等到viewdidload执行完毕才能执行,但是viewdidload是个大任务,它包含任务2。所以viewdidload必须等任务2执行完才能结束,但是任务2必须等viewdidload执行完才能执行,两者相互等待,就造成了死锁。
3.4、疑问?viewdidload也包含普通的其他任务,为什么没造成死锁?
像这种的
- (void)viewDidLoad {
[super viewDidLoad];
NSLog(@"1========%@",[NSThread currentThread]);
NSLog(@"2========%@",[NSThread currentThread]);
NSLog(@"3========%@",[NSThread currentThread]);
}
可能会笑,种代码天天写,怎么可能会死锁?但是它也符合死锁的条件,大任务包含了小任务。原因就是这几个小任务没有经过队列分配!!!没经过队列分配,就意味着还会按原来的顺序执行。先走viewDidLoad这个大任务,然后依次执行各个小任务,小任务执行完了,大任务就结束了。
死锁的情况是:经过队列的分配,从原来大任务里拿出一个小任务,然后强制规定它必须等大任务执行完才执行,但是大任务必须是小任务全部执行完才能结束。
如果非要比喻的话,就是强制从车里拿出一个人,告诉这个人,你必须等车走完才能走,但是这人本在就是在车中的乘客,车的老司机必须等这人到了才能启动。
这就是死锁的产生原因了。纯属谬论,仅供参考,。
二、
1、如果把dispatch_sync同步改成dispatch_async异步执行,就不会造成死锁了。为什么?任务放到了新线程中就不需要等待viewdidload了。不受大任务的约束了。
常识就是异步执行就需要新建线程,这个也不例外,但是主队列有个特点,虽然它是串行执行,但是它管理的任务必须在主线程中执行。它比一般的串行队列多个性质。
所以造成一个现象,需要新建子线程去执行这个任务,这样才能脱离大任务的约束,但是这个任务又是必须在主线程中执行,就造成了一个矛盾。最后只能妥协。双方妥协的结果就是不去新建任务,但是大任务也不受小任务约束了。所以就不造成死锁了。
相当于乘客下车了,不属于这辆车的乘客,司机没必要等下车的那个人了,只管开车就行,车走了,人跟着就走了。
主队列异步不死锁.png
2、根据这些理解,可以做一些改变。比如把任务放到普通串行队列中并且同步执行。
结果就是虽然不会新建线程,但是普通队列没强制要求这个任务必须在主线程中执行,就没必要去等待主线程中的viewdidload了。代码走到它了它就执行。虽然最后还是在主线程中执行的,但是没了必须等待viewdidload执行完毕这个约束,虽然viewdidlaod必须等小任务执行完毕,但是小任务没必要等待viewdidlaod这个大任务执行完毕。所以也不会造成死锁。
普通串行队列同步.png
3、普通并行队列同步执行同理,虽然不会新建子线程,但是没了必须等待viewdidload这个约束,也不会造成死锁。
4、如果是异步执行,不论串行还是并行,都会新建子线程,大任务和小任务更加不会相互约束了,所以更不可能会死锁了。
本篇完结!