בעיית פילוסופים

מְחַבֵּר: Monica Porter
תאריך הבריאה: 22 מרץ 2021
תאריך עדכון: 17 מאי 2024
Anonim
בעיית הפילוסופים הסועדים
וִידֵאוֹ: בעיית הפילוסופים הסועדים

תוֹכֶן

הגדרה - מה המשמעות של בעיה בפילוסופי האוכל?

בעיית פילוסופי האוכל היא דוגמא קלאסית במדעי המחשב המשמשת לעתים קרובות להמחשת סוגיות ופתרונות סינכרון בעיצוב אלגוריתמים במקביל. זה ממחיש את האתגרים של הימנעות ממצב מערכת בו התקדמות אינה אפשרית, מבוי סתום. הבעיה נוצרה בשנת 1965 על ידי E. W. Dijkstra. הבעיה מוצגת כתרגיל לבחינה של סטודנטים, המדגימה מספר מחשבים המתמודדים על גישה להיקפי כונן קלטת. הניסוח הידוע כיום היה עדכון מאוחר יותר של טוני הואר.


מבוא ל- Microsoft Azure ו- Microsoft Cloud | במהלך מדריך זה תוכלו ללמוד על אודות מיחשוב ענן וכיצד Microsoft Azure יכולה לעזור לכם להעביר ולנהל את העסק שלכם מהענן.

Techopedia מסביר את בעיית פילוסופי האוכל

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

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