פרויקט מסכם: חקירת אירוע ותיקון מוכח

משימת החקירה

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

תוצרים נדרשים

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

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

הגנה על המסקנה

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