GCD回顾温习总结(Swift)

发表于 | 分类于

[TOC]

1. GCD 简介

什么是 GCD 呢?

Grand Central Dispatch(GCD) 是 Apple 开发的一个多核编程的较新的解决方法。它主要用于优化应用程序以支持多核处理器以及其他对称多处理系统。它是一个在线程池模式的基础上执行的并发任务。在 Mac OS X 10.6 雪豹中首次推出，也可在 iOS 4 及以上版本使用。

为什么要用 GCD 呢？

  • GCD 可用于多核的并行运算
  • GCD 会自动利用更多的 CPU 内核（比如双核、四核）
  • GCD 会自动管理线程的生命周期（创建线程、调度任务、销毁线程）
  • 程序员只需要告诉 GCD 想要执行什么任务，不需要编写任何线程管理代码

2. GCD 任务和队列

任务

就是执行操作的意思，换句话说就是你在线程中执行的那段代码。在 GCD 中是放在 block 中的。执行任务有两种方式：同步执行（sync）和异步执行（async）。两者的主要区别是：是否等待队列的任务执行结束，以及是否具备开启新线程的能力。

  • 同步执行（sync）：
    • 同步添加任务到指定的队列中，在添加的任务执行结束之前，会一直等待，直到队列里面的任务完成之后再继续执行。
    • 只能在当前线程中执行任务，不具备开启新线程的能力。
  • 异步执行（async）：
    • 异步添加任务到指定的队列中，它不会做任何等待，可以继续执行任务。
    • 可以在新的线程中执行任务，具备开启新线程的能力。

      注意：异步执行（async）虽然具有开启新线程的能力，但是并不一定开启新线程。这跟任务所指定的队列类型有关。

队列（Dispatch Queue）

这里的队列指执行任务的等待队列，即用来存放任务的队列。队列是一种特殊的线性表，采用 FIFO（先进先出）的原则，即新任务总是被插入到队列的末尾，而读取任务的时候总是从队列的头部开始读取。每读取一个任务，则从队列中释放一个任务。

在 GCD 中有两种队列：串行队列和并发队列。两者都符合 FIFO（先进先出）的原则。两者的主要区别是：执行顺序不同，以及开启线程数不同。

  • 串行队列（Serial Dispatch Queue）：
    • 每次只有一个任务被执行。让任务一个接着一个地执行。（只开启一个线程，一个任务执行完毕后，再执行下一个任务）
      串行队列
  • 并发队列（Concurrent Dispatch Queue）：
    • 可以让多个任务并发（同时）执行。（可以开启多个线程，并且同时执行任务）
      并发队列

      注意：并发队列的并发功能只有在异步（dispatch_async）函数下才有效

3. GCD 的使用步骤

  1. 创建一个队列（串行队列或并发队列）
  2. 将任务追加到任务的等待队列中，然后系统就会根据任务类型执行任务（同步执行或异步执行）

    3.1 队列的创建方法/获取方法

  • 可以使用dispatch_queue_create来创建队列，需要传入两个参数，第一个参数表示队列的唯一标识符，用于 DEBUG，可为空，Dispatch Queue 的名称推荐使用应用程序 ID 这种逆序全程域名；第二个参数用来识别是串行队列还是并发队列。DISPATCH_QUEUE_SERIAL 表示串行队列，DISPATCH_QUEUE_CONCURRENT 表示并发队列。

    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    // objective-c写法
    // 串行队列的创建方法
    dispatch_queue_t queue = dispatch_queue_create("net.bujige.testQueue", DISPATCH_QUEUE_SERIAL);
    // 并发队列的创建方法
    let queue = DispatchQueue(label: "com.David.testQueue")
    // swift写法
    // 串行队列的创建方法
    let queue = DispatchQueue(label:"com.David.testQueue")
    // 并发队列的创建方法
    let queue = DispatchQueue(label:"com.David.testQueue", qos:.utility, attributes:.concurrent)

  • 对于串行队列，GCD 提供了的一种特殊的串行队列：主队列（Main Dispatch Queue）。

    • 所有放在主队列中的任务，都会放到主线程中执行。
    • 可使用dispatch_get_main_queue()获得主队列。
      1
      2
      3
      4
      5
      // 主队列的获取方法
      // objective-c写法
      dispatch_queue_t queue = dispatch_get_main_queue();
      // swift写法
      let mainQueue = DispatchQueue.main

  • 对于并发队列，GCD 默认提供了全局并发队列（Global Dispatch Queue）。

    • 可以使用dispatch_get_global_queue来获取。需要传入两个参数。第一个参数表示队列优先级，一般用DISPATCH_QUEUE_PRIORITY_DEFAULT。第二个参数暂时没用，用0即可。
      1
      2
      3
      4
      5
      // 全局并发队列的获取方法
      // objective-c写法
      dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);
      // swift写法
      let globalQueue = DispatchQueue.global()

