מדריך מעשי
למה Restore חייב להיות מדויק
שחזור אמין אינו כפתור כללי של “ברירת מחדל”. הוא חוזר לערך המסוים שנקרא ונשמר לפני פעולה מסוימת.
Read before write
לפני שינוי קוראים את המצב הנוכחי ושומרים אותו עם זהות הפעולה והזמן. אם הקריאה אינה אמינה, אין בסיס בטוח לשחזור.
Receipt ואימות
Receipt מקשר בין הערך הקודם, הערך המבוקש ותוצאת הפעולה. לאחר השינוי קוראים שוב את המצב ומוודאים שהוא תואם למה שהמערכת מדווחת.
- זהות פעולה וגרסה.
- ערך קודם וערך מבוקש.
- תוצאת ביצוע וקריאה חוזרת.
- נתיב שחזור מדויק ומצבו.
Fail closed כאשר אין הוכחה
אם חסרים הרשאה, ערך קודם, תמיכה או אימות, המצב הנכון הוא חסום או לא ידוע. אין להציג הצלחה או Restore מוכן בלי ראיה.