ObjC 基础语法
多线程

多线程技术

概念理解

进程、线程与队列的关系与区别

进程与线程

  • 进程是系统中正在运行的一个应用程序,每个进程之间是独立的,每个进程均运行在专用且受保护的内存空间内。
  • 线程是进程的基本执行单元,一个进程中的任务都在线程中执行,所以一个进程由至少一个线程组成。

主线程

主线程主要负责显示和刷新UI界面,处理UI事件。

队列的类型

  • 主队列:dispatch_get_main_queue
  • 全局并发队列:dispatch_get_global_queue
  • 自己创建队列:dispatch_queue_create

多线程的 并行 和 并发 有什么区别?

  • 并行:充分利用计算机的多核,在多个线程上同步进行
  • 并发:在一条线程上通过快速切换,让人感觉在同步进行

什么是多线程?

一个线程中的任务是串行的,同一时间内,一个线程只能执行一个任务。一个进程可以开启多条线程,每条线程可以并行执行不同的任务。同一时间,CPU 只能处理一条线程,多线程并发执行是 CPU 快速地在多条线程之间调度。

iOS 中实现多线程的几种方案,各自有什么特点?

iOS 的多线程技术有:pthreadNSThreadGCDNSOperation

  • NSThread 面向对象的,需要程序员手动创建线程,但不需要手动销毁。子线程间通信很难。
  • GCD c语言,充分利用了设备的多核,自动管理线程生命周期。比 NSOperation 效率更高。
  • NSOperation 基于 GCD 封装,更加面向对象,比 GCD 多了一些功能。

GCD 和 NSOperation 区别

  • GCD 是纯 C 语言的 API;NSOperation 是基于 GCD 的 OC 版本封装
  • GCD 只支持 FIFO 的队列;NSOperation 可以很方便地调整执行顺序,设置最大并发数量
  • NSOperationQueue 可以轻松在 operation 间设置依赖关系,而 GCD 需要些很多代码才能实现
  • NSOperationQueue 支持 KVO,可以检测 operation 是否正在执行(isExecuted),是否结束(isFinish),是否取消(isCancel)
  • GCD 的执行速度比 NSOperation 快

GCD 的队列(dispatch_queue_t)分哪两种类型?

  1. 串行队列 Serial Dispatch Queue
  2. 并行队列 Concurrent Dispatch Queue

什么是死锁? 如何避免?

死锁就是队列引起的循环等待:在串行队列 A 中向队列 A 添加一个同步任务,例如主队列同步:

- (void)viewDidLoad {
    [super viewDidLoad];
    dispatch_sync(dispatch_get_main_queue(), ^{ // 👈死锁在这一行
        // NSLog(@"在主队列同步执行");
    });
}

或者在自定义线程中:

// NOT OK
- (void)test1 {
    NSLog(@"在主线程添加一个串行队列queue");
    dispatch_queue_t queue = dispatch_queue_create("test", DISPATCH_QUEUE_SERIAL);
    dispatch_async(queue, ^{
        NSLog(@"在串行队列queue中添加一个同步任务");
        dispatch_sync(queue, ^{ // 👈死锁在这一行
            NSLog(@"OK");
        });
    });
}
 
// 这样就不会死锁了
- (void)test2 {
    NSLog(@"在主线程添加一个串行队列queue");
    dispatch_queue_t queue = dispatch_queue_create("test", DISPATCH_QUEUE_SERIAL);
    dispatch_queue_t queue2 = dispatch_queue_create("test", DISPATCH_QUEUE_SERIAL);
    dispatch_async(queue, ^{
        NSLog(@"在串行队列queue2中添加一个同步任务");
        dispatch_sync(queue2, ^{
            NSLog(@"OK");
        });
    });
}

什么是信号量(dispatch_semaphore)?

就是一种可用来控制访问资源的数量的标识,设定了一个信号量,在线程访问之前,加上信号量的处理,则可告知系统按照我们指定的信号量数量来执行多个线程。

// 这value是初始化多少个信号量
dispatch_semaphore_create(long value);
// 这个方法是P操作对信号量 -1 ,dsema这个参数表示对哪个信号量进行减一,如果该信号量为0则等待,timeout这个参数则是传入等待的时长。
dispatch_semaphore_wait(dispatch_semaphore_t dsema, dispatch_time_t timeout);
// 这个方法是V操作对信号量 +1 ,dsema这个参数表示对哪个信号量进行加一
dispatch_semaphore_signal(dispatch_semaphore_t dsema);