3.2 任务的创建方法

GCD 提供了同步执行任务的创建方法dispatch_sync和异步执行任务创建方法dispatch_async。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
// 同步执行任务创建方法
dispatch_sync(queue, ^{
// 这里放同步执行任务代码
});
// 异步执行任务创建方法
dispatch_async(queue, ^{
// 这里放异步执行任务代码
});
//swift写法
queue.sync {
// 这里放同步执行任务代码
}
queue.async {
// 这里放异步执行任务代码
}

虽然使用 GCD 只需两步，但是既然我们有两种队列（串行队列/并发队列），两种任务执行方式（同步执行/异步执行），那么我们就有了四种不同的组合方式。这四种不同的组合方式是：

  1. 同步执行 + 并发队列
  2. 异步执行 + 并发队列
  3. 同步执行 + 串行队列
  4. 异步执行 + 串行队列

实际上，刚才还说了两种特殊队列：全局并发队列、主队列。全局并发队列可以作为普通并发队列来使用。但是主队列因为有点特殊，所以我们就又多了两种组合方式。这样就有六种不同的组合方式了。

  1. 同步执行 + 主队列
  2. 异步执行 + 主队列
区别 并发队列 串行队列 主队列
同步(sync) 没有开启新线程，串行执行任务 没有开启新线程，串行执行任务 主线程调用：死锁卡住不执行
异步(async) 有开启新线程，并发执行任务 有开启新线程(1条)，串行执行任务 没有开启新线程，串行执行任务

4. GCD 的基本使用

4.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
    /**
    * 同步执行 + 并发队列
    * 特点：在当前线程中执行任务，不会开启新线程，执行完一个任务，再执行下一个任务。
    */
    func syncConcurrent() {
        print("currentThread---\(Thread.current)")
        print("syncConcurrent---begin")
        let queue = DispatchQueue(label:"com.David.testQueue", qos:.utility, attributes:.concurrent)
        queue.sync {
            sleep(3)
            print("1---\(Thread.current)")
        }
        print("middle1")
        queue.sync {
            sleep(2)
            print("2---\(Thread.current)")
        }
        print("middle2")
        queue.sync {
            sleep(1)
            print("3---\(Thread.current)")
        }
        print("syncConcurrent---end")
    }

currentThread—{number = 1, name = main}
syncConcurrent—begin
1—{number = 1, name = main}
middle1
2—{number = 1, name = main}
middle2
3—{number = 1, name = main}
syncConcurrent—end

从同步执行 + 并发队列中可看到：

  • 所有任务都是在当前线程（主线程）中执行的，没有开启新的线程（同步执行不具备开启新线程的能力）。
  • 所有任务都在打印的syncConcurrent—begin和syncConcurrent—end之间执行的（同步任务需要等待队列的任务执行结束）。
  • 任务按顺序执行的。按顺序执行的原因：虽然并发队列可以开启多个线程，并且同时执行多个任务。但是因为本身不能创建新线程，只有当前线程这一个线程（同步任务不具备开启新线程的能力），所以也就不存在并发。而且当前线程只有等待当前队列中正在执行的任务执行完毕之后，才能继续接着执行下面的操作（同步任务需要等待队列的任务执行结束）。所以任务只能一个接一个按顺序执行，不能同时被执行。

