dispatch_async बनाम dispatch_sync निष्पादन आदेश

Question

मैं के साथ बनाई गई एक सीरियल प्रेषण कतार है कॉलिंग थ्रेड पर लौटें।

- (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 (तुरंत ब्लॉक को शेड्यूल करना) के समान ही करता है सिवाय इसके कि यह कॉलिंग थ्रेड को अवरुद्ध नहीं करता है?

मैंने दोनों तरीकों से उत्तर के साथ समान प्रश्न देखे हैं, इसलिए मैं एक निश्चित उत्तर की तलाश में हूं, जिसे ऐप्पल दस्तावेज के साथ अधिमानतः समर्थित किया गया है।

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; 
} 

क्योंकि प्रत्येक विधि के निष्पादन के एक और धागा के पक्ष में किसी भी बिंदु पर आस्थगित जा सकता है।