नेस्टेड ताले क्यों डेडलॉक का कारण नहीं बनते हैं?

Question

संभव डुप्लिकेट:
Re-entrant locks in C#

क्यों इस कोड को एक गतिरोध का कारण नहीं है?

private static readonly object a = new object(); 

...

lock(a) 
    { 
     lock(a) 
     { 
     .... 
     } 
    } 

Answer 1

यदि कोई थ्रेड पहले से ही लॉक रखता है, तो यह बिना किसी समस्या के "उस लॉक को" ले सकता है।

---

रूप क्यों कि है, (और क्यों यह एक अच्छा विचार है), तो निम्न स्थिति, जहां हम एक परिभाषित ताला एक के कार्यक्रम में कहीं और आदेश देने पर विचार किया है -> ख:

void f() 
{ 
    lock(a) 
    { /* do stuff inside a */ } 
} 

void doStuff() 
{ 
    lock(b) 
    { 
     //do stuff inside b, that involves leaving b in an inconsistent state 
     f(); 
     //do more stuff inside b so that its consistent again 
    } 
} 

ओह, हमने अभी हमारे लॉक ऑर्डरिंग का उल्लंघन किया है और हमारे हाथों पर संभावित डेडलॉक है।

हम वास्तव में निम्न करने के लिए सक्षम होना चाहिए :

function doStuff() 
{ 
    lock(a) 
    lock(b) 
    { 
     //do stuff inside b, that involves leaving b in an inconsistent state 
     f(); 
     //do more stuff inside b so that its consistent again 
    } 
} 

ताकि हमारे ताला आदेश बनाए रखा है, बिना आत्म deadlocking हम पर कब कॉल f()।

Answer 2

lock कीवर्ड, एक फिर से प्रवेशी ताला का उपयोग करता है, जिसका अर्थ है वर्तमान धागा पहले से ही ताला है तो यह यह पुनः प्राप्त करने के लिए प्रयास नहीं करता है।

एक गतिरोध अगर

थ्रेड 1 अर्जित एक
थ्रेड लॉक होता है 2 अर्जित ताला बी
धागा ताला बी (यह के साथ किया जा करने के लिए धागा 2 के लिए प्रतीक्षा करता है) थ्रेड प्राप्त करने के लिए 2 की कोशिश करता प्राप्त करने के लिए 1 की कोशिश करता लॉक ए (इसके साथ थ्रेड 1 के लिए इंतजार कर रहा है)

दोनों धागे अब एक-दूसरे पर इंतजार कर रहे हैं और इस प्रकार मृतक हैं।

Answer 3

सी # भाषा विनिर्देशन का section 8.12 से

:

एक आपसी-बहिष्कार ताला आयोजित किया जाता है, कोड एक ही निष्पादन सूत्र में क्रियान्वित भी प्राप्त करने और अवरोध खोल सकते हैं। हालांकि, धागे में निष्पादन कोड को लॉक जारी होने तक लॉक होने से अवरुद्ध कर दिया गया है।

यह स्पष्ट होना चाहिए कि आंतरिक lock गुंजाइश बाहरी के समान धागे में है।