4.2 异步执行 + 并发队列

  • 可以开启多个线程，任务交替（同时）执行。
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    /**
    * 异步执行 + 并发队列
    * 特点：可以开启多个线程，任务交替（同时）执行。
    */
    func asyncConcurrent() {
        print("currentThread---\(Thread.current)")
        print("asyncConcurrent---begin")
        let queue = DispatchQueue(label:"com.david.testQueue", qos:.utility, attributes:.concurrent)
        queue.async {
            sleep(3)
            print("1---\(Thread.current)")
        }
        print("middle1")
        queue.async {
            sleep(2)
            print("2---\(Thread.current)")
        }
        print("middle2")
        queue.async {
            sleep(1)
            print("3---\(Thread.current)")
        }
        print("asyncConcurrent---end")
    }

currentThread—{number = 1, name = main}
asyncConcurrent—begin
middle1
middle2
asyncConcurrent—end
3—{number = 3, name = (null)}
2—{number = 4, name = (null)}
1—{number = 5, name = (null)}

在异步执行 + 并发队列中可以看出：

  • 除了当前线程（主线程），系统又开启了3个线程，并且任务是交替/同时执行的。（异步执行具备开启新线程的能力。且并发队列可开启多个线程，同时执行多个任务）。
  • 所有任务是在打印的syncConcurrent—begin和syncConcurrent—end之后才执行的。说明当前线程没有等待，而是直接开启了新线程，在新线程中执行任务（异步执行不做等待，可以继续执行任务）。

4.3 同步执行 + 串行队列

  • 不会开启新线程，在当前线程执行任务。任务是串行的，执行完一个任务，再执行下一个任务。
    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
    /**
    * 同步执行 + 串行队列
    * 特点：不会开启新线程，在当前线程执行任务。任务是串行的，执行完一个任务，再执行下一个任务。
    */
    func syncSerial() {
        print("currentThread---\(Thread.current)")
        print("syncSerial---begin")
        let queue = DispatchQueue(label:"com.David.testQueue")
        queue.sync {
            sleep(3)
            print("1---\(Thread.current)")
        }
        print("middle1")
        queue.sync {
            sleep(2)
            print("2---\(Thread.current)")
        }
        print("middle2")
        queue.sync {
            sleep(1)
            print("3---\(Thread.current)")
        }
        sleep(1)
        print("syncConcurrent---end")
    }

currentThread—{number = 1, name = main}
syncConcurrent—begin
1—{number = 1, name = main}
middle1
2—{number = 1, name = main}
middle2
3—{number = 1, name = main}
syncConcurrent—end

在同步执行 + 串行队列可以看到：

  • 所有任务都是在当前线程（主线程）中执行的，并没有开启新的线程（同步执行不具备开启新线程的能力）。
  • 所有任务都在打印的syncConcurrent—begin和syncConcurrent—end之间执行（同步任务需要等待队列的任务执行结束）。
    任务是按顺序执行的（串行队列每次只有一个任务被执行，任务一个接一个按顺序执行）。

4.4 异步执行 + 串行队列

  • 会开启新线程，但是因为任务是串行的，执行完一个任务，再执行下一个任务
    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
    /**
    * 异步执行 + 串行队列
    * 特点：会开启新线程，但是因为任务是串行的，执行完一个任务，再执行下一个任务。
    */
    func asyncSerial() {
        print("currentThread---\(Thread.current)")
        print("asyncSerial---begin")
        let queue = DispatchQueue(label:"com.David.testQueue")
        queue.async {
            sleep(3)
            print("1---\(Thread.current)")
        }
        print("middle1")
        queue.async {
            sleep(2)
            print("2---\(Thread.current)")
        }
        print("middle2")
        queue.async {
            sleep(1)
            print("3---\(Thread.current)")
        }
        sleep(1)
        print("asyncSerial---end")
    }

currentThread—{number = 1, name = main}
asyncSerial—begin
middle1
middle2
asyncSerial—end
1—{number = 3, name = (null)}
2—{number = 3, name = (null)}
3—{number = 3, name = (null)}

在异步执行 + 串行队列可以看到：

  • 开启了一条新线程（异步执行具备开启新线程的能力，串行队列只开启一个线程）。
  • 所有任务是在打印的syncConcurrent—begin和syncConcurrent—end之后才开始执行的（异步执行不会做任何等待，可以继续执行任务）。
    任务是按顺序执行的（串行队列每次只有一个任务被执行，任务一个接一个按顺序执行）。

