iOS中的线程死锁实例详解

什么是线程死锁

是指两个或两个以上的线程在执行过程中，因争夺资源而造成的一种互相等待的现象，若无外力作用，它们都将无法推进下去。

线程死锁怎么发生

发生死锁的情况一般是两个对象的锁相互等待造成的。

死锁发生的条件

1、互斥条件：所谓互斥就是进程在某一时间内独占资源。

2、请求与保持条件：一个进程因请求资源而阻塞时，对已获得的资源保持不放。

3、不剥夺条件:进程已获得资源，在末使用完之前，不能强行剥夺。

4、循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系。

死锁通常是一个线程锁定了一个资源A，而又想去锁定资源B；在另一个线程中，锁定了资源B，而又想去锁定资源A以完成自身的操作，两个线程都想得到对方的资源，而不愿释放自己的资源，造成两个线程都在相互等待，造成了无法执行的情况。

线程死锁产生的原因：在一个串行队列的任务中，再向这个队列添加同步任务。

典型例子：

我们分析一下：

主队列main_queue是一个串行队列，串行队列的特点就是队列中所有任务必须顺序执行。也就是说必须按照添加到队列中的先后顺序执行。

我们再看一张图：

我们在代码中使用dispatch_sync()函数给主队列添加了一个同步任务：

- (void)viewDidLoad {
 [super viewDidLoad];
 
 dispatch_sync(dispatch_get_main_queue(), ^{
  NSLog(@"线程死锁");
 });
}

也就是说后添加的同步任务5是在viewDidLoad任务2之后，只有等待任务2执行完之后才能执行任务5，这就是串行队列的特点。但是任务5是一个同步任务，必须等任务5执行完才能执行其它任务，因此造成互相等待的死锁。

再看一个例子

我们知道GCD分为同步任务和异步任务，最开始的例子是主线程的主队列，相当于是一个同步任务。而这个例子证明了，即便是在异步任务只要任务队列是串行队列，在串行队列的任务中再向队列添加同步任务，就会造成死锁，关键点不是同步还是异步，而是串行队列。

总结

dispatch_sync()函数会阻塞线程。当前队列是串行队列，任务必须顺序执行。在串行队列的任务A中给这个队列添加同步任务B，相当于说这个串行队列又多了一个任务B，任务B如果想要执行必须等待任务A执行完，但是任务B是同步任务，必须等任务B执行完才能执行其它任务，所以任务AB互相等待，造成死锁。