באיזו שיטה להשתחזרות מדדלוק הקרנל יוצר את גרף המצבים ומפקיע את המשאב שיוצר את הבעיה על ידי סגירת ה-Mutex?