dispatch_async VS dispatch_sync執行順序

Question

我有一個創建一個串行調度隊列：

dispatch_queue_t serialQueue = dispatch_queue_create("com.unique.name.queue", DISPATCH_QUEUE_SERIAL); 

我想用這個序列排隊，以確保訪問類線程安全的，同時自動做異步工作並不需要返回到調用線程。

- (void)addObjectToQueue:(id)object 
{ 
    dispatch_async(serialQueue, ^{ 
     // process object and add to queue 
    }); 
} 

- (BOOL)isObjectInQueue:(id)object 
{ 
    __block BOOL returnValue = NO; 
    dispatch_sync(serialQueue, ^{ 
     // work out return value 
    }); 
    return returnValue; 
} 

如果我稱之爲addObjectToQueue：方法，然後立即撥打isObjectInQueue：方法，是他們保證以相同的順序執行，否則會/可以在isObjectInQueue執行第一？

換句話說，dispatch_async與dispatch_sync（立即調度塊）的執行方式是否完全相同，只是它不會阻塞調用線程？

我已經看到類似的問題，兩種方式的答案，所以我正在尋找一個明確的答案，最好支持Apple文檔。

Answer 1

它們是否保證以相同的順序執行？

是的。

請問/可以先執行isObjectInQueue嗎？

是的。

兩個答案都是的原因是你應該考慮線程。這可能是你爲什麼首先使用串行隊列的原因。您正在安全地訪問該隊列。

基本上，塊將按照它們放置在串行隊列中的順序執行。這是100％保證。但是，如果多個線程在這個問題上進行攻擊，那麼在另一個線程有機會添加它之前，一個線程可能會首先從隊列中讀取某些內容。

換句話說，dispatch_async與dispatch_sync（立即調度塊）執行完全相同，只是它不會阻塞調用線程？

沒錯。在這兩種情況下，塊都被添加到隊列中。它會立即添加。 dispatch_sync只等待塊返回前完成，而dispatch_async立即返回。

Answer 2

我想你的問題是，主線程會繼續運行，而dispatch_async仍在執行隊列操作？我認爲它不會，因爲這值得明確提及。如果有什麼事情，我發現這dispatch_async.3這表明這樣的話：

概念，dispatch_sync（）是一個方便的包裝圍繞 dispatch_async（），增加了一個信號量的等待 完成塊，並在該塊周圍封裝以表示其完成。

事實上，如果你遵循的源代碼dispatch_async in queue.c你會看到該塊排隊的前景，只有在此之後，執行返回到調用dispatch_async的代碼。因此，如果隊列是串行的，則來自相同線程的dispatch_async後跟dispatch_sync將按順序排列這些塊。

由於dispatch_sync將阻塞，直到塊（以及串行隊列中之前的所有塊）完成執行，那麼您的代碼將是正確的。如果之前添加的對象在隊列中，則isObjectInQueue:將正確報告。

編輯：在多線程環境中我會寫上面的代碼：

- (void)addObjectToQueue:(id)object 
{ 
    dispatch_barrier_async(_queue, ^{ 
     // process object and add to queue 
    }); 
} 

- (BOOL)isObjectInQueue:(id)object 
{ 
    __block BOOL returnValue = NO; 
    dispatch_sync(_queue, ^{ 
     // work out return value 
    }); 
    return returnValue; 
} 

，因爲每個方法的執行可以在有利於另一個線程的任何一點被推遲。