GCD 死锁原因

死锁

1、定义：

所谓死锁，通常指有两个线程T1和T2都卡住了，并等待对方完成某些操作。T1不能完成是因为它在等待T2完成。但T2也不能完成，因为它在等待T1完成。于是大家都完不成，就导致了死锁（DeadLock）。

2、产生死锁的条件：

产生死锁的四个必要条件：
（1） 互斥条件：一个资源每次只能被一个进程使用。
（2） 请求与保持条件：一个进程因请求资源而阻塞时，对已获得的资源保持不放。
（3） 不剥夺条件:进程已获得的资源，在末使用完之前，不能强行剥夺。
（4） 循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系。
这四个条件是死锁的必要条件，只要系统发生死锁，这些条件必然成立，而只要上述条件之一不满足，就不会发生死锁 。

基本概念

1、同步&异步

1.1、同步

同步执行：比如这里的dispatch_sync，这个函数会把一个block加入到
指定的队列中，而且会一直等到执行完blcok，这个函数才返回。因此在
block执行完之前，调用dispatch_sync方法的线程是阻塞的。
复制代码

1.2、异步

异步执行：一般使用dispatch_async，这个函数也会把一个block加入到
指定的队列中，但是和同步执行不同的是，这个函数把block加入队列后
不等block的执行就立刻返回了。
复制代码

1.3、关于这GCD两个函数的强调：

dispatch_async 和 dispatch_sync 他们的作用是将 任务（block）添加进指定的队列中。并根据是否为sync决定调用该函数的线程是否需要阻塞。
注意：这里调用该函数的线程并不执行 参数中指定的任务（block块），任务的执行者是GCD分配给任务所在队列的线程。
结论：调用dispatch_sync和dispatch_async的线程，并不一定是任务（block块）的执行者。
复制代码

2、串行&并发（队列）

2.1、串行队列

串行队列：比如这里的dispatch_get_main_queue。这个队列中所有任务，一定按照FIFO(先来后到的顺序)执行。
不仅如此，还可以保证在执行某个任务时，在它前面进入队列的所有任务肯定执行完了。
对于每一个不同的串行队列，系统会为这个队列建立唯一的线程来执行代码。
复制代码

2.2、并发队列

比如使用dispatch_get_global_queue。这个队列中的任务也是按照FIFO(先来后到的顺序)开始执行，注意是开始，但是它们的执行结束时间是不确定的，取决于每个任务的耗时。
并发队列中的任务：GCD会动态分配多条线程来执行。具体几条线程取决于当前内存使用状况，线程池中线程数等因素。
复制代码

GCD API很多，这里仅介绍本文用到的。

1. 系统标准提供的两个队列

// 全局队列，也是一个并行队列
dispatch_get_global_queue 
// 主队列，在主线程中运行，因为主线程只有一个，所以这是一个串行队列
dispatch_get_main_queue 
复制代码

2. 除此之外，还可以自己生成队列

// 从DISPATCH_QUEUE_SERIAL看出，这是串行队列
dispatch_queue_create("com.demo.serialQueue", DISPATCH_QUEUE_SERIAL) 
// 同理，这是一个并行队列
dispatch_queue_create("com.demo.concurrentQueue", DISPATCH_QUEUE_CONCURRENT) 
复制代码

接下来是同步与异步线程的创建：

dispatch_sync(..., ^(block)) // 同步线程
dispatch_async(..., ^(block)) // 异步线程
复制代码