注意,正常的使用顺序是先降低然后再提高,这两个函数通常成对使用。

- (void)getToken {
    // 以上请求的设置忽略
    NSURLSessionDataTask *task = [mySession dataTaskWithRequest:request completionHandler:^(NSData * _Nullable data, NSURLResponse * _Nullable response, NSError * _Nullable error) {
        if (data) {
            NSLog(@"get Token");
            // 拿到token,传给request请求做参数
            [self request:token];
        } else {
            NSLog(@"token error:%@", error.description);
        }
    }];
    [task resume];
}
 
- (void)request:(NSString *)params {
    // 请求的设置忽略
    NSURLSessionDataTask *task = [mySession dataTaskWithRequest:request completionHandler:^(NSData * _Nullable data, NSURLResponse * _Nullable response, NSError * _Nullable error) {
        if (data) {
            NSLog(@"request success");
        } else {
            NSLog(@"request error:%@----", error.description);
        }
    }];
    [task resume];
}
 
// 指定调用
- (IBAction)buttonPress:(UIButton *)sender {
    // 创建一个并行队列
    dispatch_queue_t queque = dispatch_queue_create("GoyakodCreated", DISPATCH_QUEUE_CONCURRENT);
    // 异步执行
    dispatch_async(queque, ^{
        dispatch_semaphore_t semaphore = dispatch_semaphore_create(0);
        [self getToken:semaphore];
        dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
        [self request];
    });
 
    NSLog(@"main thread");
}
 
- (void)getToken:(dispatch_semaphore_t)semaphore {
    // 以上请求的设置忽略
    NSURLSessionDataTask *task = [mySession dataTaskWithRequest:request completionHandler:^(NSData * _Nullable data, NSURLResponse * _Nullable response, NSError * _Nullable error) {
        if (data) {
            NSLog(@"get Token");
           // 成功拿到token,发送信号量:
            dispatch_semaphore_signal(semaphore);
        } else {
            NSLog(@"token error:%@", error.description);
        }
    }];
    [task resume];
}

应用能力

如何实现多个网络请求完成后执行下一步?

GCD 设置栅栏方式

dispatch_queue_t queue = dispatch_queue_create("test", DISPATCH_QUEUE_CONCURRENT);
dispatch_group_t group = dispatch_group_create();
for (int i = 0; i < 10; i++) {
    dispatch_group_async(group, queue, ^{
        sleep(1);
        NSLog(@"网络请求   ---- %d",i);
    });
}
dispatch_barrier_sync(queue, ^{
    NSLog(@"主线程刷新UI");
});

NSOperationQueue 设置栅栏方式

NSOperationQueue *queue = [[NSOperationQueue alloc] init];
for (int i = 0; i < 10; i++) {
    NSOperation *op = [NSBlockOperation blockOperationWithBlock:^{
        sleep(1);
        NSLog(@"网络请求   ---- %d",i);
    }];
    [queue addOperation:op];
}
[queue addBarrierBlock:^{
    NSLog(@"刷新页面");
}];

GCD 线程组方式

dispatch_queue_t queue = dispatch_queue_create("queue", DISPATCH_QUEUE_CONCURRENT);
dispatch_group_t group = dispatch_group_create();
for (int i = 0; i < 10; i++) {
    dispatch_group_async(group, queue, ^{
        NSLog(@"网络请求   ---- %d",i);
    });
}
dispatch_group_notify(group, dispatch_get_main_queue(), ^{
    NSLog(@"刷新页面");
});

NSOperation 设置依赖方式

NSOperationQueue *queue = [[NSOperationQueue alloc] init];
NSOperation *op1 = [NSBlockOperation blockOperationWithBlock:^{
    sleep(1);
    NSLog(@"下载图片1");
}];
NSOperation *op2 = [NSBlockOperation blockOperationWithBlock:^{
    sleep(1);
    NSLog(@"下载图片2");
}];
NSOperation *combine = [NSBlockOperation blockOperationWithBlock:^{
    NSLog(@"合成图片");
}];
[combine addDependency:op1];
[combine addDependency:op2];
 
