-
产生死锁的四个必要条件
互斥条件：进程对所分配到的资源不允许其他进程进行访问，若其他进程访问该资源，只能等待，直至占有该资源的进程使用完成后释放该资源
请求和保持条件：进程获得一定的资源之后，又对其他资源发出请求，但是该资源可能被其他进程占有，此时请求阻塞，但又对自己获得的资源保持不放
不可剥夺条件：是指进程已获得的资源，在未完成使用之前，不可被剥夺，只能在使用完后自己释放
环路等待条件：是指进程发生死锁后，必然存在一个进程--资源之间的环形链
-
GCD线程死锁产生的具体原因：在一个串行队列的任务中，再向这个队列同步添加任务。
典型例子：
image.png
我们分析一下：
image.png
主队列main_queue是一个串行队列，串行队列的特点就是队列中所有任务必须顺序执行。也就是说必须按照添加到队列中的先后顺序执行。
我们再看一张图：
image.png
我们在代码中使用
dispatch_sync()函数给主队列添加了一个同步任务：
- (void)viewDidLoad {
[super viewDidLoad];
dispatch_sync(dispatch_get_main_queue(), ^{
NSLog(@"线程死锁");
});
}
也就是说后添加的同步任务5是在
viewDidLoad任务2之后，只有等待任务2执行完之后才能执行任务5，这就是串行队列的特点。但是任务5是一个同步任务，必须等任务5执行完才能执行其它任务，因此造成互相等待的死锁。
再看一个例子
image.png
我们知道GCD分为同步任务和异步任务，最开始的例子是主线程的主队列，相当于是一个同步任务。而这个例子证明了，即便是在异步任务只要任务队列是串行队列，在串行队列的任务中再向队列添加同步任务，就会造成死锁，关键点不是同步还是异步，而是串行队列。
总结
dispatch_sync()函数会阻塞线程。当前队列是串行队列，任务必须顺序执行。在串行队列的任务A中给这个队列添加同步任务B，相当于说这个串行队列又多了一个任务B，任务B如果想要执行必须等待任务A执行完，但是任务B是同步任务，必须等任务B执行完才能执行其它任务，所以任务AB互相等待，造成死锁。
