طعام الفلاسفة:
وقد مثل ادغار ديكسترا مشكلة Interblocage في 1968 بأمر مشهور وهو مشكلة طعام الفلاسفة
(Dining Philosophers) Le dîner des philosiphes
فلو كان هناك خمسة فلاسفة يجلسون حول طاولة مستديرة. وكل فيلسوف يقضي وقته مابين التفكير والأكل. وفي وسط الطاولة صحن كبير من السباغيتي. حيث سيحتاج الفيلسوف إلى شوكتين ليتناول حصته من السباغيتي. و لسبب ما.. لن يأخذ الفلاسفة سوى خمسة شوك (fourchettes) طعام. ولذا ستوضع شوكة واحدة بين كل زوج من الفلاسفة، عِلْمًا أنَّهم قد اتفقوا على أن كلاً منهم سيستخدمها عند حاجته لها بيده اليمين أو الشمال حسب موقع الشوكة منه
وهذا برنامج يوضح الوقت الذي يمضيه الفيلسوف في الأكل أو التفكير. (يجب توفر الجافا (jdk) أو (JRE) لديك.):
اللون الأصفر يعني أن الفيلسوف يفكر.
اللون الأزرق يعني أن الفيلسوف جائع.
اللون الأخضر يعني أن الفيلسوف يأكل.
استخدم زر التجميد "Freeze" وزر المتابعة "Restart"للتحكم بالمحاكاة. وَجَرِّب تحريك الشريط إلى أقصى اليسار وَلاحظ ماذا سيحدث؟؟
بعد بضع ثوان ، سيصبح كل من الفلاسفة جائعاً وسيمسك كل منهم شوكة واحدة معه وسينتظر توفر شوكة ثانية له وبما أنه لا يوجد المزيد من الشوك وكل منهم يحتاج لشوكتي طعام حتى يتمكن من الأكل فإن أياً منهم لن يتمكن من الأكل وسيصلون لمأزق الجمود وعدم القدرة على المتابعة.
وسنلاحظ أن مشكلة طعام الفلاسفة توفرت فيها كل الشروط الثلاث السابقة:
-فيلسوف واحد فقط يستطيع استخدام الشوكة في الوقت الواحد، ما يعني أن الشوكة ressource critique على فيلسوف واحد فقط.
-الفيلسوف الجائع والذي معه شوكة واحدة فقط سوف يحتفظ بها ويحتجزها وسينتظر الحصول على شوكة أخرى.
-وبما أن الفلاسفة مسالمون ومهذبون فَـ: لا أحد منهم سيرغب أو يحاول انتزاع الشوكة من جاره بالإجبار.
لاحظ هنا:
لرؤية هذا البرنامج الذي حلَ المشكلة السابقة. حيث تجنب احتمال حدوث Interblocage بأن جعل عدداً زوجياً من الفلاسفة يأخذون الشوك من البقية بترتيب مختلف، وهو أول اليسار بدلا من أول اليمين. وهذا الحل يختلف عن الحل المقترح السابق فهو لم يلغِ أياً من الشروط الثلاثة وإنما فرض ترتيباً معيناً لِـ réservation des ressources. الأمر الذي يعني أنه من المستحيل أن يمسك كل من الفلاسفة الخمسة بشوكة واحدة فقط.
لرؤية هذا البرنامج الذي حلَ المشكلة السابقة. حيث تجنب احتمال حدوث Interblocage بأن جعل عدداً زوجياً من الفلاسفة يأخذون الشوك من البقية بترتيب مختلف، وهو أول اليسار بدلا من أول اليمين. وهذا الحل يختلف عن الحل المقترح السابق فهو لم يلغِ أياً من الشروط الثلاثة وإنما فرض ترتيباً معيناً لِـ réservation des ressources. الأمر الذي يعني أنه من المستحيل أن يمسك كل من الفلاسفة الخمسة بشوكة واحدة فقط.
