同步、异步、串行、并行的正确理解

很多人弄不懂这四个名词,网上也有很多的误导。
对于线程死锁更是解释的五花八门、煞有介事的样子。

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

同步、异步、串行、并行的正确理解_第1张图片

同步、异步、串行、并行的正确理解_第2张图片

这里讲解的煞有其事啊,忽悠的我一愣一愣的,任务3阻挡了任务2的执行,那么我不写任务3的话是否就不死锁了呢?

经过我的代码验证,事实是只写:

//当前队列为主队列
dispatch_sync(dispatch_main_queue(),^ {
NSLog(@"");
});

也会造成死锁,说明什么任务1,2,3都是骗人的,那到底是什么造成的思死锁呢???请认真看文章。

----- 装逼开始,咳咳,讲解开始 -----

二.揭开背后的真相

1.先要知道概念

这里就真正的解释下他们的意思,我们先抛出概念,再列举例子,再根据例子理解概念:

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

同步、异步、串行、并行的正确理解_第3张图片
串行、并行队列

同步、异步:
使用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.死锁的犯人就是 --- 他自己

同步、异步、串行、并行的正确理解_第4张图片
死锁示例
控制台输出
同步、异步、串行、并行的正确理解_第5张图片
死锁原因图解

死锁发生在 当前队列为串行队列,并通过dispatch_sync往当前队列添加了task的时候。可以看出,死锁的是队列,而不是线程。代码中,第一个dispatch_sync并没有造成死锁,就是因为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(@"主线程任务结束");
}

同步、异步、串行、并行的正确理解_第6张图片
执行结果

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

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

 dispatch_async(dispatch_get_main_queue(), ^{
        
    });

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

你可能感兴趣的:(同步、异步、串行、并行的正确理解)