पैक्सोस और राफ्ट

पैक्सोस और राफ्ट दो सबसे प्रभावशाली व्यावहारिक सहमति प्रोटोकॉल हैं, जो एक प्रतिकृति लॉग पर क्रैश-फॉल्ट-टॉलरेंट समझौता प्रदान करते हैं जो वास्तविक दुनिया की समन्वय प्रणालियों को रेखांकित करता है।

Definition

पैक्सोस और राफ्ट कोरम-आधारित प्रोटोकॉल हैं जो प्रतिकृतियों के एक सेट को क्रैश विफलताओं के बावजूद आदेशों के एक क्रमबद्ध अनुक्रम (एक प्रतिकृति लॉग) पर सहमत होने की अनुमति देते हैं, यह सुनिश्चित करते हुए कि प्रतिबद्ध प्रविष्टियाँ कभी भी खोती या पुनर्व्यवस्थित नहीं होती हैं जब तक कि अधिकांश प्रतिकृतियाँ उपलब्ध रहती हैं।

Scope

यह विषय पैक्सोस परिवार—सिंगल-डिक्री पैक्सोस, मल्टी-पैक्सोस, और इसके इंजीनियरिंग सुधार—और राफ्ट प्रोटोकॉल को शामिल करता है, जो समझने में आसानी के लिए एक स्पष्ट लीडर, लॉग प्रतिकृति और सदस्यता परिवर्तन के इर्द-गिर्द समान गारंटियों को पुनर्गठित करता है। इसमें प्रस्तावक/स्वीकर्ता और लीडर/अनुयायी की भूमिकाएँ, कोरम इंटरसेक्शन, लीडर चुनाव और शर्तें, लॉग मिलान, और स्नैपशॉट तथा पुनर्संरचना की व्यावहारिक चिंताएँ शामिल हैं।

Core questions

• कोरम इंटरसेक्शन और प्रस्ताव संख्याकरण पैक्सोस को राउंड और लीडर परिवर्तनों में कैसे सुरक्षित रखते हैं?
• राफ्ट सहमति को लीडर चुनाव, लॉग प्रतिकृति और सुरक्षा में कैसे विघटित करता है?
• इन प्रोटोकॉल को उत्पादन प्रणालियों में बदलने पर क्या इंजीनियरिंग चुनौतियाँ उत्पन्न होती हैं?

Key theories

सिंगल-डिक्री और मल्टी-पैक्सोस

पैक्सोस मोनोटोनिक प्रस्ताव संख्याओं और बहुमत कोरम द्वारा शासित तैयारी और स्वीकृति चरणों के माध्यम से एक मान पर सहमति प्राप्त करता है; मल्टी-पैक्सोस एक स्थिर लीडर के नेतृत्व में निर्णयों की एक धारा में तैयारी चरण को अमूर्त करता है ताकि एक प्रतिकृति लॉग बनाया जा सके।

राफ्ट का अपघटन

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

विनिर्देश से चल रही प्रणाली तक

व्यवहार में पैक्सोस को तैनात करने के लिए डिस्क विफलताओं, लीडर लीज, लॉग संपीड़न और पुनर्संरचना को संभालना आवश्यक है, ये विवरण अक्सर मूल एल्गोरिथम में अनदेखा कर दिए जाते हैं लेकिन शुद्धता और प्रदर्शन के लिए आवश्यक हैं।

Clinical relevance

पैक्सोस और राफ्ट व्यापक रूप से उपयोग की जाने वाली समन्वय सेवाओं, वितरित डेटाबेस और कॉन्फ़िगरेशन स्टोर के भीतर चलते हैं; उन्हें समझना किसी भी प्रणाली के निर्माण या संचालन के लिए आवश्यक है जिसे विफलताओं के माध्यम से प्रतिकृतियों को दृढ़ता से सुसंगत रखना चाहिए।

History

लैम्पर्ट ने अपने 1998 के 'पार्ट-टाइम पार्लियामेंट' पेपर में पैक्सोस का वर्णन किया और 'पैक्सोस मेड सिंपल' (2001) में इसे स्पष्ट किया; चंद्र और सहयोगियों ने 2007 में इसे बड़े पैमाने पर जीवित करने की वास्तविकताओं की सूचना दी; और ओंगारो और ऑस्टरहाउट ने 2014 में राफ्ट को पेश किया ताकि समकक्ष गारंटियों को सिखाना और लागू करना बहुत आसान हो सके।

Debates

सहमति प्रोटोकॉल में समझने की क्षमता बनाम न्यूनतमता

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

Key figures

• Leslie Lamport
• Diego Ongaro
• John Ousterhout
• Tushar Chandra

Seminal works

• lamport1998
• ongaro2014
• chandra2007

Frequently asked questions

क्या पैक्सोस और राफ्ट मौलिक रूप से भिन्न एल्गोरिदम हैं?

नहीं—वे एक ही समस्या को एक ही बहुमत-कोरम कोर और समकक्ष सुरक्षा गारंटियों के साथ हल करते हैं। राफ्ट मुख्य रूप से पैक्सोस को एक मजबूत लीडर और एक स्पष्ट लॉग के इर्द-गिर्द पुनर्गठित करता है ताकि प्रोटोकॉल को समझना और लागू करना आसान हो सके।