[queue addOperation:op1];
[queue addOperation:op2];
[queue addOperation:combine];

如何进行线程通信?

NSThread 方式

- (void)performSelectorOnMainThread:(SEL)aSelector withObject:(nullable id)arg waitUntilDone:(BOOL)wait;
- (void)performSelector:(SEL)aSelector onThread:(NSThread *)thr withObject:(nullable id)arg waitUntilDone:(BOOL)wait API_AVAILABLE(macos(10.5), ios(2.0), watchos(2.0), tvos(9.0));
- (void)performSelectorInBackground:(SEL)aSelector withObject:(nullable id)arg API_AVAILABLE(macos(10.5), ios(2.0), watchos(2.0), tvos(9.0));

GCD 方式

dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
    // 在这里执行耗时操作
    dispatch_async(dispatch_get_main_queue(), ^{
         // 回到主线程,执行UI刷新操作
    });
});
// 线程延迟调用 通信
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(5.0 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
    NSLog(@"## 在主线程延迟5秒调用 ##");
});

NSOperationQueue 方式

[[NSOperationQueue new] addOperationWithBlock:^{
    NSLog(@"子线程下载: %@", NSOperationQueue.currentQueue);
    [[NSOperationQueue mainQueue] addOperationWithBlock:^{
        NSLog(@"主线程刷新UI: %@", NSOperationQueue.currentQueue);
    }];
}];

如何控制最大并发数?

NSOperationQueue

NSOperationQueue 提供了 maxConcurrentOperationCount 属性设置最大并发数(该属性需要在任务添加到队列中之前进行设置)其默认值是 -1;如果值设为 0,那么不会执行任何任务;如果值设为 1,那么该队列是串行的;如果大于 1,那么是并行的。

GCD

GCD 可以用信号量来实现最大并发数:

dispatch_queue_t workQueue = dispatch_queue_create("workQueue", DISPATCH_QUEUE_CONCURRENT);
dispatch_queue_t waitQueue = dispatch_queue_create("waitQueue",DISPATCH_QUEUE_SERIAL);
dispatch_semaphore_t semaphore = dispatch_semaphore_create(10);
 
for (NSInteger i = 0; i < 10; i++) {
  dispatch_async(waitQueue, ^{
      dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
      dispatch_async(workQueue, ^{
          NSLog(@"thread-info: %@开始执行任务%d", [NSThread currentThread], (int)i);
          sleep(1);
          NSLog(@"thread-info: %@结束执行任务%d", [NSThread currentThread], (int)i);
          dispatch_semaphore_signal(semaphore);
      });
  });
}

如何处理线程安全(资源竞争)问题?

在 iOS 上进行多线程开发,为了保证线程安全,防止资源竞争,需要给线程加锁,通常用到的线程锁分为7种:信号量、互斥锁、自旋锁、递归锁、条件锁、读写锁、分布式锁。

1. 信号量

dispatch_semaphore 是 GCD 用来同步的一种方式,dispatch_semephore_create 方法用户创建一个 dispatch_semephore_t 类型的信号量,初始的参数必须大于0,该参数用来表示该信号量有多少个信号,简单的说也就是同事允许多少个线程访问。

dispatch_semaphore_wait 方法是等待一个信号量,该方法会判断 signal 的信号值是否大于0,如果大于0则不会阻塞线程,消耗点一个信号值,执行后续任务。如果信号值等于0那么就和 NSCondition 一样,阻塞当前线程进入等待状态,如果等待时间未超过 timeout 并且 dispatch_semaphore_signal 释放了一个信号值,那么就会消耗掉一个信号值并且向下执行。如果期间一直不能获得信号量并且超过超时时间,那么就会自动执行后续语句。

- (void)semaphoreSync {
    NSLog(@"semaphore---begin");
    dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);
    // 创建初始信号量为0,阻塞所有线程
    dispatch_semaphore_t semaphore = dispatch_semaphore_create(0);
    __block int number = 0;
    dispatch_async(queue, ^{
        // 追加任务A
        [NSThread sleepForTimeInterval:2];              // 模拟耗时操作
        NSLog(@"1---%@",[NSThread currentThread]);      // 打印当前线程
        number = 100;
        // 执行完线程,信号量加 1,信号总量从 0 变为 1
        dispatch_semaphore_signal(semaphore);
    });
    // 原任务B
    // 若计数为0则一直等待,直到接到总信号量变为 >0 ,继续执行后续代码
    dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
    NSLog(@"semaphore---end,number = %d",number);
}