4.5 同步执行 + 主队列

同步执行 + 主队列在不同线程中调用结果也是不一样，在主线程中调用会出现死锁，而在其他线程中则不会。

4.5.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
    25
    /**
    * 同步执行 + 主队列
    * 特点(主线程调用)：互等卡主不执行。
    * 特点(其他线程调用)：不会开启新线程，执行完一个任务，再执行下一个任务。
    */
    func syncMain() {
        print("currentThread---\(Thread.current)")
        print("syncMain---begin")
        let queue = DispatchQueue.main
        queue.sync {
            sleep(3)
            print("1---\(Thread.current)")
        }
        print("middle1")
        queue.sync {
            sleep(2)
            print("2---\(Thread.current)")
        }
        print("middle2")
        queue.sync {
            sleep(1)
            print("3---\(Thread.current)")
        }
        print("syncMain---end")
    }

currentThread—{number = 1, name = main}
syncMain—begin

syncMain Error

在同步执行 + 主队列可以惊奇的发现：

  • 在主线程中使用同步执行 + 主队列，追加到主线程的任务1、任务2、任务3都不再执行了，而且syncMain—end也没有打印，在XCode 9上还会报崩溃。这是为什么呢？

这是因为我们在主线程中执行syncMain方法，相当于把syncMain任务放到了主线程的队列中。而同步执行会等待当前队列中的任务执行完毕，才会接着执行。那么当我们把任务1追加到主队列中，任务1就在等待主线程处理完syncMain任务。而syncMain任务需要等待任务1执行完毕，才能接着执行。
那么，现在的情况就是syncMain任务和任务1都在等对方执行完毕。这样大家互相等待，所以就卡住了，所以我们的任务执行不了，而且syncMain—end也没有打印。

4.6 异步执行 + 主队列

  • 只在主线程中执行任务，执行完一个任务，再执行下一个任务。
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    /**
    * 异步执行 + 主队列
    * 特点：只在主线程中执行任务，执行完一个任务，再执行下一个任务
    */
    func asyncMain() {
        print("currentThread---\(Thread.current)")
        print("asyncMain---begin")
        let queue = DispatchQueue.main
        queue.async {
            sleep(3)
            print("1---\(Thread.current)")
        }
        print("middle1")
        queue.async {
            sleep(2)
            print("2---\(Thread.current)")
        }
        print("middle2")
        queue.async {
            sleep(1)
            print("3---\(Thread.current)")
        }
        print("asyncMain---end")
    }

currentThread—{number = 1, name = main}
asyncMain—begin
middle1
middle2
asyncMain—end
1—{number = 1, name = main}
2—{number = 1, name = main}
3—{number = 1, name = main}

在异步执行 + 主队列可以看到：

  • 所有任务都是在当前线程（主线程）中执行的，并没有开启新的线程（虽然异步执行具备开启线程的能力，但因为是主队列，所以所有任务都在主线程中）。
  • 所有任务是在打印的syncConcurrent—begin和syncConcurrent—end之后才开始执行的（异步执行不会做任何等待，可以继续执行任务）。
  • 任务是按顺序执行的（因为主队列是串行队列，每次只有一个任务被执行，任务一个接一个按顺序执行）。

4.8 同步执行 + 全局队列

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
/**
* 同步执行 + 全局（并发）队列
* 特点：在当前线程中执行任务，不会开启新线程，执行完一个任务，再执行下一个任务。
*/
func asyncGlobal() {
    print("currentThread---\(Thread.current)")
    print("asyncMain---begin")
    let queue = DispatchQueue.global()
    queue.async {
        sleep(3)
        print("1---\(Thread.current)")
    }
    print("middle1")
    queue.async {
        sleep(2)
        print("2---\(Thread.current)")
    }
    print("middle2")
    queue.async {
        sleep(1)
        print("3---\(Thread.current)")
    }
    print("asyncGlobal---end")
}

currentThread—{number = 1, name = main}
syncGlobal—begin
1—{number = 1, name = main}
middle1
2—{number = 1, name = main}
middle2
3—{number = 1, name = main}
syncMain—end

