תרגול גבולות אישור כתיבה

הוסיפו נקודות עצירה אחרי כתיבה לבאפר, אחרי flush, אחרי סנכרון הקובץ ואחרי סנכרון הספרייה. לכל נקודה רשמו מה האפליקציה יודעת ומה עדיין לא מובטח.

בנו כותב מדומה שנכשל ב־flush ובדקו שהפונקציה אינה מדפיסה הצלחה. תכננו גם כשל sync_all וציינו כיצד תדווחו מצב שאינו ידוע בלי להבטיח שהנתון הישן נשמר.

השוו הריגת תהליך לכיבוי VM מתוך סביבת בדיקות מתאימה. הסבירו מדוע שני הניסויים בודקים גבולות כשל שונים, ואילו פרטי אחסון צריך לשמור בדוח כדי לשחזר את התוצאה.