باكسوس ورافت
باكسوس ورافت هما بروتوكولا الإجماع العمليان الأكثر تأثيرًا، حيث يوفران اتفاقًا متسامحًا مع الأعطال على سجل مُنسوخ يدعم أنظمة التنسيق في العالم الحقيقي.
Definition
باكسوس ورافت هما بروتوكولان قائمان على النصاب يسمحان لمجموعة من النسخ المتماثلة بالاتفاق على تسلسل مرتب للأوامر (سجل مُنسوخ) على الرغم من أعطال الانهيار، مما يضمن عدم فقدان الإدخالات الملتزم بها أو إعادة ترتيبها طالما ظلت غالبية النسخ المتماثلة متاحة.
Scope
يغطي هذا الموضوع عائلة باكسوس—باكسوس أحادي القرار، وباكسوس المتعدد، وتحسيناته الهندسية—وبروتوكول رافت، الذي يعيد تنظيم نفس الضمانات حول قائد صريح، ونسخ السجل، وتغيير العضوية من أجل سهولة الفهم. ويغطي أدوار المقترحين/الموافقين والقادة/الأتباع، وتقاطع النصاب، وانتخاب القائد والفترات، ومطابقة السجل، والاعتبارات العملية للقطات وإعادة التكوين.
Core questions
- كيف يحافظ تقاطع النصاب وترقيم الاقتراحات على أمان باكسوس عبر الجولات وتغييرات القائد؟
- كيف يفكك رافت الإجماع إلى انتخاب القائد، ونسخ السجل، والسلامة؟
- ما هي التحديات الهندسية التي تنشأ عند تحويل هذه البروتوكولات إلى أنظمة إنتاج؟
Key theories
- باكسوس أحادي القرار وباكسوس المتعدد
- يتوصل باكسوس إلى اتفاق على قيمة واحدة من خلال مراحل التحضير والقبول التي تحكمها أرقام الاقتراحات الرتيبة ونصاب الأغلبية؛ ويقوم باكسوس المتعدد بتوزيع مرحلة التحضير عبر تدفق من القرارات بقيادة قائد مستقر لبناء سجل مُنسوخ.
- تفكيك رافت
- يحقق رافت نفس مستوى الأمان الذي يحققه باكسوس عن طريق انتخاب قائد واحد لكل فترة، حيث يقوم القائد بإلحاق الإدخالات التي ينسخها الأتباع، ويفرض خاصية مطابقة السجل، متداولًا عن قصد البساطة من أجل سهولة الفهم والتنفيذ.
- من المواصفات إلى النظام العامل
- يتطلب نشر باكسوس عمليًا التعامل مع أعطال القرص، وتأجير القائد، وضغط السجل، وإعادة التكوين، وهي تفاصيل غالبًا ما يتم إغفالها في الخوارزمية الأصلية ولكنها ضرورية للصحة والأداء.
Clinical relevance
يعمل باكسوس ورافت داخل خدمات التنسيق وقواعد البيانات الموزعة ومخازن التكوين المستخدمة على نطاق واسع؛ فهمهما ضروري لبناء أو تشغيل أي نظام يجب أن يحافظ على اتساق قوي للنسخ المتماثلة خلال الأعطال.
History
وصف لامبورت باكسوس في ورقته البحثية عام 1998 بعنوان 'برلمان بدوام جزئي' وأوضحها في 'باكسوس مبسط' (2001)؛ وأفاد تشاندرا وزملاؤه بواقع جعله يعمل على نطاق واسع في عام 2007؛ وقدم أونجارو وأوسترهوت رافت في عام 2014 لجعل الضمانات المكافئة أسهل بكثير في التدريس والتنفيذ.
Debates
- سهولة الفهم مقابل البساطة في بروتوكولات الإجماع
- صُمم رافت صراحة ليكون أسهل فهمًا من باكسوس، مما أثار جدلاً حول ما إذا كانت بنيته الإضافية (قائد قوي) تضحي بالمرونة؛ يجادل المؤيدون بأن سهولة الفهم تقلل من أخطاء التنفيذ، بينما يشير آخرون إلى أن متغيرات باكسوس يمكن أن تكون أكثر عمومية.
Key figures
- Leslie Lamport
- Diego Ongaro
- John Ousterhout
- Tushar Chandra
Related topics
Seminal works
- lamport1998
- ongaro2014
- chandra2007
Frequently asked questions
- هل باكسوس ورافت خوارزميتان مختلفتان جوهريًا؟
- لا—إنهما يحلان نفس المشكلة بنفس جوهر نصاب الأغلبية ونفس ضمانات الأمان المكافئة. يعيد رافت بشكل أساسي تنظيم باكسوس حول قائد قوي وسجل صريح لجعل البروتوكول أسهل في الفهم والتنفيذ.