以下三種方法通過線程的依賴關系實現線程同步:
1.組隊列(dispatch_group_t)
2.阻塞任務(dispatch_barrier_(a)sync)
3.信號量機制(dispatch_semaphore)
1.組隊列(dispatch_group_t)：
舉一個例子：用戶下載一個圖片，圖片很大，需要分成很多份進行下載，使用GCD應該如何實現？使用什么隊列？
使用Dispatch Group追加block到Global Group Queue，這些block如果全部執行完畢，就會執行通過dispatch_group_notify添加到主隊列中的block，進行圖片的合并處理。
?dispatch_group_t group = dispatch_group_create();
??? dispatch_group_async(group, dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
??????? //請求1
??????? [self request_A];
??? });
??? dispatch_group_async(group, dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
??????? //請求2
??????? [self request_B];
??? });
??? dispatch_group_async(group, dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
??????? //請求3
???????? [self request_C];
??? });
??? dispatch_group_notify(group, dispatch_get_main_queue(), ^{
??????? //界面刷新
??????? NSLog(@"任務均完成，刷新界面");
??? });
2.阻塞任務（dispatch_barrier）：
通過dispatch_barrier_async添加的操作會暫時阻塞當前隊列，即等待前面的并發操作都完成后執行該阻塞操作，待其完成后后面的并發操作才可繼續。可以將其比喻為一根霸道的獨木橋，是并發隊列中的一個并發障礙點，或者說中間瓶頸，臨時阻塞并獨占。注意dispatch_barrier_async只有在并發隊列中才能起作用，在串行隊列中隊列本身就是獨木橋，將失去其意義。
可見使用dispatch_barrier_async可以實現類似dispatch_group_t組調度的效果,同時主要的作用是避免數據競爭，高效訪問數據。
/* 創建并發隊列 */
dispatch_queue_t concurrentQueue=dispatch_queue_create("test.concurrent.queue",DISPATCH_QUEUE_CONCURRENT);
/* 添加兩個并發操作A和B，即A和B會并發執行 */
dispatch_async(concurrentQueue,^({NSLog(@"OperationA");});
dispatch_async(concurrentQueue,^(){NSLog(@"OperationB");});
/* 添加barrier障礙操作，會等待前面的并發操作結束，并暫時阻塞后面的并發操作直到完成*/
dispatch_barrier_async(concurrentQueue,^(){NSLog(@"OperationBarrier!");});
/* 繼續添加并發操作C和D，要等待barrier障礙操作結束才能開始*/
dispatch_async(concurrentQueue,^({NSLog(@"OperationC");});
dispatch_async(concurrentQueue,^(){NSLog(@"OperationD");});
執行結果如下：
2017-04-04 12:25:02.344 SingleView[12818:3694480] OperationB
2017-04-04 12:25:02.344 SingleView[12818:3694482] OperationA
2017-04-04 12:25:02.345 SingleView[12818:3694482] OperationBarrier!
2017-04-04 12:25:02.345 SingleView[12818:3694482] OperationD
2017-04-04 12:25:02.345 SingleView[12818:3694480] OperationC
3.信號量機制(dispatch_semaphore)：
信號量機制主要是通過設置有限的資源數量來控制線程的最大并發數量以及阻塞線程實現線程同步等。
GCD中使用信號量需要用到三個函數：
dispatch_semaphore_create用來創建一個semaphore信號量并設置初始信號量的值；
dispatch_semaphore_signal發送一個信號讓信號量增加1（對應PV操作的V操作）；
dispatch_semaphore_wait等待信號使信號量減1（對應PV操作的P操作）；
那么如何通過信號量來實現線程同步呢？下面介紹使用GCD信號量來實現任務間的依賴和最大并發任務數量的控制。
使用信號量實現任務2依賴于任務1，即任務2要等待任務1結束才開始執行:
方法很簡單，創建信號量并初始化為0，讓任務2執行前等待信號，實現對任務2的阻塞。然后在任務1完成后再發送信號，從而任務2獲得信號開始執行。需要注意的是這里任務1和2都是異步提交的，如果沒有信號量的阻塞，任務2是不會等待任務1的,實際上這里使用信號量實現了兩個任務的同步。
通過打印的時間可以看到任務2是在任務1結束后緊接著執行的：
通過信號量控制最大并發數量：
通過信號量控制最大并發數量的方法為：創建信號量并初始化信號量為想要控制的最大并發數量，例如想要保證最大并發數為5，則信號量初始化為5。然后在每個新任務執行前進行P操作，等待信號使信號量減1；每個任務結束后進行V操作，發送信號使信號量加1。這樣即可保證信號量始終在5以內，當前最多也只有5個以內的任務在并發執行。
打印結果為每次開啟五個并發任務：
