Swift - 多线程实现方式（3） - Grand Central Dispatch（GCD）

时间：2021-06-01 20:20:44

1，Swift继续使用Object-C原有的一套线程，包括三种多线程编程技术：
（1）NSThread
（2）Cocoa NSOperation（NSOperation和NSOperationQueue）
（3）Grand Central Dispath（GCD）

2，本文着重介绍Grand Central Dispath（GCD）

GCD是Apple开发的一个多核编程的解决方法，基本概念就是dispatch
queue（调度队列），queue是一个对象，它可以接受任务，并将任务以先到先执行的顺序来执行。dispatch
queue可以是并发的或串行的。GCD的底层依然是用线程实现，不过我们可以不用关注实现的细节。其优点有如下几点：
（1）易用：GCD比thread更简单易用。基于block的特效使它能极为简单地在不同代码作用域之间传递上下文。
（2）效率：GCD实现功能轻量，优雅，使得它在很多地方比专门创建消耗资源的线程更加实用且快捷。
（3）性能：GCD自动根据系统负载来增减线程数量，从而减少了上下文切换并增加了计算效率。
（4）安全：无需加锁或其他同步机制。
3，GCD三种创建队列的方法
（1）自己创建一个队列
第一个参数代表队列的名称，可以任意起名
第二个参数代表队列属于串行还是并行执行任务
串行队列一次只执行一个任务。一般用于按顺序同步访问，但我们可以创建任意数量的串行队列，各个串行队列之间是并发的。
并行队列的执行顺序与其加入队列的顺序相同。可以并发执行多个任务，但是执行完成的顺序是随机的。
1
2
3
4
5
//创建串行队列
var serial:dispatch_queue_t = dispatch_queue_create("serialQueue1", DISPATCH_QUEUE_SERIAL)
//创建并行队列
var concurrent:dispatch_queue_t = dispatch_queue_create("concurrentQueue1", DISPATCH_QUEUE_CONCURRENT)

（2）获取系统存在的全局队列

Global Dispatch Queue有4个执行优先级：
DISPATCH_QUEUE_PRIORITY_HIGH  高
DISPATCH_QUEUE_PRIORITY_DEFAULT  正常
DISPATCH_QUEUE_PRIORITY_LOW  低
DISPATCH_QUEUE_PRIORITY_BACKGROUND 非常低的优先级（这个优先级只用于不太关心完成时间的真正的后台任务）
1
var globalQueue:dispatch_queue_t = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0)

（3）运行在主线程的Main Dispatch Queue 
正如名称中的Main一样，这是在主线程里执行的队列。应为主线程只有一个，所有这自然是串行队列。一起跟UI有关的操作必须放在主线程中执行。

1
var mainQueue:dispatch_queue_t = dispatch_get_main_queue()

4，添加任务到队列的两种方法

（1）dispatch_async异步追加Block块（dispatch_async函数不做任何等待）
1
2
3
4
5
6
7
8
9
10
//添加异步代码块到dispatch_get_global_queue队列
dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), { () -> Void in
    //处理耗时操作的代码块...
    println("do work")
     
    //操作完成，调用主线程来刷新界面
    dispatch_async(dispatch_get_main_queue(), { () -> Void in
        println("main refresh")
    })
})

（2）dispatch_sync同步追加Block块

同步追加Block块，与上面相反。在追加Block结束之前，dispatch_sync函数会一直等待，等待队列前面的所有任务完成后才能执行追加的任务。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
//添加同步代码块到dispatch_get_global_queue队列
//不会造成死锁，当会一直等待代码块执行完毕
dispatch_sync(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), { () -> Void in
    println("sync1")
})
println("end1")
//添加同步代码块到dispatch_get_main_queue队列
//会引起死锁
//因为在主线程里面添加一个任务，因为是同步，所以要等添加的任务执行完毕后才能继续走下去。但是新添加的任务排在
//队列的末尾，要执行完成必须等前面的任务执行完成，由此又回到了第一步，程序卡死
dispatch_sync(dispatch_get_main_queue(), { () -> Void in
    println("sync2")
})
println("end2")

5，暂停或者继续队列

这两个函数是异步的，而且只在不同的blocks之间生效，对已经正在执行的任务没有影响。
dispatch_suspend后，追加到Dispatch Queue中尚未执行的任务在此之后停止执行。
而dispatch_resume则使得这些任务能够继续执行。
1
2
3
4
5
6
//创建并行队列
var conQueue:dispatch_queue_t = dispatch_queue_create("concurrentQueue1", DISPATCH_QUEUE_CONCURRENT)
//暂停一个队列
dispatch_suspend(conQueue)
//继续队列
dispatch_resume(conQueue)

