الزمن والحالة الشاملة
يتعلق الزمن والحالة الشاملة بكيفية ترتيب النظام الموزع للأحداث والاستدلال على حالته الجماعية عندما لا توجد ساعة مشتركة ولا رؤية شاملة فورية.
Definition
في النظام الموزع، تحدث الأحداث في عمليات منفصلة بدون ساعة مشتركة؛ توفر دراسة الزمن والحالة الشاملة العلاقات والخوارزميات - الساعات المنطقية والمتجهة، واللقطات، والتسليم المرتب - التي تتيح للنظام ترتيب الأحداث بشكل سببي والتقاط حالات شاملة متسقة.
Scope
تغطي هذه المنطقة الساعات المنطقية وعلاقة "حدث قبل" (happened-before)، ومزامنة الساعات الفيزيائية، والساعات المتجهة واكتشاف السببية والتزامن، وتحديد اللقطات الشاملة المتسقة، وضمانات الترتيب (FIFO، سببية، كلية) اللازمة للبث المتعدد الموثوق. تتيح هذه الأدوات مجتمعة للأنظمة الموزعة إصدار بيانات ذات معنى حول "متى" و "ما هي الحالة" على الرغم من عدم وجود ساعة شاملة.
Sub-topics
Core questions
- كيف يمكن ترتيب الأحداث في عمليات مختلفة بدون ساعة فيزيائية مشتركة؟
- كيف يمكن لعملية تحديد ما إذا كان حدثان مرتبطان سببيًا أم متزامنين؟
- كيف يمكن تسجيل لقطة شاملة متسقة بينما يستمر الحساب؟
- ما هي ضمانات الترتيب على تسليم الرسائل اللازمة للحفاظ على السببية؟
Key theories
- علاقة "حدث قبل" (Happened-before) والساعات المنطقية
- تحدد علاقة "حدث قبل" (happened-before) للامبورت ترتيبًا سببيًا جزئيًا للأحداث، وتخصص الساعات المنطقية (العددية) طوابع زمنية متسقة معها، مما يوفر مفهومًا للترتيب خالٍ من الساعة يكفي لبناء ترتيب كلي للعديد من البروتوكولات.
- الساعات المتجهة والسببية
- توسع الساعات المتجهة الساعات المنطقية بحيث يلتقط مقارنة طابعين زمنيين بدقة ما إذا كان حدث ما يسبق الآخر سببيًا أو ما إذا كان الاثنان متزامنين، مما يتيح تتبعًا دقيقًا للسببية.
- اللقطات الشاملة المتسقة
- تسجل خوارزمية لقطة تشاندي-لامبورت حالة شاملة متسقة - حالات العمليات بالإضافة إلى الرسائل العابرة - دون إيقاف النظام، عن طريق نشر علامات عبر القنوات.
Clinical relevance
تدعم الساعات المنطقية والمتجهة الاتساق السببي، واكتشاف التعارض في المخازن المنسوخة، وتصحيح أخطاء التنفيذ الموزع؛ وتدعم اللقطات المتسقة نقاط الفحص الموزعة، واكتشاف الجمود والإنهاء، واستعادة الأخطاء في معالجة التدفق.
History
قدمت ورقة لامبورت عام 1978 الزمن المنطقي وعلاقة "حدث قبل" (happened-before)، وهي إحدى أكثر النتائج استشهادًا بها في علوم الكمبيوتر؛ وقام تشاندي ولامبورت بإضفاء الطابع الرسمي على اللقطات الشاملة المتسقة في عام 1985؛ وطور فيدج وماترن بشكل مستقل الساعات المتجهة في أواخر الثمانينيات، ليكملوا بذلك مجموعة الأدوات الأساسية للاستدلال على الزمن والحالة.
Key figures
- Leslie Lamport
- K. Mani Chandy
- Colin Fidge
- Friedemann Mattern
Related topics
Seminal works
- lamport1978
- chandy1985
- fidge1988
Frequently asked questions
- لماذا لا تستطيع الأنظمة الموزعة استخدام الساعات الفيزيائية المتزامنة فقط؟
- تميل الساعات الفيزيائية إلى الانحراف ولا يمكن مزامنتها بشكل مثالي عبر شبكة ذات تأخير متغير، لذا فإن ترتيب الأحداث في الوقت الفعلي قد يكون غامضًا. بدلاً من ذلك، تلتقط الساعات المنطقية والمتجهة الترتيب السببي الذي يهم بالفعل للصحة.
- ما الذي يجعل اللقطة الشاملة 'متسقة'؟
- تكون اللقطة متسقة إذا، كلما تضمنت استلام رسالة، تضمنت أيضًا إرسال تلك الرسالة. يمكن أن تكون هذه الحالة قد حدثت أثناء التنفيذ، على الرغم من عدم ملاحظة أي لحظة واحدة عالميًا.