समय और वैश्विक स्थिति
समय और वैश्विक स्थिति इस बात से संबंधित हैं कि एक वितरित प्रणाली घटनाओं को कैसे व्यवस्थित करती है और अपनी सामूहिक स्थिति के बारे में कैसे तर्क करती है जब कोई साझा घड़ी और कोई तात्कालिक वैश्विक दृश्य नहीं होता है।
Definition
एक वितरित प्रणाली में घटनाएँ अलग-अलग प्रक्रियाओं पर बिना किसी साझा घड़ी के घटित होती हैं; समय और वैश्विक स्थिति का अध्ययन संबंध और एल्गोरिदम—तार्किक और वेक्टर घड़ियाँ, स्नैपशॉट, और क्रमबद्ध वितरण—प्रदान करता है जो प्रणाली को घटनाओं को कार्य-कारण के आधार पर व्यवस्थित करने और सुसंगत वैश्विक स्थितियों को कैप्चर करने की अनुमति देता है।
Scope
यह क्षेत्र तार्किक घड़ियों और 'पहले हुआ' संबंध, भौतिक घड़ी तुल्यकालन, वेक्टर घड़ियों और कार्य-कारण और समवर्तीता का पता लगाने, सुसंगत वैश्विक स्नैपशॉट के निर्धारण, और विश्वसनीय मल्टीकास्ट के लिए आवश्यक ऑर्डरिंग गारंटी (FIFO, कार्य-कारण, कुल) को शामिल करता है। ये उपकरण मिलकर वितरित प्रणालियों को वैश्विक घड़ी की अनुपस्थिति के बावजूद 'कब' और 'किस स्थिति में' के बारे में सार्थक बयान देने में सक्षम बनाते हैं।
Sub-topics
Core questions
- साझा भौतिक घड़ी के बिना विभिन्न प्रक्रियाओं पर घटनाओं को कैसे व्यवस्थित किया जा सकता है?
- एक प्रक्रिया कैसे निर्धारित कर सकती है कि दो घटनाएँ कार्य-कारण से संबंधित हैं या समवर्ती हैं?
- गणना जारी रहते हुए एक सुसंगत वैश्विक स्नैपशॉट कैसे रिकॉर्ड किया जा सकता है?
- कार्य-कारण को बनाए रखने के लिए संदेश वितरण पर किन ऑर्डरिंग गारंटी की आवश्यकता है?
Key theories
- पहले हुआ और तार्किक घड़ियाँ
- लैम्पर्ट का 'पहले हुआ' संबंध घटनाओं पर एक आंशिक कार्य-कारण क्रम को परिभाषित करता है, और तार्किक (स्केलर) घड़ियाँ इसके अनुरूप टाइमस्टैम्प असाइन करती हैं, जो कई प्रोटोकॉल के लिए कुल क्रम बनाने के लिए पर्याप्त क्रम की घड़ी-मुक्त धारणा प्रदान करती हैं।
- वेक्टर घड़ियाँ और कार्य-कारण
- वेक्टर घड़ियाँ तार्किक घड़ियों का विस्तार करती हैं ताकि दो टाइमस्टैम्प की तुलना ठीक-ठीक यह बता सके कि एक घटना कार्य-कारण से दूसरी से पहले हुई है या दोनों समवर्ती हैं, जिससे सटीक कार्य-कारण ट्रैकिंग सक्षम होती है।
- सुसंगत वैश्विक स्नैपशॉट
- चंडी-लैम्पर्ट स्नैपशॉट एल्गोरिथम चैनलों के साथ मार्करों को प्रसारित करके सिस्टम को रोके बिना एक सुसंगत वैश्विक स्थिति—प्रक्रिया की स्थिति और इन-ट्रांजिट संदेश—रिकॉर्ड करता है।
Clinical relevance
तार्किक और वेक्टर घड़ियाँ कार्य-कारण संगति, प्रतिकृति स्टोरों में संघर्ष का पता लगाने, और वितरित निष्पादन के डिबगिंग को रेखांकित करती हैं; सुसंगत स्नैपशॉट वितरित चेकपॉइंटिंग, डेडलॉक और समाप्ति का पता लगाने, और स्ट्रीम-प्रोसेसिंग दोष पुनर्प्राप्ति को रेखांकित करते हैं।
History
लैम्पर्ट के 1978 के पेपर ने तार्किक समय और 'पहले हुआ' संबंध को प्रस्तुत किया, जो कंप्यूटर विज्ञान में सबसे अधिक उद्धृत परिणामों में से एक है; चंडी और लैम्पर्ट ने 1985 में सुसंगत वैश्विक स्नैपशॉट को औपचारिक रूप दिया; और फिडेज और मैटर्न ने 1980 के दशक के अंत में स्वतंत्र रूप से वेक्टर घड़ियों का विकास किया, जिससे समय और स्थिति के बारे में तर्क करने के लिए मूलभूत टूलकिट पूरा हुआ।
Key figures
- Leslie Lamport
- K. Mani Chandy
- Colin Fidge
- Friedemann Mattern
Related topics
Seminal works
- lamport1978
- chandy1985
- fidge1988
Frequently asked questions
- वितरित प्रणालियाँ केवल सिंक्रनाइज़्ड भौतिक घड़ियों का उपयोग क्यों नहीं कर सकतीं?
- भौतिक घड़ियाँ बहती हैं और परिवर्तनीय विलंब वाले नेटवर्क पर पूरी तरह से सिंक्रनाइज़ नहीं की जा सकती हैं, इसलिए दो घटनाओं का वास्तविक समय क्रम अस्पष्ट हो सकता है। इसके बजाय तार्किक और वेक्टर घड़ियाँ कार्य-कारण क्रम को कैप्चर करती हैं जो शुद्धता के लिए वास्तव में मायने रखता है।
- एक वैश्विक स्नैपशॉट को 'सुसंगत' क्या बनाता है?
- एक स्नैपशॉट सुसंगत होता है यदि, जब भी इसमें किसी संदेश की प्राप्ति शामिल होती है, तो इसमें उस संदेश का प्रेषण भी शामिल होता है। ऐसी स्थिति निष्पादन के दौरान हो सकती थी, भले ही किसी भी एक पल को कभी भी विश्व स्तर पर नहीं देखा गया हो।