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