cd labs
tar -xvf lab06.tar
# the directories lab06, lab06/thread_basic and lab06/thread_mutex should have been created
cd lab06/thread_mutex

שלב א': הרצה של התכנית ללא MUTEX.

התכנית שתשמש אותנו בתרגיל זה היא thread_list.c.

תיאור קצר של התכנית

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

הפתיל הראשי יוצר שני פתילים. הפונקציה שבה הם מתחילים את חייהם נקראת add_items. היא מקבלת (לכאורה) שני ארגומנטים: מספר התחלה from ומספר סיום untill.

שאלה: כיצד פונקציה של פתיל מקבלת "שני נתונים"? הרי החתימה שלה מכילה ארגומנט אחד בלבד מטיפוס מצביע ל VOID? ==> עיון מאוד זריז בקוד מגלה את התשובה.

הפונקציה add_items מבצעת לולאה פשוטה, ועבור כל מספר שהיא צריכה להכניס לרשימה היא קוראת לפונקציה add_one_item.

הפונקציה add_one_item מכילה קטע קריטי בתכנית (החלק שמכניס את האיבר לרשימה).

היא מייצרת איבר ע"י malloc, ומוסיפה אותו בראש הרשימה. (ייצור האיבר איננו קטע קריטי, אלא רק ההכנסה).

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

בצעו את הדברים הבאים:

1. ַעיינו בזריזות בקוד התכנית
2. קמפל והרץ.
   האם הפלט תקין? האם הוא תואם את מה שחשבתם?
ניתן לראות שלמעשה הפתילים לא רצים במקביל. פתיל אחד "ישן" ועד שהוא מתעורר, הפתיל האחר סיים את עבודתו.
השורה שאחראית על כך היא נמצאת בתחילה הפונקציה add_items. הכנס אותה להערה.
3. קמפל והרץ.
   האם הפלט תקין?

אנו רואים שנוצר מצב מירוץ - הרשימה איננה טובה - ישנם איברים "שהלכו לאיבוד". נרצה לתקן את זה בעזרת mutex

---

שלב ב': הכנסת MUTEX.

להלן שלבים לשימוש ב MUTEX. בצעו אותם:

1. ַהכריזו על משתנה גלובלי

pthread_mutex_t mtx; 

  pthread_mutex_init(&mtx, NULL); 

  pthread_mutex_destroy(&mtx);

  pthread_mutex_lock(&mtx);    // get the lock
  
  pthread_mutex_unlock(&mtx);  // release the lock