रीएंट्रेंट म्यूटेक्स

कंप्यूटर विज्ञान में, पुनः प्रवेशी म्यूटेक्स (रिकर्सिव म्यूटेक्स, रिकर्सिव लॉक) एक विशेष प्रकार का पारस्परिक बहिष्करण (म्यूटेक्स) उपकरण है जिसे बिना गतिरोध पैदा किए बिना एक ही प्रक्रिया/थ्रेड द्वारा कई बार लॉक किया जा सकता है ।

जबकि एक सामान्य म्यूटेक्स (लॉक) पर लॉक ऑपरेशन करने का कोई भी प्रयास या तो विफल हो जाएगा या जब म्यूटेक्स पहले से ही लॉक हो जाएगा, तो एक पुनरावर्ती म्यूटेक्स पर यह ऑपरेशन तभी सफल होगा जब लॉकिंग थ्रेड वह है जो पहले से ही लॉक रखता है। . आमतौर पर, एक पुनरावर्ती म्यूटेक्स इसे लॉक किए जाने की संख्या को ट्रैक करता है, और अन्य थ्रेड्स को लॉक करने से पहले समान रूप से कई अनलॉक ऑपरेशन करने की आवश्यकता होती है।

प्रेरणा

पुनरावर्ती म्युटेक्स रीएंट्रेंसी (कंप्यूटिंग) की समस्या को हल करते हैं | नियमित म्यूटेक्स के साथ गैर-पुनः प्रवेश: यदि कोई फ़ंक्शन जो लॉक लेता है और कॉलबैक निष्पादित करता है, कॉलबैक द्वारा ही कॉल किया जाता है, डेडलॉक लागू होता है। स्यूडोकोड में, वह निम्न स्थिति है:

var m : Mutex  // A non-recursive mutex, initially unlocked.

function lock_and_call(i : Integer)
    m.lock()
    callback(i)
    m.unlock()

function callback(i : Integer)
    if i > 0
        lock_and_call(i - 1)

lock_and_call(1)  // Invoking the function

इन परिभाषाओं को देखते हुए, फ़ंक्शन कॉल लॉक_एंड_कॉल(1) घटनाओं के निम्नलिखित अनुक्रम का कारण होगा:

• एम.लॉक () — म्युटेक्स लॉक
• कॉलबैक (1)
• लॉक_एंड_कॉल (0) - क्योंकि i > 0
• एम.लॉक () — गतिरोध, क्योंकि m पहले से ही लॉक है, इसलिए निष्पादन थ्रेड अवरुद्ध हो जाएगा, स्वयं के लिए प्रतीक्षा कर रहा है।

म्यूटेक्स को एक पुनरावर्ती के साथ बदलने से समस्या हल हो जाती है, क्योंकि final एम.लॉक () बिना ब्लॉक किए सफल हो जाएगा।

व्यावहारिक उपयोग

डब्ल्यू. रिचर्ड स्टीवंस नोट करते हैं कि पुनरावर्ती ताले सही ढंग से उपयोग करने के लिए मुश्किल हैं, और अप्लिकेशन प्रोग्रामिंग अंतरफलक को बदले बिना एकल-थ्रेडेड कोड को अपनाने के लिए उनके उपयोग की अनुशंसा करते हैं, लेकिन केवल तभी जब कोई अन्य समाधान संभव न हो।

जावा (प्रोग्रामिंग भाषा) भाषा का देशी तुल्यकालन तंत्र, मॉनिटर (सिंक्रनाइज़ेशन), रिकर्सिव लॉक्स का उपयोग करता है। वाक्य रचना रूप से, लॉक 'सिंक्रोनाइज़्ड' कीवर्ड के साथ कोड का एक ब्लॉक होता है और कोष्ठक में कोई ऑब्जेक्ट (कंप्यूटर विज्ञान) संदर्भ होता है जिसे म्यूटेक्स के रूप में उपयोग किया जाएगा। सिंक्रोनाइज़्ड ब्लॉक के अंदर, दिए गए ऑब्जेक्ट को उस पर प्रतीक्षा (), नोटिफ़िकेशन (), या नोटिफिकेशन () करके एक स्थिति चर के रूप में उपयोग किया जा सकता है। इस प्रकार सभी वस्तुएँ पुनरावर्ती म्यूटेक्स और स्थिति चर दोनों हैं।

उदाहरण

1. थ्रेड A फ़ंक्शन F को कॉल करता है जो आगे बढ़ने से पहले अपने लिए एक पुनः प्रवेशी लॉक प्राप्त करता है
2. थ्रेड बी फ़ंक्शन F को कॉल करता है जो खुद के लिए एक रेंट्रेंट लॉक प्राप्त करने का प्रयास करता है लेकिन पहले से बकाया होने के कारण नहीं हो सकता है, जिसके परिणामस्वरूप ब्लॉक (यह प्रतीक्षा करता है), या अनुरोध किए जाने पर समय समाप्त होता है
3. थ्रेड A का F स्वयं को पुनरावर्ती रूप से कॉल करता है। यह पहले से ही लॉक का मालिक है, इसलिए यह खुद को ब्लॉक नहीं करेगा (कोई डेडलॉक नहीं)। यह पुनः प्रवेशी म्यूटेक्स का केंद्रीय विचार है, और यही इसे नियमित लॉक से अलग बनाता है।
4. थ्रेड बी का F अभी भी प्रतीक्षा कर रहा है, या समय समाप्त पकड़ा है और इसके आसपास काम किया है
5. थ्रेड A का F खत्म हो जाता है और इसके लॉक को रिलीज़ कर देता है
6. थ्रेड बी का F अब एक पुनः प्रवेशी लॉक प्राप्त कर सकता है और आगे बढ़ सकता है यदि यह अभी भी प्रतीक्षा कर रहा था

सॉफ्टवेयर अनुकरण

सॉफ्टवेयर अनुकरण पूरा किया जा सकता हैनिम्नलिखित संरचना का उपयोग:

• एक नियमित लॉक का उपयोग कर एक नियंत्रण स्थिति चर
• स्वामी पहचानकर्ता, प्रत्येक थ्रेड के लिए अद्वितीय (खाली / सेट नहीं करने के लिए डिफ़ॉल्ट)
• अधिग्रहण संख्या (डिफ़ॉल्ट रूप से शून्य)

अधिग्रहण

1. नियंत्रण स्थिति प्राप्त करें।
2. यदि मालिक सेट है और वर्तमान थ्रेड नहीं है, तो नियंत्रण स्थिति के अधिसूचित होने की प्रतीक्षा करें (यह स्थिति भी जारी करता है)।
3. स्वामी को वर्तमान थ्रेड पर सेट करें। जब तक अधिग्रहणकर्ता पहले से ही स्वामी नहीं है, तब तक स्वामी पहचानकर्ता को इस बिंदु पर पहले ही साफ़ कर दिया जाना चाहिए था।
4. अधिग्रहण संख्या बढ़ाएँ (नए मालिकों के लिए हमेशा 1 में परिणाम होना चाहिए)।
5. नियंत्रण की स्थिति जारी करें।

रिलीज

1. नियंत्रण की स्थिति प्राप्त करें, यह दावा करते हुए कि मालिक रिलीजर है।
2. अधिग्रहण संख्या घटाएं, यह दावा करते हुए कि संख्या शून्य से अधिक या उसके बराबर है।
3. यदि अधिग्रहण की संख्या शून्य है, तो स्वामी की जानकारी को साफ़ करें और नियंत्रण स्थिति को सूचित करें।
4. नियंत्रण की स्थिति जारी करें।