תרגול בדיקה ותיקון של רכיב קרנל

תרגיל ראשון

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

תרגיל שני

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

תרגיל שלישי

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