التدقيق والاستعادة
يحفظ التدقيق حالة النظام بشكل دوري بحيث يمكنه بعد الفشل التراجع إلى نقطة متسقة واستئناف العمل، بدلاً من البدء من الصفر.
Definition
يسجل التدقيق حالة عملية واحدة أو أكثر في وحدة تخزين مستقرة؛ وتستخدم استعادة التراجع نقاط التدقيق هذه، وربما مع الرسائل المسجلة، لاستعادة النظام إلى حالة شاملة متسقة — خط استعادة — بعد الفشل وإعادة التشغيل من تلك النقطة.
Scope
يغطي هذا الموضوع استعادة التراجع القائمة على نقاط التدقيق والقائمة على السجلات: التدقيق غير المنسق، والمنسق، والمستحث بالاتصال؛ وتأثير الدومينو الذي يمكن أن تسببه نقاط التدقيق غير المنسقة؛ وتسجيل الرسائل المتشائم، والمتفائل، والسببي الذي يسمح بالاستعادة بعد آخر نقطة تدقيق. ويرتبط بنظرية القطع المتسق للقطات الشاملة.
Core questions
- كيف يمكن دمج نقاط التدقيق عبر العمليات في خط استعادة متسق؟
- ما هو تأثير الدومينو وكيف يمنعه التنسيق؟
- متى يسمح تسجيل الرسائل بالاستعادة بعد أحدث نقطة تدقيق؟
Key theories
- التدقيق المنسق
- تنسق العمليات بحيث تشكل نقاط التدقيق الخاصة بها معًا حالة شاملة متسقة، مما يضمن خط استعادة قابل للاستخدام وتجنب التراجعات المتتالية على حساب تكلفة المزامنة.
- التدقيق غير المنسق وتأثير الدومينو
- إذا قامت العمليات بالتدقيق بشكل مستقل، فقد تتطلب الاستعادة تراجع كل منها للعثور على مجموعة متسقة، مما قد يتسبب في تراجع متتالٍ حتى البداية (تأثير الدومينو)، وهو ما يهدف التنسيق أو التسجيل إلى تجنبه.
- تسجيل الرسائل
- يسمح تسجيل الرسائل التي تتلقاها العملية (بشكل متشائم، أو متفائل، أو سببي) لعملية الاستعادة بإعادة تشغيلها بشكل حتمي والتقدم بعد آخر نقطة تدقيق لها، واستعادة العمل الأخير دون تراجع شامل.
Clinical relevance
يحافظ التدقيق/إعادة التشغيل على مرونة الحسابات عالية الأداء والعلمية طويلة الأمد في مواجهة أعطال العقد، وتوفر نقاط التدقيق غير المتزامنة لأنظمة معالجة التدفق الحديثة ضمانات استعادة الأخطاء مرة واحدة بالضبط.
History
بناءً على نظرية اللقطات المتسقة لتشاندي ولامبورت، قام كو وتويغ بصياغة التدقيق المنسق في عام 1987، وتم توحيد عقود من العمل على التسجيل والمخططات غير المنسقة في مسح إلنوزاهي وزملائه عام 2002، وهو المرجع القياسي لاستعادة التراجع.
Debates
- التدقيق المنسق مقابل التدقيق غير المنسق
- يضمن التدقيق المنسق خط استعادة نظيفًا ولكنه يضيف تكلفة المزامنة والتنسيق الشامل؛ التدقيق غير المنسق أرخص وقت التدقيق ولكنه ينطوي على مخاطر تأثير الدومينو والاستعادة المعقدة، لذا يعتمد الاختيار الصحيح على معدل الفشل والحجم.
Key figures
- K. Mani Chandy
- Leslie Lamport
- Sam Toueg
- Lorenzo Alvisi
Related topics
Seminal works
- elnozahy2002
- koo1987
- chandy1985
Frequently asked questions
- ما هو تأثير الدومينو في استعادة التراجع؟
- عندما تقوم العمليات بالتدقيق دون تنسيق، فإن تراجع إحداها يمكن أن يجبر عملية تابعة على التراجع أيضًا، مما قد يتسلسل إلى الوراء عبر الحساب بأكمله — وربما حتى البداية. يستخدم التدقيق المنسق أو تسجيل الرسائل لمنع ذلك.