6，dispatch_once 一次执行

保证dispatch_once中的代码块在应用程序里面只执行一次，无论是不是多线程。因此其可以用来实现单例模式，安全，简洁，方便。
1
2
3
4
5
6
//往dispatch_get_global_queue队列中添加代码块，只执行一次
var predicate:dispatch_once_t = 0
dispatch_once(&predicate, { () -> Void in
    //只执行一次，可用于创建单例
    println("work")
})

7，dispatch_after 延迟调用

dispatch_after并不是在指定时间后执行任务处理，而是在指定时间后把任务追加到Dispatch Queue里面。因此会有少许延迟。注意，我们不能（直接）取消我们已经提交到dispatch_after里的代码。
1
2
3
4
5
6
//延时2秒执行
let delta = 2.0 * Double(NSEC_PER_SEC)
let dtime = dispatch_time(DISPATCH_TIME_NOW, Int64(delta))
dispatch_after(dtime, dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0)) { () -> Void in
    println("延时2秒执行")
}

8，多个任务全部结束后做一个全部结束的处理

dispatch_group_async：用来监视一组block对象的完成，你可以同步或异步地监视
dispatch_group_notify：用来汇总结果，所有任务结束汇总，不阻塞当前线程
dispatch_group_wait：等待直到所有任务执行结束，中途不能取消，阻塞当前线程
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
//获取系统存在的全局队列
var queue:dispatch_queue_t = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0)
//定义一个group
var group:dispatch_group_t = dispatch_group_create()
//并发任务，顺序执行
dispatch_group_async(group, queue, {() -> Void in
    println("block1")
})
dispatch_group_async(group, queue, {() -> Void in
    println("block2")
})
dispatch_group_async(group, queue, {() -> Void in
    println("block3")
})
//所有任务执行结束汇总，不阻塞当前线程
dispatch_group_notify(group, dispatch_get_main_queue(), {() -> Void in
    println("group done")
})
//永久等待，直到所有任务执行结束，中途不能取消，阻塞当前线程
var result = dispatch_group_wait(group, DISPATCH_TIME_FOREVER)
if result == 0{
    println("任务全部执行完成")
}else{
    println("某个任务还在执行")
}

8，dipatch_apply 指定次数的Block最加到指定队列中

dipatch_apply函数是dispatch_sync函数和Dispatch Group的关联API。按指定的次数将指定的Block追加到指定的Dispatch Queue中，并等待全部处理执行结束。
因为dispatch_apply函数也与dispatch_sync函数一样，会等待处理结束，因此推荐在dispatch_async函数中异步执行dispatch_apply函数。dispatch_apply函数可以实现高性能的循环迭代。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
//获取系统存在的全局队列
var queue:dispatch_queue_t = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0)
//定义一个一步代码块
dispatch_async(queue, {() -> Void in
     
    //通过dispatch_apply，循环变量数组
    dispatch_apply(6, queue, {(index) -> Void in
        println(index)
    })
     
    //执行完毕，主线程更新
    dispatch_async(dispatch_get_main_queue(), {() -> Void in
        println("done")
    })
})

9，信号，信号量

dispatch_semaphore_create：用于创建信号量，可以指定初始化信号量计数值，这里我们默认1.
dispatch_semaphore_waite：会判断信号量，如果为1，则往下执行。如果是0，则等待。
dispatch_semaphore_signal：代表运行结束，信号量加1，有等待的任务这个时候才会继续执行。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
//获取系统存在的全局队列
var queue:dispatch_queue_t = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0)
//当并行执行的任务更新数据时，会产生数据不一样的情况
for i in 1...20
{
    dispatch_async(queue,{ () -> Void in
        println("\(i)")
    })
}
//使用信号量保证正确性
//创建一个初始计数值为1的信号
var semaphore:dispatch_semaphore_t = dispatch_semaphore_create(1)
for i in 1...20
{
    dispatch_async(queue,{ () -> Void in
        //永久等待，直到Dispatch Semaphore的计数值 >= 1
        dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER)
        println("\(i)")
        //发信号，使原来的信号计数值+1
        dispatch_semaphore_signal(semaphore)
    })
}

相关文章