PHP में दौड़ की स्थिति से लड़ना

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

function getFlagFromFile($filename) { if (file_exists($filename)) { if (!$this->validate()) { //     ? unlink($filename); return false; } else { return file_get_contents($filename); } } return false; } 

अनलिंक () लाइन में त्रुटि उत्पन्न करता है: फ़ाइल का फ़ाइल नाम मौजूद नहीं है!

सबसे दिलचस्प और समझ से बाहर की बात यह है कि त्रुटि समय पर यादृच्छिक बिंदुओं पर होती है, और जब आप डिबग करने की कोशिश करते हैं - तो यह पुन: पेश नहीं करता है!

दौड़ की स्थिति त्रुटि उस सिस्टम की स्थिति में होती है जिसमें समान कोड को एक साथ निष्पादित किया जाता है (कई समानांतर धागे)। उपरोक्त उदाहरण में, यदि कोड को कई थ्रेड्स में निष्पादित किया जाता है, तो file_exist ($ filename) और! $ This-> validate () चेक को एक ही समय में दोनों थ्रेड्स द्वारा सकारात्मक परिणाम के साथ किया जा सकता है, लेकिन एक थ्रेड पहले अनलिंक ($ फ़ाइल नाम) को निष्पादित करने में सक्षम होगा। दूसरे के लिए - और फिर दूसरा धागा एक त्रुटि का कारण होगा।

आइए एक ही सर्वर के भीतर इस त्रुटि से निपटने के दो तरीकों पर ध्यान दें, जो झुंड () फ़ाइल लॉकिंग का उपयोग नहीं करते हैं (कोड के एक महत्वपूर्ण खंड के कई अनुरोधों के साथ, फ़ाइल सिस्टम के लिए अनावश्यक कॉल सबसे अच्छा तरीका नहीं है)।

आप एपीसी और सेमाफोरेस का उपयोग करके दौड़ की स्थिति में बाधा डाल सकते हैं - और वहाँ और इसी परमाणु संचालन कर रहे हैं। लेकिन, इसे क्रम में करते हैं।

एपीसी समाधान

PHP में वैकल्पिक कैश (वैकल्पिक PHP कैश - APC) निष्पादित लिपियों के बाईटेकोड को कैश करता है, जिससे स्रोत कोड का विश्लेषण करने के लिए संसाधनों की लागत को रोका जा सकता है, यदि सभी नहीं, तो लगभग यह सब ज्ञात है। लेकिन हर कोई नहीं जानता कि एपीसी का अपना महत्वपूर्ण मूल्य भंडारण है, जिसकी एक विशेषता अनुरोधों के बीच मूल्यों का संरक्षण है। एक बार सेट होने पर, एपीसी को वेब सर्वर के रिबूट होने तक, या जब तक मूल्य को हटाने के लिए मजबूर नहीं किया जाता है (या यह सेट होने पर मूल्य समाप्त हो जाएगा) तक एपीसी में संग्रहीत किया जाएगा।

अनन्य लॉकिंग के लिए, apc_add फ़ंक्शन (कुंजी, मान, जीवनकाल) का उपयोग करें - यह गलत वापस आ जाएगा यदि मूल्य पहले ही सौंपा गया है (एपीसी_स्टोर () कुंजी को मूल्य पुन: असाइन करने के लिए मौजूद है)। समाधान का उपयोग करने के लिए पूरी स्थिति निम्नानुसार है (getFlagFromFile () में परिवर्तन टिप्पणियों के साथ चिह्नित हैं):

 function canUseApc() { return extension_loaded('apc') && ini_get('apc.enabled') && php_sapi_name() !== 'cli'; } function getFlagFromFile($filename) { if (file_exists($filename)) { if (!$this->validate()) { if ($this->canUseApc() && apc_add('some_key', 1)) { //*** unlink($filename); apc_delete('some_key'); //*** } return false; } else { return file_get_contents($filename); } } return false; } 

यहां फ़ाइल को हटाना केवल तभी प्रदर्शित किया जाएगा जब धागा एपीसी में मूल्य निर्धारित करने में कामयाब हो, जिसका अर्थ है कि कोई समानांतर विलोपन नहीं होगा, साथ ही त्रुटियां भी होंगी। लेकिन अगर आप apc_delete () का उपयोग करके एपीसी से मूल्य को हटाना भूल जाते हैं, तो केवल वेब सर्वर को पुनरारंभ करने से इसे हटाने में मदद मिलेगी।

यह सबसे सरल कार्यान्वयन समाधान है। हालांकि, समाधान का मुख्य नुकसान यह है कि एपीसी सीएलआई लिपियों के लिए काम नहीं करता है। उनके लिए, सेमाफोरस पर एक समाधान उपयुक्त है।

सेमाफोर समाधान

एक सेमाफोर को एक चर (ध्वज) के रूप में कल्पना करना आसान है, जिसे बढ़ाया या घटाया जा सकता है। जब एक प्रक्रिया द्वारा एक सेमाफोर पर कब्जा कर लिया जाता है, तो इसका मूल्य एक से घट जाता है, और जब जारी किया जाता है, तो यह एक से बढ़ जाता है। इसके अलावा, यदि सेमाफोर का वर्तमान मूल्य शून्य है, तो प्रक्रिया इसे कैप्चर नहीं कर पाएगी और यह सेमाफोर के रिलीज होने का इंतजार करेगी।

एक अर्ध-संसाधन प्राप्त करने के लिए, sem_get फ़ंक्शन का उपयोग किया जाता है (पूर्णांक पहचानकर्ता, अर्ध-मान = 1)। एक फ़ंक्शन का उपयोग करते हुए, आप एकता से अलग मूल्य के साथ एक अर्धवृत्त प्राप्त कर सकते हैं, और फिर कई थ्रेड्स को अर्धचंद्र पर कब्जा कर सकते हैं। दरअसल, कैप्चर के लिए sem_acquire function (सेमाफोर रिसोर्स) का इस्तेमाल किया जाता है, अगर कैप्चर सफल रहा, तो सही है और अन्यथा गलत है।

सेमीफोर का उपयोग करते समय हमारा उदाहरण इस तरह दिखेगा:

 function getFlagFromFile($filename) { if (file_exists($filename)) { if (!$this->validate()) { $sem = sem_get(1); //*** if (sem_acquire($sem) && file_exists($filename)) { //*** unlink($filename); } sem_remove($sem); //*** return false; } else { return file_get_contents($filename); } } return false; } 

UPD: ManiaKryger ने ठीक से नोट किया कि sem_remove ($ sem) बिना शर्त होना चाहिए

एक चौकस पाठक ध्यान देगा कि हमने फ़ाइल के अस्तित्व के लिए फिर से जाँच की है। जब पहला थ्रेड सेमीफोर को कैप्चर करता है, तो फाइल को डिलीट करता है और सेमाफोर को रिलीज करता है, दूसरा थ्रेड निष्पादन को जारी रखने में सक्षम होगा और इसे अब फाइल को डिलीट नहीं करना चाहिए, जो कि नहीं है, इसलिए हम दोबारा चेक को जोड़ते हैं।

Sem_remove फ़ंक्शन (semaphore संसाधन), जो व्यस्त semaphore को रिलीज़ करता है, यहां एक महत्वपूर्ण भूमिका निभाता है। यदि अर्धवृत्त जारी नहीं किया जाता है, तो समानांतर धागा चालू स्थिति में तब तक रहेगा जब तक कि एक खत्म नहीं हो जाता।

यह इस समाधान का माइनस है: स्थिति हमेशा स्वीकार्य नहीं होती है, जिसमें एक समानांतर धागा इंतजार कर सकता है। अक्सर सर्वर को जितनी जल्दी हो सके एक जवाब देना चाहिए, और अनन्य उपयोग की प्रतीक्षा नहीं करनी चाहिए, भले ही आवश्यक कार्रवाई पूरी न हो सके। साथ ही, पिछले समाधान की तुलना में, सेमी स्क्रिप्ट करोड़ों लिपियों में काम करती है।

संक्षेप में कहना

माना तरीकों में से प्रत्येक के पास अपने minuses और pluses हैं। प्रत्यक्ष कार्यान्वयन को छिपाते हुए, दोनों समाधानों को एक कक्षा में संयोजित करना सबसे सुविधाजनक है। फिर हमें दौड़ की स्थिति को रोकने के लिए एक अच्छा और सरल उपकरण मिलता है:

 function getFlagFromFile($filename) { if (file_exists($filename)) { if (!$this->validate()) { if ($race = RaceCondition::prevent('FLAG_'.$filename)) { //*** unlink($filename); $race->release(); //*** } return false; } else { return file_get_contents($filename); } } return false; } 

मैं पूर्ण समाधान अपलोड नहीं करता, इसे मेरे होमवर्क के रूप में छोड़कर =) एक साधारण Google जल्दी से सेमीफोर, थ्रेड्स और एपीसी के बारे में अधिक विस्तृत उत्तर देगा।

टिप्पणियाँ और संपादन पीएम में स्वागत है!