4.7 异步执行 + 全局队列

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
func asyncGlobal() {
/**
* 异步执行 + 全局（并发）队列
* 特点：可以开启多个线程，任务交替（同时）执行。
*/
    print("currentThread---\(Thread.current)")
    print("asyncMain---begin")
    let queue = DispatchQueue.global()
    queue.async {
        sleep(3)
        print("1---\(Thread.current)")
    }
    print("middle1")
    queue.async {
        sleep(2)
        print("2---\(Thread.current)")
    }
    print("middle2")
    queue.async {
        sleep(1)
        print("3---\(Thread.current)")
    }
    print("asyncGlobal---end")
}

currentThread—{number = 1, name = main}
asyncMain—begin
middle1
middle2
asyncGlobal—end
3—{number = 3, name = (null)}
2—{number = 4, name = (null)}
1—{number = 5, name = (null)}

5. GCD 线程间的通信

在iOS开发过程中，我们一般在主线程里边进行UI刷新，例如：点击、滚动、拖拽等事件。我们通常把一些耗时的操作放在其他线程，比如说图片下载、文件上传等耗时操作。而当我们有时候在其他线程完成了耗时操作时，需要回到主线程，那么就用到了线程之间的通讯。

1
2
3
4
5
6
7
8
9
10
11
12
13
func communication() {
    print("currentThread---\(Thread.current)")
    print("communication---begin")
    DispatchQueue.global().async {
        sleep(1)
        print("1---\(Thread.current)")
        DispatchQueue.main.async {
            sleep(2)
            print("2---\(Thread.current)")
        }
    }
    print("communication---end")
}

currentThread—{number = 1, name = main}
communication—begin
communication—end
1—{number = 3, name = (null)}
2—{number = 1, name = main}

  • 可以看到在其他线程中先执行任务，执行完了之后回到主线程执行主线程的相应操作。

6. GCD 的其他方法

6.1 GCD 栅栏方法：dispatch_barrier_async

  • 我们有时需要异步执行两组操作，而且第一组操作执行完之后，才能开始执行第二组操作。这样我们就需要一个相当于栅栏一样的一个方法将两组异步执行的操作组给分割起来，当然这里的操作组里可以包含一个或多个任务。这就需要用到dispatch_barrier_async方法在两个操作组间形成栅栏。
    dispatch_barrier_async函数会等待前边追加到并发队列中的任务全部执行完毕之后，再将指定的任务追加到该异步队列中。然后在dispatch_barrier_async函数追加的任务执行完毕之后，异步队列才恢复为一般动作，接着追加任务到该异步队列并开始执行。具体如下图所示：
    dispatch_barrier_async
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    func barrier() {
        print("currentThread---\(Thread.current)")
        print("communication---begin")
        let queue = DispatchQueue(label:"com.David.testQueue", qos:.default, attributes:.concurrent)
        //        let queue = DispatchQueue.global()
        queue.async {
            sleep(1)
            print("1---\(Thread.current)")
        }
        queue.async(group: nil, qos: .default, flags: .barrier) {
            sleep(2)
            print("barrier---\(Thread.current)")
        }
        queue.async {
            sleep(1)
            print("2---\(Thread.current)")
        }
        queue.async {
            sleep(1)
            print("3---\(Thread.current)")
        }
        print("communication---end")
    }

currentThread—{number = 1, name = main}
communication—beginc
communication—end
1—{number = 3, name = (null)}
barrier—{number = 4, name = (null)}
3—{number = 3, name = (null)}
2—{number = 4, name = (null)}

如果queue替换成下面global，实际是错的

1
let queue = DispatchQueue.global()

currentThread—{number = 1, name = main}
communication—begin
communication—end
1—{number = 5, name = (null)}
2—{number = 4, name = (null)}
3—{number = 3, name = (null)}
barrier—{number = 6, name = (null)}

6.2 GCD 延时执行方法：dispatch_after

我们经常会遇到这样的需求：在指定时间（例如3秒）之后执行某个任务。可以用 GCD 的dispatch_after函数来实现。
需要注意的是：dispatch_after函数并不是在指定时间之后才开始执行处理，而是在指定时间之后将任务追加到主队列中。严格来说，这个时间并不是绝对准确的，但想要大致延迟执行任务，dispatch_after函数是很有效的。

