הגדרה

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

אם בוצעו מספר פעולות signal, על כל signal שבוצע תאופשר פעולת wait נוספת ללא המתנה.

בעת אתחול הסמפור ניתן ערך המציין את מספר פעולות ה-wait שיכולות לא לחכות, ללא קריאות

ל-signal כלל.

מסקנה: סמפור המאותחל ל-1, וכל קטע קוד קריטי העטוף ב-wait/signal מממשים מניעה הדדית.

תגיות המסמך:

מאת: באסל

תודה

הסברתם את זה, כמו שאר הנושאים, באופן הכי ברור שיש.
שיתוף:
| עוד