2. 互斥锁

互斥锁的实现原理与信号量非常相似,不是使用忙等,而是阻塞线程并睡眠,需要进行上下文切换。当一个线程获得这个锁之后,其他想要获得此锁的线程将会被阻塞,直到该锁被释放。当临界区加上互斥锁以后,其他的调用方不能获得锁,只有当互斥锁的持有方释放锁之后其他调用方才能获得锁。调用方在获得锁的时候发现互斥锁已经被其他方持有,那么该调用方只能进入睡眠状态,这样不会占用 CPU 资源。但是会有时间的消耗,系统的运行时基于 CPU 时间调度的,每次线程可能有 100ms 的运行时间,频繁的 CPU 切换也会消耗一定的时间。

NSLock

NSLock 遵循 NSLocking 协议,同时也是互斥锁,提供了 lockunlock 方法来进行加锁和解锁。NSLock 内部是封装了 pthread_mutext,类型是 PTHREAD_MUTEXT_ERRORCHECK,它会损失一定的性能换来错误提示。

@synchronized

这其实是一个 OC 层面的锁,防止不同的线程同时执行同一段代码,相比于使用 NSLock 创建锁对象、加锁和解锁来说,@synchronized 用着更方便,可读性更高。 大体上,想要明白 @synchronized,需要知道在 @synchronized 中 objc_sync_enterobjc_sync_exit 的成对调用,而且每个传入的对象,都会为其分配一个递归锁并存储在哈希表中。在 objc_sync_enter 中加锁,在 objc_sync_exit 中解锁。

@synchronized(self) {  
    // 数据操作  
}

os_unfair_lock

os_unfair_lock 是苹果官方推荐的替换自旋锁 OSSpinLock 的方案,用于解决 OSSpinLock 优先级反转问题,但是它在 iOS10.0 以上的系统才可以调用。

3. 自旋锁

自旋锁的目的是为了确保临界区只有一个线程可以访问。当一个线程获得锁之后,其他线程将会一直循环在哪里查看是否该锁被释放,是用于多线程同步的一种锁,线程反复检查锁变量是否可用。由于线程在这一过程中保持执行,因此是一种忙等待。一旦获取了自旋锁,线程会一直保持该锁,直至显式释放自旋锁。自旋锁避免了进程上下文的调度开销,因此对于线程只会阻塞很短时间的场合是有效的。由于调用方会一直循环看该自旋锁的的保持者是否已经释放了资源,所以总的效率来说比互斥锁高。但是自旋锁只用于短时间的资源访问,如果不能短时间内获得锁,就会一直占用着CPU,造成效率低下。

OSSpinLock

自旋锁的一种,由于在某些场景下不安全已被弃用。(使用互斥锁 os_unfair_lock 来代替)

4. 递归锁

需要使用递归锁的情况:

NSLock *lock = [[NSLock alloc] init];
dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
    static void (^RecursiveLock)(int);
    RecursiveLock = ^(int value) {
        [lock lock];
        if (value > 0) {
            NSLog(@"value = %d", value);
            sleep(2);
            RecursiveLock(value - 1);
        }
        [lock unlock];
    };
    RecursiveLock(5);
});

递归锁也是通过 pthread_mutex_lock 函数来实现,在函数内部会判断锁的类型,如果显示是递归锁,就允许递归调用,仅仅将一个计数器加一,锁的释放过程也是同理。一个锁可以被同一线程多次请求,而不会引起死锁。这主要是用在循环或递归操作中。

NSRecursiveLock

NSRecursiveLock 与 NSLock 的区别在于内部封装的 pthread_mutex_t 对象的类型不同,前者的类型为 PTHREAD_MUTEX_RECURSIVE

NSRecursiveLock *lock = [[NSRecursiveLock alloc] init]; // 创建递归锁
[lock lockBeforeDate:date]; // 在给定的时间之前去尝试请求一个锁
[lock tryLock]; // 尝试去请求一个锁,并会立即返回一个布尔值,表示尝试是否成功