1
2
3
4
5
6
7
8
9
10
11
/**
* 延时执行方法 dispatch_after
*/
func after() {
    print("currentThread---\(Thread.current)")
    print("after---begin")
    DispatchQueue.main.asyncAfter(deadline: DispatchTime.now()+2) {
        print("after---\(Thread.current)")
    }
    print("after---end")
}

currentThread—{number = 1, name = main}
after—begin
after—end
after—{number = 1, name = main}

6.3 GCD 一次性代码（只执行一次）：dispatch_once

  • 我们在创建单例、或者有整个程序运行过程中只执行一次的代码时，我们就用到了 GCD 的 dispatch_once 函数。使用
    dispatch_once 函数能保证某段代码在程序运行过程中只被执行1次，并且即使在多线程的环境下，dispatch_once也可以保证线程安全。
    1
    2
    3
    4
    5
    6
    7
    8
    9
    /**
    * 一次性代码（只执行一次）dispatch_once
    */
    - (void)once {
        static dispatch_once_t onceToken;
        dispatch_once(&onceToken, ^{
            // 只执行1次的代码(这里面默认是线程安全的)
        });
    }

6.4 GCD 快速迭代方法：dispatch_apply

  • 通常我们会用 for 循环遍历，但是 GCD 给我们提供了快速迭代的函数dispatch_apply。dispatch_apply按照指定的次数将指定的任务追加到指定的队列中，并等待全部队列执行结束。

如果是在串行队列中使用 dispatch_apply，那么就和 for 循环一样，按顺序同步执行。可这样就体现不出快速迭代的意义了。
我们可以利用并发队列进行异步执行。比如说遍历 0~5 这6个数字，for 循环的做法是每次取出一个元素，逐个遍历。dispatch_apply 可以 在多个线程中同时（异步）遍历多个数字。
还有一点，无论是在串行队列，还是异步队列中，dispatch_apply 都会等待全部任务执行完毕，这点就像是同步操作，也像是队列组中的 dispatch_group_wait方法。

1
2
3
4
5
6
7
8
9
func apply() {
    print("currentThread---\(Thread.current)")
    print("apply---begin")
    DispatchQueue.concurrentPerform(iterations: 3) { (index) in
        sleep(1)
        print("apply\(index)---\(Thread.current)")
    }
    print("apply---end")
}

currentThread—{number = 1, name = main}
apply—begin
apply1—{number = 4, name = (null)}
apply0—{number = 1, name = main}
apply2—{number = 3, name = (null)}
apply—end

因为是在并发队列中异步执行任务，所以各个任务的执行时间长短不定，最后结束顺序也不定。但是apply---end一定在最后执行。这是因为dispatch_apply函数会等待全部任务执行完毕。

GCD 队列组：dispatch_group

有时候我们会有这样的需求：分别异步执行2个耗时任务，然后当2个耗时任务都执行完毕后再回到主线程执行任务。这时候我们可以用到 GCD 的队列组。

  • 调用队列组的 dispatch_group_async 先把任务放到队列中，然后将队列放入队列组中。或者使用队列组的 dispatch_group_enter、dispatch_group_leave 组合 来实现 dispatch_group_async。
  • 调用队列组的 dispatch_group_notify 回到指定线程执行任务。或者使用 dispatch_group_wait 回到当前线程继续向下执行（会阻塞当前线程）。

    dispatch_group_notify

  • 监听 group 中任务的完成状态，当所有的任务都执行完成后，追加任务到 group 中，并执行任务。
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    /**
    * 队列组 dispatch_group_notify
    */
    func groupNotify() {
        print("currentThread---\(Thread.current)")
        print("groupNotify---begin")
        let queue = DispatchQueue.global()
        let group = DispatchGroup()
        queue.async(group: group) {
            sleep(1)
            print("1---\(Thread.current)")
        }
        queue.async(group: group) {
            sleep(2)
            print("2---\(Thread.current)")
        }
        group.notify(queue: queue) {
            sleep(1)
            print("3---\(Thread.current)")
        }
        print("groupNotify---end")
    }

currentThread—{number = 1, name = main}
groupNotify—begin
groupNotify—end
1—{number = 3, name = (null)}
2—{number = 4, name = (null)}
3—{number = 4, name = (null)}

