🤔در تصویر بالا یک شبکه پتری برای یک راه حل در ارتباط با مسئله مشهور به مشکل غذا خوردن فیلسوف ها نمایش داده شده است.
مسئله به این صورت است: تعدادی فیلسوف گرد میزی نشستهاند و می خواهند شام صرف کنند. اما برای صرف شام مطابق شکل باید از هر دو دست کمک بگیرند ولی تعداد چنگالها نیز محدود است. فرض دیگر این مسئله آن است که هر فیلسوف بنا بر طبیعت خود مدتی فکر می کند و سپس زمانی را هم مشغول غذا خوردن می شود. موضوع اولا آن است که چه پروتکلی تعیین شود تا اختلال کمتری در غذا خوردن و فکر کردن همه آنها ایجاد شود. در واقع مهمترین موضوع این مسئله آن است که چکار کنیم که هیچ یک از فیلسوفها بیش از حد گرسنگی نکشند...
چنین سیستمهایی می توانند بسادگی در حالتی قفل مانند بنام Deadlock (یا حتی Livelock) قرار بگیرند و حتی منجر به فوت چند فیلسوف بشوند...
مثلا در خیلی از مواقع کامپیوتر ما ممکن است در حالت Livelock قرار بگیرد که ما آنرا ممکن است به اشتباه Hang بنامیم.
✍ #مسعود_سعیدی
@science4lifee