لقطات وحالة عالمية
تلتقط اللقطة العالمية رؤية متسقة لحالة الحوسبة الموزعة - الحالة المحلية لكل عملية بالإضافة إلى الرسائل العابرة - دون تجميد النظام.
Definition
الحالة العالمية المتسقة هي مجموعة من حالات العمليات المحلية ومحتويات القنوات المقابلة لقطع متسق - وهو قطع يتم فيه، لكل استلام رسالة مسجل، تسجيل الإرسال المقابل أيضًا - بحيث يمكن أن تكون الحالة قد نشأت أثناء الحوسبة على الرغم من عدم ملاحظة أي لحظة عالمية.
Scope
يغطي هذا الموضوع مفهوم الحالة العالمية المتسقة والقطع الذي يحددها، وخوارزمية اللقطة القائمة على العلامات (marker-based snapshot algorithm) لتشاندي ولامبورت وافتراضاتها (قنوات FIFO، التسليم الموثوق)، وتطبيق اللقطات على اكتشاف الخصائص المستقرة مثل الإنهاء واكتشاف الجمود، وعلى نقاط التفتيش الموزعة والاستعادة.
Core questions
- ما الذي يجعل الحالة العالمية المسجلة متسقة وليست مستحيلة؟
- كيف يمكن تسجيل مثل هذه الحالة بينما تستمر العملية الحسابية في العمل؟
- كيف يتم اكتشاف الخصائص المستقرة مثل الإنهاء والجمود من اللقطات؟
Key theories
- القطع المتسقة
- تتوافق الحالة العالمية مع قطع عبر تسلسلات أحداث العمليات؛ يكون القطع متسقًا تمامًا عندما يكون مغلقًا تحت علاقة "حدث قبل" (happened-before relation)، مما يضمن عدم استلام أي رسالة قبل إرسالها في الحالة المسجلة.
- خوارزمية لقطة تشاندي-لامبورت
- يسجل البادئ حالته ويرسل علامة (marker) على كل قناة صادرة؛ وكل عملية، عند استلامها علامة لأول مرة، تسجل حالتها ثم تسجل الرسائل الواردة على القنوات الأخرى حتى وصول علاماتها، لالتقاط محتويات القناة.
- اكتشاف الخصائص المستقرة
- نظرًا لأن اللقطات تلتقط حالة يمكن أن يكون النظام قد مر بها، فإن أي خاصية مستقرة (خاصية تظل صحيحة بمجرد تحققها، مثل الإنهاء أو الجمود) يتم اكتشافها في لقطة تكون صحيحة بالفعل، مما يجعل اللقطات أداة اكتشاف عامة.
Clinical relevance
تعمل خوارزميات اللقطات على تشغيل نقاط التفتيش/الاستعادة الموزعة لاستعادة الأخطاء، بما في ذلك اللقطات غير المتزامنة المستخدمة بواسطة محركات معالجة التدفق الحديثة لتوفير ضمانات "مرة واحدة بالضبط" (exactly-once guarantees)، بالإضافة إلى اكتشاف الجمود والإنهاء في العمليات الحسابية طويلة الأمد.
History
قدمت خوارزمية تشاندي ولامبورت عام 1985 أول طريقة عملية لتسجيل حالة عالمية متسقة دون إيقاف النظام؛ وقام ماتيرن وآخرون بتعميم نظرية القطع الأساسية، وأصبحت هذه التقنية لاحقًا أساسية لمعالجة التدفق المتسامحة مع الأخطاء.
Key figures
- K. Mani Chandy
- Leslie Lamport
- Friedemann Mattern
Related topics
Seminal works
- chandy1985
- mattern1989
- lynch1996
Frequently asked questions
- هل يتطلب أخذ لقطة إيقاف النظام مؤقتًا؟
- لا. تسجل خوارزمية تشاندي-لامبورت حالة عالمية متسقة بينما تستمر الحوسبة، عن طريق نشر العلامات (markers) عبر القنوات؛ والحالة المسجلة هي حالة كان يمكن للنظام أن يكون عليها، على الرغم من أنه لم يتم إيقافه عالميًا أبدًا.