6.5.2 dispatch_group_wait

  • 暂停当前线程（阻塞当前线程），等待指定的 group 中的任务执行完成后，才会往下继续执行。
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    /**
    * 队列组 dispatch_group_wait
    */
    func groupWait() {
        print("currentThread---\(Thread.current)")
        print("groupWait---begin")
        let queue = DispatchQueue.global()
        let group = DispatchGroup()
        queue.async(group: group) {
            sleep(2)
            print("1---\(Thread.current)")
        }
        queue.async(group: group) {
            sleep(1)
            print("2---\(Thread.current)")
        }
        group.wait()
        print("groupWait---end")
    }

currentThread—{number = 1, name = main}
groupWait—begin
2—{number = 3, name = (null)}
1—{number = 4, name = (null)}
groupWait—end

从dispatch_group_wait相关代码运行输出结果可以看出：
当所有任务执行完成之后，才执行 dispatch_group_wait 之后的操作。但是，使用dispatch_group_wait会阻塞当前线程。

6.5.3 dispatch_group_enter、dispatch_group_leave

-dispatch_group_enter 标志着一个任务追加到 group，执行一次，相当于 group 中未执行完毕任务数+1

  • dispatch_group_leave 标志着一个任务离开了 group，执行一次，相当于 group 中未执行完毕任务数-1。
  • 当 group 中未执行完毕任务数为0的时候，才会使dispatch_group_wait解除阻塞，以及执行追加到dispatch_group_notify中的任务。
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    func groupEnterAndLeave() {
        print("currentThread---\(Thread.current)")
        print("groupEnterAndLeave---begin")
        let queue = DispatchQueue.global()
        let group = DispatchGroup()
        group.enter()
        queue.async() {
            sleep(2)
            print("1---\(Thread.current)")
            group.leave()
        }
        group.enter()
        queue.async() {
            sleep(1)
            print("2---\(Thread.current)")
            group.leave()
        }
        group.notify(queue: queue) {
            sleep(1)
            print("3---\(Thread.current)")
        }
        print("groupEnterAndLeave---end")
    }

currentThread—{number = 1, name = main}
groupEnterAndLeave—begin
groupEnterAndLeave—end
2—{number = 3, name = (null)}
1—{number = 4, name = (null)}
3—{number = 4, name = (null)}

从dispatch_group_enter、dispatch_group_leave相关代码运行结果中可以看出：当所有任务执行完成之后，才执行 dispatch_group_notify 中的任务。这里的dispatch_group_enter、dispatch_group_leave组合，其实等同于dispatch_group_async。

6.6 GCD 信号量：dispatch_semaphore

GCD 中的信号量是指 Dispatch Semaphore，是持有计数的信号。类似于过高速路收费站的栏杆。可以通过时，打开栏杆，不可以通过时，关闭栏杆。在 Dispatch Semaphore 中，使用计数来完成这个功能，计数为0时等待，不可通过。计数为1或大于1时，计数减1且不等待，可通过。
Dispatch Semaphore 提供了三个函数。

  • dispatch_semaphore_create：创建一个Semaphore并初始化信号的总量

  • dispatch_semaphore_signal：发送一个信号，让信号总量加1

  • dispatch_semaphore_wait：可以使总信号量减1，当信号总量为0时就会一直等待（阻塞所在线程），否则就可以正常执行。

注意：信号量的使用前提是：想清楚你需要处理哪个线程等待（阻塞），又要哪个线程继续执行，然后使用信号量。

Dispatch Semaphore 在实际开发中主要用于：

  • 保持线程同步，将异步执行任务转换为同步执行任务
  • 保证线程安全，为线程加锁

6.6.1 Dispatch Semaphore 线程同步

