תוכן עניינים:
הגדרה - מה המשמעות של בעיה בפילוסופי האוכל?
בעיית פילוסופי האוכל היא דוגמא קלאסית במדעי המחשב המשמשת לעתים קרובות להמחשת סוגיות ופתרונות סינכרון בעיצוב אלגוריתמים במקביל. זה ממחיש את האתגרים של הימנעות ממצב מערכת בו התקדמות אינה אפשרית, מבוי סתום. הבעיה נוצרה בשנת 1965 על ידי EW Dijkstra. הבעיה מוצגת כתרגיל לבחינה של סטודנטים, המדגימה מספר מחשבים המתמודדים על גישה להיקפי כונן קלטת. הניסוח הידוע כיום היה עדכון מאוחר יותר של טוני הואר.
Techopedia מסביר את בעיית פילוסופי האוכל
בעיית פילוסופי האוכל היא המחשה של סתירה, מצב בו מספר תהליכים ממתינים למשאב אחד המשמש כיום בתהליך אחר, והפתרונות לבעיות מסוג זה. הניסוח הנוכחי של הבעיה עם הפילוסופים נוצר על ידי טוני הואר, אך הבעיה במקור נוסחה על ידי אדסגר דיקסטרה בשנת 1965.
הצהרת הבעיה של טוני הואר היא על חמישה פילוסופים שחייבים לחלופין לאכול ולחשוב. כל החמישה ממוקמים בשולחן עגול ועליו צלחת ספגטי ומזלגות שמונחים בבירור בין פילוסופים. מזלג יכול לשמש רק פילוסוף אחד בכל פעם. אולם על מנת לאכול, יש צורך בשני מזלגות - מזלג משמאל וימין. פילוסוף יכול לקחת מזלג זמין אך אסור לו לאכול אלא אם כן לפילוסוף יש מזלגות שמאל וימין. יש לציין כי האכילה אינה מוגבלת בכמות האפשרית של ספגטי שנותר או שטח הקיבה. ההנחה היא שיש היצע אינסופי של ספגטי וביקוש.
