阅读 315

GCD死锁

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

任务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.官方注释:

官方对于dispatch_sync的注释

  1. 为什么从队列的角度理解死锁,而不是从线程?
- (void)viewDidLoad {
    [super viewDidLoad];
    dispatch_queue_t serial = dispatch_queue_create("custom.que.serial", DISPATCH_QUEUE_SERIAL);
    dispatch_sync(serial, ^{
        NSLog(@"主线程,自定义的serial队列");
    });
}
复制代码

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

  1. 死锁发生在 dispatch_sync函数内部

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

  1. 有人说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执行完毕。

关注下面的标签,发现更多相似文章
评论