سلام دوستان
اگر در مسئله ی تغذیه ی فیلسوفان فیلسوف های مکان های فرد ابتدا چنگال سمت چپ را بردارند و فیلسوفان مکان های زوج ابتدا چنگال سمت راست را برداردند آیا در این صورت می توان گفت که بدون نیاز به سمافور Room هم (راه حلی که در آن از ورود همزمان فیلسوفان جلوگیری میشد تا بن بست رخ ندهد) بن بست رخ نخواهد داد؟
"اگر تعداد فیلسوفان دلخواه باشد"
چقدر به نظرتون این میتونه درست باشه؟ ممنون.
نمی دونم در مورد این الگوریتم جلوگیری از بن بست در این مسئله جایی بحث شده یا نه؟ اگر کسی جایی رو میشناسه ممنون میشم معرفی کنه.
سلام.
فکر میکنم، راه حلی که عنوان کردید مسئله رو به یک فضای خاص میبره، در واقع تعریف مسئله، به صورت General همونی هست که در کتاب وجود داره و در این شرایط باید برای مسئله راه حل ارائه بشه.
سلام دوباره,
من یه چند وقت به دلایلی نتونستم دنبال این سوالو بگیرم. ولی این سوال همچنان برام مطرحه و جوابشو نیاز دارم. کسی از دوستان اگه می تونه کمک کنه ممنون میشم.
ممنون, شاید این طور باشه, ولی اگه بشه راهنمایی بکنین که چطور میشه مساله رو در این حالت حل کرد ممنون میشم.
بدون سمافور باز هم نخواهد شد چون حداقل یک چنگال هست که سمت چپ فیلسوف فرد و سمت راست فیلسوف زوج است .
حال فرض کنید دو تا فیلسوف همزمان گرسنه شده اند و به سمت چنگال حمله می برند این همانجایی است که همروندی بر روی داده های مشترک رعایت نشده است.
ممنون از پاسختون. منبعی هست که بشه راجع به این الگوریتم بیشتر مطالعه کرد؟ به جز کتاب استالینگز.