iOS14开发

iOS14开发-多线程

2021-05-28  本文已影响0人  YungFan

理论基础

进程与线程

进程

线程

二者关系

多线程

优缺点

优点

缺点

线程安全

不论线程通过如何调度或线程如何交替执行,在不需要做任何干涉的情况下,其执行结果保持一致符合预期,则称之为线程安全。

通俗解释:在多线程中,一段代码会被多个线程执行。假如一个线程执行了某段代码的一部分后,被另一个线程抢走时间片又去执行该段代码并修改其中内容,当原线程再次回来继续执行时里面的内容已经被别人改动了但它并不知道,最终导致错误的运行结果,这种线程就是不安全的。而安全的线程是指执行一段代码时,只要尚未执行完,其他线程就不能来执行这段代码直到执行完毕。

串行、并行与并发

同步与异步

同步和异步主要区别:是否开启新的线程。

多线程编程

iOS 中的多线程技术主要分为 3 种,分别为 Thread、GCD 和 Operation。

Thread

方式一

// Target-Action形式
let thread1 = Thread(target: self, selector: #selector(task), object: nil)
// 设置名字
thread1.name = "thread1"       
// 启动
thread1.start()       

方式二

// 闭包形式
let thread2 = Thread {
    sleep(1)

    print(Thread.current)
}

thread2.name = "thread2"
thread2.start()

方式三

// 类方法,也有3种形式,以闭包形式为例
// 会直接启动线程,不需要手动调用start方法来启动线程执行任务
Thread.detachNewThread {    
    sleep(1)
    
    print(Thread.current)  
}

线程状态

线程状态.png

线程休眠

GCD

队列

队列类型 功能描述
串行队列 按照任务添加到队列的顺序执行,一次只能执行一个任务
并发队列 同时执行一个或多个任务,但任务仍按其添加到队列的顺序启动。
主队列 特殊的串行队列,会在主线程上执行任务。

DispatchQueue

// 主队列
let main = DispatchQueue.main  
// label:队列的名称
// 除label以外的参数都使用默认值时,返回的是串行队列。
let serialQueue = DispatchQueue(label: "serialQueue")   
// global并发队列
let defaultGlobalDipatchQueue =  DispatchQueue.global()

// 带qos的global并发队列
let globalDipatchQueue = DispatchQueue.global(qos: .default)

// 创建一个并发队列,参数attributes需要设置为.concurrent
let concurrentDispatchQueue = DispatchQueue(label: "concurrentQueue", qos: .default, attributes: .concurrent, autoreleaseFrequency: .inherit, target: nil)
参数说明

sync与async

queue.sync {
    // 当前线程执行任务
}

queue.async {
    // 新线程执行任务
}

注意

  1. 不论是并发队列还是串行队列,如果是同步执行,都不会开辟新线程,只有异步执行才会开辟新线程。
  2. 并发队列在执行多个任务的时候,会开辟多个线程执行。而串行队列不会,它会执行完一个再去执行另外一个。

asyncAfter

在当前队列中延迟任务的执行时间,参数为DispatchTime,一般会在当前时间的基础上加上一个延迟时间(以秒为单位)。

func dispatchAfter() { 
    queue.asyncAfter(deadline: DispatchTime.now() + 2) {
        print("延迟2s执行")  
    }
    
    // 主队列延迟执行
    DispatchQueue.main.asyncAfter(deadline: DispatchTime.now() + 3) {
        print("主队列延迟3s执行的任务")
    }  
}

concurrentPerform

func concurrentPerform() {
    print("任务开始执行")

    DispatchQueue.concurrentPerform(iterations: 5) { index in
        for i in 0 ... 3 {
            Thread.sleep(forTimeInterval: 0.1)
            print("这是\(Thread.current)第\(index)次打印:\(i)")
        }
    }

    print("任务执行完毕")
}

barrier

func barrier() {
    let queue = DispatchQueue(label: "queue001", attributes: .concurrent)

    queue.async {
        sleep(1)
        print("\(Thread.current)执行任务一")
    }

    queue.async {
        sleep(1)
        print("\(Thread.current)执行任务二")
    }

    // 任务四和五会在三之后执行
    queue.async(flags: .barrier) {
        sleep(1)
        print("\(Thread.current)执行任务三")
    }

    queue.async {
        sleep(1)
        print("\(Thread.current)执行任务四")
    }

    queue.async {
        sleep(1)
        print("\(Thread.current)执行任务五")
    }
}

注意:如果队列是DispatchQueue.global(),barrier 不起作用。

DispatchGroup

func group() {
    let group = DispatchGroup()

    queue.async(group: group) {
        print("网络请求任务一")
    }

    queue.async(group: group) {
        print("网络请求任务二")
    }

    queue.async(group: group) {
        print("网络请求任务三")
    }

    // 执行完前面的任务后回到主线程执行后续任务
    group.notify(queue: DispatchQueue.main) {
        print("完成任务一、二、三, 更新UI")
    }

    queue.async {
        print("其他任务四")
    }
    
    group.notify(queue: DispatchQueue.main) {
        print("完成任务一、二、三、四, 更新UI")
    }
}
func group2() {
    let group = DispatchGroup()

    group.enter()
    queue.async(group: group) {
        print("网络请求任务一")
        group.leave()
    }

    group.enter()
    queue.async(group: group) {
        print("网络请求任务二")
        group.leave()
    }

    group.enter()
    queue.async(group: group) {
        print("网络请求任务三")
        group.leave()
    }

    group.notify(queue: DispatchQueue.main) {
        print("完成任务一、二、三, 更新UI")
    }

    queue.async {
        print("其他任务四")
    }
}

DispatchWorkItem

func dispatchWorkItem() {    
    var value = 10
    // 初始化方法传入一个闭包,闭包中就是需要执行的任务
    let workItem = DispatchWorkItem {
        value += 5
        print(Thread.current) // 主线程
    }
    
    // 通过perform()方法来唤起DispatchWorkItem执行任务
    workItem.perform()
    
    print(value)
}
let workItem = DispatchWorkItem {
    for i in 0 ... 10 {
        sleep(1)
        print(i)
        print(Thread.current) // 子线程
    }
}

DispatchQueue.global().async(execute: workItem)

(1)如果任务已经开始执行,即使取消也依然会执行。

let workItem = DispatchWorkItem {
    for i in 0 ... 10 {
        sleep(1)
        print(i)
        print(Thread.current)
    }
}

// 先执行
DispatchQueue.global().async(execute: workItem)
// 后取消
workItem.cancel()
// 查看取消状态
print(workItem.isCancelled)

(2)如果任务尚未开始执行,取消后则不会再执行。

let workItem = DispatchWorkItem {
    for i in 0 ... 10 {
        sleep(1)
        print(i)
        print(Thread.current)
    }
}
// 先取消
workItem.cancel()
// 再执行
DispatchQueue.global().async(execute: workItem)
// 查看取消状态
print(workItem.isCancelled)

(1)无参数:阻塞当前线程直到任务完成。

let workItem = DispatchWorkItem {
    for i in 0 ... 10 {
        sleep(1)
        print(i)
        print(Thread.current)
    }
}

DispatchQueue.global().async(execute: workItem)
// 等待
workItem.wait()
// 任务完成后才会执行
print("继续执行任务")

(2)timeout 参数:阻塞当前线程直到 timeout,如果任务完成 timeoutResult 为 success,否则为 timeOut。

let workItem = DispatchWorkItem {
    for i in 0 ... 10 {
        sleep(1)
        print(i)
        print(Thread.current)
    }
}

DispatchQueue.global().async(execute: workItem)
// 设置等待时间
let timeoutResult = workItem.wait(timeout: .now() + 3)
// 3秒内执行完任务则为success,否则timeOut
switch timeoutResult {
case .success:
    print("success")
case .timedOut:
    print("timedOut")
}

// 3秒以后执行
print("继续执行任务")
let workItem = DispatchWorkItem {
    for i in 0 ... 10 {
        sleep(1)
        print(i)
        print(Thread.current)
    }
}

DispatchQueue.global().async(execute: workItem)
// 任务完成以后回到指定队列执行任务
workItem.notify(queue: DispatchQueue.main) {
    print("任务完成")
}

print("继续执行任务")

Operation

OperationQueue

func operationUseOne() {
    // 创建OperationQueue
    let operationQueue = OperationQueue()
    
    // 添加Operation
    operationQueue.addOperation {
        sleep(1)
        print("\(Thread.current)执行任务一")
    }

    operationQueue.addOperation {
        sleep(1)
        print("\(Thread.current)执行任务二")
    }

    operationQueue.addOperation {
        sleep(1)
        print("\(Thread.current)执行任务三")
    }
}
func operationUseTwo() {
    let operationQueue = OperationQueue()

    // BlockOperation
    let operation1 = BlockOperation {
        print("\(Thread.current)执行任务一")
        sleep(1)
    }

    let operation2 = BlockOperation {
        print("\(Thread.current)执行任务二")
        sleep(1)
    }

    let operation3 = BlockOperation {
        print("\(Thread.current)执行任务三")
        sleep(1)
    }

    // 逐个添加到OperationQueue
    // operationQueue.addOperation(operation1)
    // operationQueue.addOperation(operation2)
    // operationQueue.addOperation(operation3)

    // 一次性添加到OperationQueue
    operationQueue.addOperations([operation1, operation2, operation3], waitUntilFinished: false)

    // waitUntilFinished
    // 如果为false,不会等任务完成再执行后续任务
    // 如果为true,阻塞当前线程,等待任务完成后再执行后续任务
    print("\(Thread.current)执行其他任务")
}
let mainQueue = OperationQueue.main

// 在没有指定任何队列的情况下调用start方法启动的BlockOperation默认会在主线程执行任务
let op = BlockOperation {
    sleep(1)
    print("\(Thread.current)执行任务一")
}

op.start()

maxConcurrentOperationCount

设置 OperationQueue 的最大并发数,表示的是能同时执行的 Operation 的最大数量,而不是开启线程的最大数量

func setOperationQueue() {
      // 并发数
     operationQueue.maxConcurrentOperationCount = 2
}

注意:OperationQueue 无法直接创建串行队列(除主队列,主队列的最大并发数始终为 1 ),但可以设置最大并发数为 1 来实现串行队列的执行效果。

queuePriority

func setOperation(op:Operation){
    // 优先级
    op.queuePriority = .high
}

addDependency与completionBlock

func dependency() {
    let operationQueue = OperationQueue()

    let operation1 = BlockOperation {
        print("\(Thread.current)执行任务一")
        sleep(1)
    }

    // 监听Operation完成
    operation1.completionBlock = {
        print("\(Thread.current)完成任务一")
    }

    let operation2 = BlockOperation {
        print("\(Thread.current)执行任务二")
        sleep(1)
    }

    operation2.completionBlock = {
        print("\(Thread.current)完成任务二")
    }

    // 添加依赖
    // operation2在operation1执行完再执行(并不是等completionBlock执行完再执行,而是BlockOperation体执行完就开始执行)
    operation2.addDependency(operation1)

    let operation3 = BlockOperation {
        print("\(Thread.current)执行任务三")
        sleep(1)
    }

    operation3.completionBlock = {
        print("\(Thread.current)完成任务三")
    }

    // operation3在operation2执行完再执行
    operation3.addDependency(operation2)

    operationQueue.addOperations([operation1, operation2, operation3], waitUntilFinished: false)

    print("\(Thread.current)执行其他任务")
}

注意:串行队列与依赖关系之间的区别?

  1. 依赖关系所处的队列依旧是并发而非串行。
  2. 串行队列是将任务添加到队列以后串行执行,而依赖关系是并行执行。

barrier

类似 GCD 的 barrier。

func barrier() {
    let operationQueue = OperationQueue()

    operationQueue.addOperation {
        sleep(1)
        print("\(Thread.current)执行任务一")
    }

    operationQueue.addOperation {
        sleep(1)
        print("\(Thread.current)执行任务二")
    }

    // 任务四和五会在三之后执行
    operationQueue.addBarrierBlock {
        sleep(1)
        print("\(Thread.current)执行任务三")
    }

    operationQueue.addOperation {
        sleep(1)
        print("\(Thread.current)执行任务四")
    }

    operationQueue.addOperation {
        sleep(1)
        print("\(Thread.current)执行任务五")
    }
}

suspend、resume与cancel

func suspend() {
    if operationQueue.operationCount != 0 && operationQueue.isSuspended == false {
        operationQueue.isSuspended = true
    }
}
func resume() {
    if operationQueue.operationCount != 0 && operationQueue.isSuspended == true {
        operationQueue.isSuspended = false
    }
}
func cancel() {
    //  Operation 取消 
    operation.cancel()
    // OperationQueue 取消所有
    operationQueue.cancelAllOperations()
}

安全性问题

多线程编程中,应该尽量避免资源在线程之间共享,以减少线程间的相互影响。有两个重要的概念:

  1. 临界资源:一次只能允许一个线程使用的共享资源。
  2. 临界区:访问临界资源的那段代码。

在实际开发中,经常存在多个线程访问同一个共享资源的情况,那么如何保证多线程执行结果的正确性?在 iOS 中主要提供了 2 种技术 — 锁和信号量

注意:锁操作是成对出现,有加锁就一定有解锁。

pthread

var mutex: pthread_mutex_t = {
    // 初始化锁属性
    var mutexattr = pthread_mutexattr_t()
    // 锁属性赋值
    pthread_mutexattr_settype(&mutexattr, PTHREAD_MUTEX_DEFAULT)
    // 初始化锁
    var mutex = pthread_mutex_t()
    // pthread_mutex_init(&mutex, nil)
    // mutexattr传nil表示default
    pthread_mutex_init(&mutex, &mutexattr)
    // 使用锁属性之后要释放
    pthread_mutexattr_destroy(&mutexattr)
    // 返回锁
    return mutex
}()

// 线程业务代码
DispatchQueue.global().async {
    // 加锁
    pthread_mutex_lock(&mutex)
    
    // 临界区

    // 解锁
    pthread_mutex_unlock(&mutex)
}
deinit {
    // 销毁锁
    pthread_mutex_destroy(&mutex)
}

NS系列锁

包括NSLock、NSCondition、NSConditionLock、NSRecursiveLock,都遵守了NSLocking协议,。

public protocol NSLocking {
    func lock() // 加锁
    func unlock() // 解锁
}
// 初始化
let lock = NSLock() 
// 加锁
lock.lock()

// 临界区

// 解锁
lock.unlock()
// 初始化
let lock = NSCondition()
var products = [Int]()

// 消费者
func consume() {
    DispatchQueue.global().async {
        // 加锁
        lock.lock()
        // 没有商品挂起线程
        while products.count == 0 {
            lock.wait()
        }
        // 消费产品
        let product = products.remove(at: 0)
        print("消费产品\(product)")
        // 解锁
        lock.unlock()
    }
}

// 生产者
func produce() {
    DispatchQueue.global().async {
        // 加锁
        lock.lock()
        // 生产产品
        let product = Int.random(in: 0 ... 100)
        products.append(product)
        print("生产产品\(product)")
        // 唤醒消费者
        lock.signal()
        // 解锁
        lock.unlock()
    }
}

while true {
    consume()
    sleep(1)
    produce()
}
// 初始化时condition为0
let lock = NSConditionLock(condition: 0)
var products = [Int]()

// 消费者
func consume() {
    DispatchQueue.global().async {
        // 加锁,当参数与初始化时condition不一致时进行等待
        lock.lock(whenCondition: 1)
        // 消费产品
        let product = products.remove(at: 0)
        print("消费产品\(product)")
        // 解锁,修改condition的值为0
        lock.unlock(withCondition: 0)
    }
}

// 生产者
func produce() {
    DispatchQueue.global().async {
        // 加锁,与初始化时condition一致,继续执行
        lock.lock(whenCondition: 0)
        // 生产产品
        let product = Int.random(in: 0 ... 100)
        products.append(product)
        print("生产产品\(product)")
        // 解锁,修改condition的值为1
        lock.unlock(withCondition: 1)
    }
}

while true {
    consume()
    sleep(1)
    produce()
}
// 初始化
let lock = NSRecursiveLock()
var count = 5

func recursive(value: Int) {
    // 加锁(换成其他的锁会死锁)
    lock.lock()
    // 大于0才继续后面的操作
    guard value > 0 else {
        return
    }
    // 打印
    print(value)
    // 休眠
    sleep(1)
    // 递归次数减1
    count -= 1
    // 递归调用
    recursive(value: count)
    // 解锁
    lock.unlock()
}

DispatchQueue.global().async {
    print("开始")
    recursive(value: count)
    print("结束")
}

objc_sync


let lock: Int = 0
// 加锁
objc_sync_enter(lock) // 很多时候参数为self

// 临界区

// 解锁
objc_sync_exit(lock)

OSSpinLock自旋锁

由于存在因为低优先级争夺资源导致死锁的问题,所以在 iOS 10 之后已废弃,替换它的是 os_unfair_lock。

os_unfair_lock

一种互斥锁,内置于os模块。

var lock = os_unfair_lock()
// 加锁
os_unfair_lock_lock(&lock)

// 临界区

// 解锁
os_unfair_lock_unlock(&lock)

信号量

DispatchSemaphore 是一种基于计数的信号量。它可以设定一个阀值,多个线程竞争获取许可信号,超过阀值后,线程申请许可信号将会被阻塞。主要用于线程之间的数据同步。

DispatchSemaphore

// 创建信号量,初始值为0
let semaphore = DispatchSemaphore(value: 0)

// 线程业务代码
DispatchQueue.global().async {
    // 临界区

    semaphore.signal()
}

semaphore.wait(timeout: .distantFuture)

主线程最先执行到semaphore.wait,此时信号量为 0 且阈值时间为.distantFuture,因此会阻塞当前主线程,直到子线程的代码块执行到signal()语句,将信号量加 1,此时被阻塞的主线程继续执行,从而保证线程之间的同步。

案例

实现:模拟卖票操作,要求不少于 3 个线程同时操作。

// 初始化为100
var number = 100
// 锁
var lock = os_unfair_lock()

// 第一个线程
let thread1 = Thread {
    saleTicket()
}
thread1.name = "thread1"

// 第二个线程
let thread2 = Thread {
    saleTicket()
}
thread2.name = "thread2"

// 第三个线程
let thread3 = Thread {
    saleTicket()
}
thread3.name = "thread3"

// 启动三个线程
thread1.start()
thread2.start()
thread3.start()

// 打印
func saleTicket() {
    while true {
        // 加锁
        os_unfair_lock_lock(&lock)
        
        // 卖完
        guard number > 0 else {
            os_unfair_lock_unlock(&lock)
            print("票已卖完")
            return
        }
        
        // number减1
        number -= 1
        print("\(Thread.current.name ?? "unknown")卖出去一张票,还剩\(number)张")
        
        // 解锁
        os_unfair_lock_unlock(&lock)
    }
}

UI更新问题

import UIKit

// MARK:- Thread模式
func threadMode(){    
    let thread =  Thread {  
        print("\(Thread.current)执行任务")
        // 休眠
        sleep(3)
        // 更新UI
        self.perform(#selector(self.updateUI), on: Thread.main, with: nil, waitUntilDone: false)  
    }
    
    thread.start()    
}

@objc func updateUI() { 
    self.infoLb.text = "Thread方式更新UI"
}



// MARK:- GCD模式
func gcdMode(){    
    DispatchQueue.global().async {  
        print("\(Thread.current)执行任务")
        // 休眠
        sleep(3)
        // 更新UI
        DispatchQueue.main.async {          
            self.infoLb.text = "GCD方式更新UI"
        }  
    }   
}



// MARK:- Operation模式
func operationMode(){    
    OperationQueue().addOperation {   
        print("\(Thread.current)执行任务")
        // 休眠
        sleep(3)
        // 更新UI
        OperationQueue.main.addOperation {          
            self.infoLb.text = "Operation方式更新UI"
        }
    }
}
上一篇 下一篇

猜你喜欢

热点阅读