dispatch_sync 函數(shù)同步任務(wù)處理函數(shù)栖袋，這里我將根據(jù)幾種常見(jiàn)的情況來(lái)分析這個(gè)函數(shù)的運(yùn)作機(jī)制，這幾種情況分別是：
1.在主線(xiàn)程中將同步任務(wù)壓進(jìn)主隊(duì)列中(死鎖):
dispatch_sync 在 libdispatch 是 封裝成 dispatch_sync_f 的：
里面有個(gè) slowpatch(x) 和 fastpatch(x) 的宏定義抚太，其實(shí)這兩個(gè)宏定義完全沒(méi)什么作用塘幅，就是返回 X 。
現(xiàn)在分析一下尿贫，在主線(xiàn)程中將同步任務(wù)壓進(jìn)主隊(duì)列會(huì)發(fā)生什么电媳，首先主隊(duì)列的寬度是1的，所以它會(huì)進(jìn)入 dispatch_barrier_sync_f 函數(shù)中:
在 if 里面庆亡，它會(huì)判斷進(jìn)入的隊(duì)列是否有其他任務(wù)匾乓，是否被掛起，是否能加鎖又谋，很明顯拼缝，主隊(duì)列中還有其他任務(wù)(我們現(xiàn)在執(zhí)行的函數(shù)就是主隊(duì)列的任務(wù))，則會(huì)進(jìn)入 _dispath_barrier_sync_f_slow 函數(shù)中:
簡(jiǎn)單說(shuō)一下這個(gè)函數(shù)里面的內(nèi)容彰亥，這個(gè)函數(shù)就是封裝了一個(gè)信號(hào)量珍促，然后將信號(hào)量壓進(jìn)隊(duì)列中，然后在這個(gè)函數(shù)中等待那個(gè)信號(hào)量剩愧，如果主隊(duì)列中會(huì)出現(xiàn)什么情況猪叙？信號(hào)量被壓進(jìn)主隊(duì)列中，然后信號(hào)量的上一個(gè)任務(wù)剛好是這個(gè)函數(shù)仁卷，永遠(yuǎn)都執(zhí)行不到信號(hào)量的函數(shù)穴翩，然后死鎖就愉快的發(fā)生了。
2.向一個(gè)串行隊(duì)列中壓進(jìn)一個(gè)同步任務(wù):
在上面的分析锦积，會(huì)跑到 dispatch_barrier_sync_f 芒帕，因?yàn)檫@個(gè)串行隊(duì)列是剛創(chuàng)建的，里面不可能有其他任務(wù)丰介，所以這個(gè)任務(wù)會(huì)直接執(zhí)行背蟆。
3.向一個(gè)并發(fā)隊(duì)列中壓進(jìn)一個(gè)同步任務(wù)：
并發(fā)隊(duì)列寬度大于1，在 dispatch_sync_f 函數(shù)中哮幢，會(huì)跳過(guò) _dispath_barrier_sync_f_slow 函數(shù)带膀，然后判斷這個(gè)并發(fā)隊(duì)列中是否存在其他任。
(1).如果不存在其他任務(wù)橙垢，會(huì)判斷這個(gè)任務(wù)是用戶(hù)自創(chuàng)建的隊(duì)列還是全局隊(duì)列垛叨，如果是用戶(hù)自己創(chuàng)建的隊(duì)列，直接執(zhí)行任務(wù)柜某，如果是全局隊(duì)列嗽元，則喚醒這個(gè)隊(duì)列敛纲，進(jìn)入 _dispatch_sync_f_slow 函數(shù)，這里簡(jiǎn)單說(shuō)一下這個(gè)函數(shù)剂癌，這個(gè)函數(shù)是會(huì)將信號(hào)量壓進(jìn)它的形參隊(duì)列中淤翔，然后等待這個(gè)信號(hào)量，所以如果這是個(gè)全局隊(duì)列佩谷，則很快等待這個(gè)信號(hào)量(在其他線(xiàn)程會(huì)釋放這個(gè)信號(hào)量办铡，表明這個(gè)全局隊(duì)列的線(xiàn)程開(kāi)啟成功)，然后直接執(zhí)行任務(wù)琳要；
(2).如果隊(duì)列中存在其他任務(wù)寡具，則直接進(jìn)入 _dispatch_sync_f_slow 函數(shù)，等待這個(gè)隊(duì)列中的其他任務(wù)完成(信號(hào)量的方式)稚补，然后執(zhí)行這個(gè)任務(wù)童叠。
我們從上可以看出，我們執(zhí)行同步任務(wù)的時(shí)候课幕，從來(lái)都沒(méi)有壓進(jìn)隊(duì)列中厦坛，不需要經(jīng)過(guò)其他方式的調(diào)度，直接在 dispatch_sync_f 函數(shù)中運(yùn)行任務(wù)的乍惊。
