concurrency - definition of wait-free (referring to parallel programming) -

मौरिस हर्लीहै पेपर "प्रतीक्षा-नि: शुल्क सिंक्रनाइज़ेशन" में वह प्रतीक्षा-मुक्त परिभाषित करता है:

"एक प्रतीक्षा एक समवर्ती डेटा ऑब्जेक्ट के पूर्ण कार्यान्वयन वह है जो गारंटी देता है कि किसी भी प्रक्रिया, किसी भी परिचालन को कई चरणों में सीमित कर सकती है, चाहे अन्य प्रक्रियाओं पर निष्पादन की गति भी हो। "

हम ब्रह्मांड से एक आपरेशन ऑपरेशन लेते हैं।

(1) क्या परिभाषा का अर्थ है: "हर प्रक्रिया में एक निश्चित ऑपरेशन ऑप्शन पूरा होता है जो कि एक ही परिमित संख्या में है।"

(2) या इसका क्या मतलब है: "हर प्रक्रिया में कोई निश्चित ऑपरेशन ऑप्शन पूरा होता है जो कि किसी भी सीमित संख्या में कदम होता है। ताकि एक प्रक्रिया को चरण में दूसरे चरण में सेशन को पूरा किया जा सके, जहां k! = जम्मू "?

बस परिभाषा को पढ़कर मैं समझता हूँ (2) हालांकि यह मेरे लिए कोई मतलब नहीं है, चूंकि k चरण में ओपी निष्पादित करने और K + m चरणों में किसी अन्य समय की परिभाषा पूरी होती है, लेकिन मीटर कदम एक प्रतीक्षा लूप हो सकता है। यदि अर्थ (2) सही है, तो क्या कोई मुझे समझा सकता है, क्यों यह प्रतीक्षा-मुक्त वर्णन करता है?

इसके विपरीत (2), अर्थ (1) यह गारंटी देगा कि ऑप को उसी संख्या में निष्पादित किया जाता है कदम कश्मीर इसलिए कोई अतिरिक्त कदम नहीं हो सकता जो कि आवश्यक है

sema

Div class = "post-text" itemprop = "text">

इसका अर्थ है परिभाषा (2)। विचार करें कि प्रतीक्षा लूप संभावित रूप से समाप्त नहीं हो सकता है, यदि अनिवार्य रूप से चलाने के लिए इंतजार की जाने वाली प्रक्रिया: " अन्य प्रक्रियाओं पर निष्पादन की गति"

तो अनंत इंतजार पाश प्रभावी रूप से इसका अर्थ है कि कोई दी गई प्रक्रिया एक सीमित संख्या में कार्रवाई को पूरा करने में सक्षम नहीं हो सकती है।