GCD同步与异步,串行与并行深入讲解

转载 2015年11月18日 20:40:37

串行与并行

在使用GCD的时候,我们会把需要处理的任务放到Block中,然后将任务追加到相应的队列里面,这个队列,叫做Dispatch Queue。然而,存在于两种Dispatch Queue,一种是要等待上一个执行完,再执行下一个的Serial Dispatch Queue,这叫做串行队列;另一种,则是不需要上一个执行完,就能执行下一个的Concurrent Dispatch Queue,叫做并行队列。这两种,均遵循FIFO原则。

举一个简单的例子,在三个任务中输出1、2、3,串行队列输出是有序的1、2、3,但是并行队列的先后顺序就不一定了。

那么,并行队列又是怎么在执行呢?

虽然可以同时多个任务的处理,但是并行队列的处理量,还是要根据当前系统状态来。如果当前系统状态最多处理2个任务,那么1、2会排在前面,3什么时候操作,就看1或者2谁先完成,然后3接在后面。

串行和并行就简单说到这里,关于它们的技术点其实还有很多,可以自行了解。

同步与异步

串行与并行针对的是队列,而同步与异步,针对的则是线程。最大的区别在于,同步线程要阻塞当前线程,必须要等待同步线程中的任务执行完,返回以后,才能继续执行下一任务;而异步线程则是不用等待。

仅凭这几句话还是很难理解,所以之后准备了很多案例,可以边分析边理解。

GCD API

GCD API很多,这里仅介绍本文用到的。

1. 系统标准提供的两个队列

// 全局队列,也是一个并行队列
dispatch_get_global_queue
// 主队列,在主线程中运行,因为主线程只有一个,所以这是一个串行队列
dispatch_get_main_queue

2. 除此之外,还可以自己生成队列

// 从DISPATCH_QUEUE_SERIAL看出,这是串行队列
dispatch_queue_create("com.demo.serialQueue", DISPATCH_QUEUE_SERIAL)
// 同理,这是一个并行队列
dispatch_queue_create("com.demo.concurrentQueue", DISPATCH_QUEUE_CONCURRENT)

接下来是同步与异步线程的创建:

dispatch_sync(..., ^(block)) // 同步线程
dispatch_async(..., ^(block)) // 异步线程

案例与分析

假设你已经基本了解了上面提到的知识,接下来进入案例讲解阶段。

案例一:

NSLog(@"1"); // 任务1
dispatch_sync(dispatch_get_main_queue(), ^{
    NSLog(@"2"); // 任务2
});
NSLog(@"3"); // 任务3

结果,控制台输出:

1

分析:

  1. dispatch_sync表示是一个同步线程;
  2. dispatch_get_main_queue表示运行在主线程中的主队列;
  3. 任务2是同步线程的任务。

首先执行任务1,这是肯定没问题的,只是接下来,程序遇到了同步线程,那么它会进入等待,等待任务2执行完,然后执行任务3。但这是队列,有任务来,当然会将任务加到队尾,然后遵循FIFO原则执行任务。那么,现在任务2就会被加到最后,任务3排在了任务2前面,问题来了:

任务3要等任务2执行完才能执行,任务2由排在任务3后面,意味着任务2要在任务3执行完才能执行,所以他们进入了互相等待的局面。【既然这样,那干脆就卡在这里吧】这就是死锁。

gcd-deadlock-1

案例二:

NSLog(@"1"); // 任务1
dispatch_sync(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_HIGH, 0), ^{
    NSLog(@"2"); // 任务2
});
NSLog(@"3"); // 任务3

结果,控制台输出:

1
2
3

分析:

首先执行任务1,接下来会遇到一个同步线程,程序会进入等待。等待任务2执行完成以后,才能继续执行任务3。从dispatch_get_global_queue可以看出,任务2被加入到了全局的并行队列中,当并行队列执行完任务2以后,返回到主队列,继续执行任务3。

gcd-deadlock-2

案例三:

dispatch_queue_t queue = dispatch_queue_create("com.demo.serialQueue", DISPATCH_QUEUE_SERIAL);
NSLog(@"1"); // 任务1
dispatch_async(queue, ^{
    NSLog(@"2"); // 任务2
    dispatch_sync(queue, ^{
        NSLog(@"3"); // 任务3
    });
    NSLog(@"4"); // 任务4
});
NSLog(@"5"); // 任务5

结果,控制台输出:

1
5
2
// 5和2的顺序不一定

分析:

这个案例没有使用系统提供的串行或并行队列,而是自己通过dispatch_queue_create函数创建了一个DISPATCH_QUEUE_SERIAL的串行队列。

  1.  执行任务1;
  2. 遇到异步线程,将【任务2、同步线程、任务4】加入串行队列中。因为是异步线程,所以在主线程中的任务5不必等待异步线程中的所有任务完成;
  3. 因为任务5不必等待,所以2和5的输出顺序不能确定;
  4. 任务2执行完以后,遇到同步线程,这时,将任务3加入串行队列;
  5. 又因为任务4比任务3早加入串行队列,所以,任务3要等待任务4完成以后,才能执行。但是任务3所在的同步线程会阻塞,所以任务4必须等任务3执行完以后再执行。这就又陷入了无限的等待中,造成死锁。

(已修改)下图中【同步队列】应该是【串行队列】,笔误,感谢。
gcd-deadlock-6

案例四:

NSLog(@"1"); // 任务1
dispatch_async(dispatch_get_global_queue(0, 0), ^{
    NSLog(@"2"); // 任务2
    dispatch_sync(dispatch_get_main_queue(), ^{
        NSLog(@"3"); // 任务3
    });
    NSLog(@"4"); // 任务4
});
NSLog(@"5"); // 任务5

