iOS：底层原理之多线程相关

GCD常用函数

GCD 中有2个用来执行任务的函数

• 用同步的方式执行任务
  • dispatch_sync(dispatch_queue_t queue, dispatch_block_t block);
  • queue：队列
  • block：任务
• 用异步的方式执行任务
  • dispatch_async(dispatch_queue_t queue, dispatch_block_t block);

GCD源码： https://github.com/apple/swift-corelibs-libdispatch

GCD的队列

GCD 的队列可以分为 2大类型

• 并发队列（Concurrent Dispatch Queue） 可以让多个任务并发（同时）执行（自动开启多个线程同时执行任务） 并发功能只有在异步（dispatch_async）函数下才有效
• 串行队列（Serial Dispatch Queue） 让任务一个接着一个地执行（一个任务执行完毕后，再执行下一个任务）

容易混淆的术语

有4个术语比较容易混淆：同步、异步、并发、串行

同步和异步主要影响：能不能开启新的线程

• 同步： 在当前线程中执行任务，不具备开启新线程的能力
• 异步： 在新的线程中执行任务，具备开启新线程的能力

并发和串行主要影响：任务的执行方式

• 并发： 多个任务并发（同时）执行
• 串行： 一个任务执行完毕后，再执行下一个任务

各种队列的执行效果

使用 sync 函数往当前的串行队列中添加任务，会卡住当前的串行队列（产生死锁）。

GCD队列组的使用

稍后补充 dispatch_group_enter 和 dispatch_group_leave 的实现方式。

多线程的安全隐患

资源共享

1块资源可能会被多个线程共享，也就是多个线程可能会访问同一块资源 。
比如多个线程访问同一个对象、同一个变量、同一个文件 。
当多个线程访问同一块资源时，很容易引发数据错乱和数据安全问题。

多线程安全隐患的解决方案

iOS中的线程同步方案 线程安全.线程锁

解决方案: 使用线程同步技术(同步,就是协同步调,按预定的先后次序进行) 常见线程同步技术: 加锁

* OSSpinLock 		// 自旋锁，在 iOS10.0后被废弃
* os_unfair_lock 	// 互斥锁，在 iOS10.0后替换 OSSpinLock
* pthread_mutex 	// 互斥锁
*  dispatch_semaphore 	// 信号量
* dispatch_queue(DISPATCH_QUEUE_SERIAL) 
* NSLock 
* NSRecursiveLock 	// 递归锁
* NSCondition 		// 锁条件
* NSConditionLock 	// 条件锁
* @synchronized 	// 同类锁

自旋锁和互斥锁

自旋锁：类似一个 while 循环
互斥锁：调用系统级休眠（汇编：sycall）

OSSpinLock (自旋锁) 不安全

优先级翻转问题？
当低优先级的线程先进行加锁，未被释放时高优先级的线程需要加锁，只能等待，会一直占用着CPU资源。

OSUnfairLock (互斥锁) 运行效率最高：fair(公平)

pthread_mutex

mutex 互斥锁,等待锁的线程会处于休眠状态。

右边宏（MutexAttr Type）：

• PTHREAD_MUTEX_NORMAL
  • NORMAL Type，常用类型
• PTHREAD_MUTEX_ERRORCHECK
  • 错误检查类型
• PTHREAD_MUTEX_RECURSIVE
  • 递归类型
• PTHREAD_MUTEX_DEFAULT
  • 与第一个 PTHREAD_MUTEX_NORMAL 相同

NSLock、NSRecursiveLock

NSCondition

broadcast 广播

dispatch_queue (SerialQueue)

使用 GCD 串行队列，实现同步。

dispatch_semaphore (信号量) 可以用于控制最大并发数量

semaphore 叫做”信号量” 信号量的初始值，可以用来控制线程并发访问的最大数量
信号量的初始值为1，代表同时只允许1条线程访问资源，保证线程同步

@synchronized (互斥锁)

@synchronized是对mutex递归锁的封装
源码查看：objc4中的objc-sync.mm文件
@synchronized(obj)内部会生成obj对应的递归锁，然后进行加锁、解锁操作

iOS线程同步方案性能比较

自旋锁、互斥锁比较

什么情况使用自旋锁比较划算？

• 预计线程等待锁的时间很短
• 加锁的代码（临界区）
• 经常被调用，但竞争情况很少发生
• CPU资源不紧张
• 多核处理器

什么情况使用互斥锁比较划算？

• 预计线程等待锁的时间较长
• 单核处理器
• 临界区有 IO 操作
• 临界区代码复杂或者循环量大
• 临界区竞争非常激烈

Atomic 和 Noatomic

atomic 用于保证属性 setter、getter 的原子性操作，相当于在 getter 和 setter 内部加了线程同步的锁
可以参考源码 objc4 的 objc-accessors.mm
它并不能保证使用属性的过程是线程安全的

多线程 读写线程安全方案

思考如何实现以下场景
同一时间，只能有 1 个线程进行写的操作。
同一时间，允许有多个线程进行读的操作 。
同一时间，不允许既有写的操作，又有读的操作 。

上面的场景就是典型的“多读单写”，经常用于文件等数据的读写操作，iOS中的实现方案有

• pthread_wdlock：读写锁
• dispatch_barrier_async：异步栅栏调用（barrier：栅栏）
  • 读 读 读 读 | 写 | 读 读 | 写 | 读 读 读 |
  • 独立存在的，有栅栏隔开。

pthread_rwlock

dispatch_barrier_async