我们在开发中，会遇到这样的需求：异步执行耗时任务，并使用异步执行的结果进行一些额外的操作。换句话说，相当于，将将异步执行任务转换为同步执行任务。比如说：AFNetworking 中 AFURLSessionManager.m 里面的 tasksForKeyPath: 方法。通过引入信号量的方式，等待异步执行任务结果，获取到 tasks，然后再返回该 tasks。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
- (NSArray *)tasksForKeyPath:(NSString *)keyPath {
    __block NSArray *tasks = nil;
    dispatch_semaphore_t semaphore = dispatch_semaphore_create(0);
    [self.session getTasksWithCompletionHandler:^(NSArray *dataTasks, NSArray *uploadTasks, NSArray *downloadTasks) {
        if ([keyPath isEqualToString:NSStringFromSelector(@selector(dataTasks))]) {
            tasks = dataTasks;
        } else if ([keyPath isEqualToString:NSStringFromSelector(@selector(uploadTasks))]) {
            tasks = uploadTasks;
        } else if ([keyPath isEqualToString:NSStringFromSelector(@selector(downloadTasks))]) {
            tasks = downloadTasks;
        } else if ([keyPath isEqualToString:NSStringFromSelector(@selector(tasks))]) {
            tasks = [@[dataTasks, uploadTasks, downloadTasks] valueForKeyPath:@"@unionOfArrays.self"];
        }
        dispatch_semaphore_signal(semaphore);
    }];
    dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
    return tasks;
}

下面，我们来利用 Dispatch Semaphore 实现线程同步，将异步执行任务转换为同步执行任务。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
func semaphoreSync() {
    print("currentThread---\(Thread.current)")
    print("semaphoreSync---begin")
    let queue = DispatchQueue.global()
    let semaphore = DispatchSemaphore(value: 0)
    var number = 0
    queue.async {
        sleep(2)
        number = 100
        print("1---\(Thread.current)")
        semaphore.signal()
    }
    semaphore.wait()
    print("semaphoreSync---end,number = \(number)")
}

currentThread—{number = 1, name = main}
semaphoreSync—begin
1—{number = 3, name = (null)}
semaphoreSync—end,number = 100

从 Dispatch Semaphore 实现线程同步的代码可以看到：

  • semaphore---end 是在执行完 number = 100; 之后才打印的。而且输出结果 number 为 100。
    这是因为异步执行不会做任何等待，可以继续执行任务。异步执行将任务1追加到队列之后，不做等待，接着执行dispatch_semaphore_wait方法。此时 semaphore == 0，当前线程进入等待状态。然后，异步任务1开始执行。任务1执行到dispatch_semaphore_signal之后，总信号量，此时 semaphore == 1，dispatch_semaphore_wait方法使总信号量减1，正在被阻塞的线程（主线程）恢复继续执行。最后打印semaphore---end,number = 100。这样就实现了线程同步，将异步执行任务转换为同步执行任务。

7 考题：GCD来实现读写操作

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
28
29
private let queue = DispatchQueue(label: "com.davie.readwrite", attributes: .concurrent)
private var _someString: NSString?
var someString:NSString? {
    get {
        var tempString:NSString?
        let semphore = DispatchSemaphore(value: 1)
        queue.async() {
            sleep(1)
            tempString = self._someString
            print("read:\(tempString ?? "NULL"),\(semphore),\(Thread.current)")
            semphore.signal()
        }
        semphore.wait()
        return tempString
    }
    set {
        // 写数据时使用串行
        queue.async(flags: .barrier) {
        sleep(1)
        self._someString = newValue
        print("write:\(self._someString ?? "NULL"),\(Thread.current)")
        }
    }
}
var a = self.someString
self.someString = "22"
a = self.someString
a = self.someString

read:NULL,,{number = 3, name = (null)}
write:22,{number = 3, name = (null)}
read:22,,{number = 3, name = (null)}
read:22,,{number = 4, name = (null)}

如果用let queue = DispatchQueue.global() 实际barrier模式的栅栏不起作用

read:NULL,,{number = 4, name = (null)}
read:NULL,,{number = 5, name = (null)}
read:NULL,,{number = 3, name = (null)}
write:22,{number = 6, name = (null)}

如果用let semphore = DispatchSemaphore(value: 0),实际读模式就变成了用了同一个线程的串型，后2次read中间等待了一秒

read:NULL,,{number = 3, name = (null)}
write:22,{number = 3, name = (null)}
read:22,,{number = 3, name = (null)}
read:22,,{number = 3, name = (null)}

参考：

iOS 多线程：『GCD』详尽总结

------本文结束感谢阅读------