GCD死锁

最新推荐文章于 2024-09-16 11:30:43 发布

???Sir

最新推荐文章于 2024-09-16 11:30:43 发布

阅读量148

点赞数

文章标签：面试

原文链接：https://juejin.im/post/5b4d945ef265da0f9c6797f0

版权

一.引出此文的元凶---网上的曲解

任务3阻挡了任务2的执行，那么我不写任务3的话是否就不死锁了呢？

经过我的代码验证，事实是只写：

//当前队列为主队列
dispatch_sync(dispatch_main_queue(),^ {
NSLog(@"")；
});
复制代码

也会造成死锁，说明什么任务1，2，3的解释有问题，那到底是什么造成的死锁呢？？？请认真看文章。

二.揭开背后的真相

1.概念

queue：队列分为串行和并行，队列是任务的容器。就像排队买东西，串行是大家排成一队一个一个的买，先来的先买，后来的后买；并行是大家并排排，同时买，谁先买完的看脸。

同步、异步：使用dispatch_sync（同步） :dispatch_sync 方法会被加入当前队列，而且dispatch_sync 会等待block执行完毕才return，block被放到指定的queue上面执行，block里的代码执行完（即代码执行到block结束的}），这时候整个dispatch_sync才算执行完。说白了就是dispatch_sync正在出队列，但是要等block执行完才能完全出队列。

使用dispatch_async(异步)：调用一个block，这个block会被放到指定的queue队尾等待执行，至于这个block是并行还是串行只和dispatch_async参数里面指定的queue是并行还是串行有关。但是当前队列会直接跳过block，也就是不去管block的情况，dispatch_async直接执行完毕

2.死锁的犯人就是 --- 他自己

图右侧可以看到，queue:com.apple.main-thread(serial)进入等待，然后就没有然后了。

3.为什么最终是这个结论？

对这种解释，很多人骂我误人子弟，如果和您的理解有冲突，那么我表示很抱歉。这是我考虑了很多可能，翻了大量博客后，才找到的自认为合理的解释。当我为了面试做准备时，也感觉文章开始的答案是对的，但是当我用代码来表达各种可能的时候，我发现，那是错误的。动手之后，亲自试验了，才更真实。

1.官方注释：

为什么从队列的角度理解死锁，而不是从线程？

- (void)viewDidLoad {
    [super viewDidLoad];
    dispatch_queue_t serial = dispatch_queue_create("custom.que.serial", DISPATCH_QUEUE_SERIAL);
    dispatch_sync(serial, ^{
        NSLog(@"主线程，自定义的serial队列");
    });
}
复制代码

如果死锁的是主线程，那么这个代码也应该死锁，但是这段代码却可以正常的输出，说明主线程没有阻塞。

死锁发生在 dispatch_sync函数内部

这样简单的一句话就导致了死锁，所以肯定是dispatch_sync函数内部导致的。

有人说block是任务的载体我觉得任务也不过是代码而已，{}是一个完整的运行单元，所以block是一个代码块，是一个任务。而且我的图解中也是把block当做任务，追加到队列中的。

2.示例讲解各种组合情况

这里就当做一个练习题吧，看不看无所谓

- (void)test2 {
    NSLog(@"主线程");
    dispatch_queue_t concurrent = dispatch_queue_create("test.euque.concurrent", DISPATCH_QUEUE_CONCURRENT);
    dispatch_queue_t serial = dispatch_queue_create("test.queue.serial", DISPATCH_QUEUE_SERIAL);
    //async,主线程不会等待block的完成，会直接执行gcd之后的代码：NSLog(@"主线程任务结束")
    //task进入concurrent并行队列，由于是async所以允许concurrent开辟新线程
    dispatch_async(concurrent, ^{
        NSLog(@"concurrent_thread");
        //1.再次开辟新线程运行：1秒后NSLog(@"1");
        dispatch_async(concurrent, ^{
            [NSThread sleepForTimeInterval:1];
            NSLog(@"1");
        });
        //2.由于是sync，dispatch_sync在concurrent队列中等待block执行结束
//block被加入concurrent，由于是并行，dispatch_sync在队列里等待的时候并不耽误其他函数出队列,所以block依旧可以出队列执行，所以不会死锁。
//  sync说明block在concurrent_thread线程中执行
        dispatch_sync(concurrent, ^{
            [NSThread sleepForTimeInterval:2];
            NSLog(@"2");
        });
        //3. NSLog(@"2")运行结束后，async，concurrent_thread不必等待block的执行，直接前往4
        //NSLog(@"3")被加入serial队列，出队列时async开辟新线程输出3
        dispatch_async(serial, ^{
            NSLog(@"3");
        });
        //4. dispatch_sync在concurrent中等待block的执行，block添加到serial队列，sync说明block交给concurrent_thread运行,输出4
        dispatch_sync(serial, ^{
            NSLog(@"4");
        });
    });
    NSLog(@"主线程任务结束");
}

复制代码

3.不同于自定义队列的主队列

//如果执行这个函数的队列就是main_queue，则会死锁
 dispatch_sync(dispatch_get_main_queue(), ^{
        
    });

 dispatch_async(dispatch_get_main_queue(), ^{
        
    });
复制代码

对于主队列来说，无论是sync还是async都不会开辟新线程，因为主队列的任务只在main_thread执行，那么这两个函数的区别就是是否需要在当前队列中等待block执行完毕。