结果,控制台输出:

1
2
5
3
4
// 5和2的顺序不一定

分析:

首先,将【任务1、异步线程、任务5】加入Main Queue中,异步线程中的任务是:【任务2、同步线程、任务4】。

所以,先执行任务1,然后将异步线程中的任务加入到Global Queue中,因为异步线程,所以任务5不用等待,结果就是2和5的输出顺序不一定。

然后再看异步线程中的任务执行顺序。任务2执行完以后,遇到同步线程。将同步线程中的任务加入到Main Queue中,这时加入的任务3在任务5的后面。

当任务3执行完以后,没有了阻塞,程序继续执行任务4。

从以上的分析来看,得到的几个结果:1最先执行;2和5顺序不一定;4一定在3后面。

gcd-deadlock-4

案例五:

dispatch_async(dispatch_get_global_queue(0, 0), ^{
    NSLog(@"1"); // 任务1
    dispatch_sync(dispatch_get_main_queue(), ^{
        NSLog(@"2"); // 任务2
    });
    NSLog(@"3"); // 任务3
});
NSLog(@"4"); // 任务4
while (1) {
}
NSLog(@"5"); // 任务5
结果,控制台输出:
1
4
// 1和4的顺序不一定

分析:

和上面几个案例的分析类似,先来看看都有哪些任务加入了Main Queue:【异步线程、任务4、死循环、任务5】。

在加入到Global Queue异步线程中的任务有:【任务1、同步线程、任务3】。

第一个就是异步线程,任务4不用等待,所以结果任务1和任务4顺序不一定。

任务4完成后,程序进入死循环,Main Queue阻塞。但是加入到Global Queue的异步线程不受影响,继续执行任务1后面的同步线程。

同步线程中,将任务2加入到了主线程,并且,任务3等待任务2完成以后才能执行。这时的主线程,已经被死循环阻塞了。所以任务2无法执行,当然任务3也无法执行,在死循环后的任务5也不会执行。

最终,只能得到1和4顺序不定的结果。

gcd-deadlock-5

IOS学习 GCD 基础 串行/并行/主线程、同步/异步

@implementation ViewController - (void)viewDidLoad {     [super viewDidLoad];     // Do any ad...
  • ridxmc
  • ridxmc
  • 2016年03月30日 23:48
  • 1227

GCD使用 串行并行队列 与 同步异步执行的各种组合 及要点分析

GCD使用中,使用并行串行队列和同步异步执行的各种情况组合,以及使用时注意点的分析...
  • a359696929
  • a359696929
  • 2016年05月10日 16:06
  • 3947

同步、异步 与 串行、并行的区别

同步、异步:指的是能否开启新的线程。同步不能开启新的线程,异步可以。串行、并行:指的是任务的执行方式。串行是指多个任务时,各个任务按顺序执行,完成一个之后才能进行下一个。并行指的是多个任务可以同时执行...
  • u010231453
  • u010231453
  • 2016年12月09日 18:07
  • 6374

GCD编程中串行、并行、同步、异步的执行顺序

串行队列、并行队列、同步、异步是gcd编程中四个非常重要的概念,它们的组合会产生多种不同的执行顺序,在本文,我主要通过代码来罗列一下所有的可能产生的结果,并根据执行结果总结一下gcd编程的一些特点。...
  • feisongfeiqin
  • feisongfeiqin
  • 2015年12月13日 13:04
  • 3506

帮你快速理解同步 ,异步,并发/并行,串行

同步:多个任务情况下,一个任务A执行结束,才可以执行另一个任务B。只存在一个线程。 异步:多个任务情况下,一个任务A正在执行,同时可以执行另一个任务B。任务B不用等待任务A结束才执行。存在多条线程。 ...
  • luobo140716
  • luobo140716
  • 2015年12月02日 12:53
  • 3504

串行与并行、同步和异步串行通信

串行与并行 一、串行通信中数据按位传输,即一次传输一位;  二、并行传输中数据按字节传输,即一次传输8位。  三、优缺点:并行速度快,但造价高,内部的多根线缆同步较困 难,相互之间易产生干扰,在...
  • bytxl
  • bytxl
  • 2015年12月06日 10:25
  • 1174

关于串行 并行 同步 异步

串行 并行 同步 异步
  • jingqiu880905
  • jingqiu880905
  • 2016年06月17日 14:28
  • 2318

关于GCD中串行队列、并发队列和同步执行、异步执行的探讨

Dispatch Queues Dispatch queue是一个对象,它可以接收任务,并将任务以先到先执行的顺序来执行。Dispatch queue可以使并发的或串行的。并发任务会基于系统负载来合...
  • qq_30515765
  • qq_30515765
  • 2016年06月30日 15:07
  • 1785

线程的同步、异步、串行、并行的关系

程序是由什么构成的,可能有的人会说,它是有一个个字符和逻辑共同构成的,这个说法并不完全。 程序在没有运行的状态下,是一堆代码构成的。 运行的程序是由进程程构成的,进程是程序执行的基本单位。对于进程...
  • Future_One
  • Future_One
  • 2015年06月08日 16:23
  • 3341

gcd中同步异步并行串行线程数目的关系

gcd的功能很强大,使用起来也很简便,但理解起来还是有些费劲的。 下面记录的主要是gcd同步异步并行串行得关系,gcd的功能远不止这些。 一、串行队列 1、同步运行 dispatch_queue_...
  • gx_wqm
  • gx_wqm
  • 2016年07月24日 11:58
  • 407
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:GCD同步与异步,串行与并行深入讲解
举报原因:
原因补充:

(最多只允许输入30个字)