美文网首页
有关线程死锁的理解

有关线程死锁的理解

作者: 请叫我魔法师 | 来源:发表于2017-09-03 19:58 被阅读0次

    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、如果是异步执行,不论串行还是并行,都会新建子线程,大任务和小任务更加不会相互约束了,所以更不可能会死锁了。

    本篇完结!

    相关文章

      网友评论

          本文标题:有关线程死锁的理解

          本文链接:https://www.haomeiwen.com/subject/sqehjxtx.html