5. 条件锁

NSCondition

封装了一个互斥锁和信号量,它把前者的 lock 以及后者的 wait/signal 统一到 NSCondition 对象中,是基于条件变量pthread_cond_t来实现的,和信号量相似,如果当前线程不满足条件,那么就会进入睡眠状态,等待其他线程释放锁或者释放信号之后,就会唤醒线程。 NSCondition 的对象实际上作为一个锁和一个线程检查器:锁主要为了当检测条件时保护数据源,执行条件引发的任务;线程检查器主要是根据条件决定是否继续运行线程,即线程是否被阻塞。

  • NSCondition 同样实现了 NSLocking 协议,所以它和 NSLock 一样,也有 NSLocking 协议的 lock 和 unlock 方法,可以当做 NSLock 来使用解决线程同步问题,用法完全一样。
  • NSCondition 提供了 wait 和 signal,和条件信号量类似。比如我们要监听 array 数组的个数,当 array 的个数大于0的时候就执行清空操作。思路是这样的,当 array 个数大于0时执行清空操作,否则,wait 等待执行清空操作。当 array 个数增加的时候发生 signal 信号,让等待的线程唤醒继续执行。
  • NSCondition 可以给每个线程分别加锁,加锁后不影响其他线程进入临界区。但是正是因为这种分别加锁的方式,NSCondition 使用 wait 并使用加锁后并不能真正的解决资源的竞争。

NSCoditionLock

NSConditionLock 也可以像 NSCondition 一样做多线程之间的任务等待调用,而且是线程安全的。 NSConditionLock 同样实现了 NSLocking 协议,性能比较低。

6. 读写锁

读写锁,在对文件进行操作的时候,写操作是排他的,一旦有多个线程对同一个文件进行写操作,后果不可估量,但读是可以的,多个线程读取时没有问题的。

pthread_rwlock

读写锁可以有三种状态:

  • 读模式下加锁状态,
  • 写模式下加锁状态,
  • 不加锁状态。

一次只有一个线程可以占有写模式的读写锁,但是多个线程可用同时占有读模式的读写锁。读写锁也叫做共享-独占锁,当读写锁以读模式锁住时,它是以共享模式锁住的,当它以写模式锁住时,它是以独占模式锁住的。因此:

  • 当读写锁被一个线程以读模式占用的时候,写操作的其他线程会被阻塞,读操作的其他线程还可以继续进行。
  • 当读写锁被一个线程以写模式占用的时候,写操作的其他线程会被阻塞,读操作的其他线程也被阻塞。

7. 分布式锁

NSDistributedLock 分布锁,文件方式实现,可以跨进程 用 tryLock 方法获取锁。 用 unlock 方法释放锁。如果一个获取锁的进行在释放锁之前挂了,那么锁就一直得不到释放了,此时可以通过 breakLock 强行获取锁。

注:这种锁在 iOS 上基本用不到,不过多探究。

底层原理

GCD 执行原理?

GCD 有一个底层线程池,这个池中存放的是一个个的线程。之所以称为“池”,很容易理解出这个“池”中的线程是可以重用的,当一段时间后这个线程没有被调用,这个线程就会被销毁。注意:开多少条线程是由底层线程池决定的(线程建议控制再3~5条),池是系统自动来维护,不需要我们程序员来维护,我们只关心的是向队列中添加任务,队列调度即可。

如果队列中存放的是同步任务,则任务出队后,底层线程池中会提供一条线程供这个任务执行,任务执行完毕后这条线程再回到线程池。这样队列中的任务反复调度,因为是同步的,所以当我们用 currentThread 打印的时候,就是同一条线程。

如果队列中存放的是异步的任务,(注意异步可以开线程),当任务出队后,底层线程池会提供一个线程供任务执行,因为是异步执行,队列中的任务不需等待当前任务执行完毕就可以调度下一个任务,这时底层线程池中会再次提供一个线程供第二个任务执行,执行完毕后再回到底层线程池中。

这样就对线程完成一个复用,而不需要每一个任务执行都开启新的线程,也就从而节约的系统的开销,提高了效率。


参考资料