در این سؤال (و سؤال ۳۱) باید مسأله‌ی ۵ فیلسوف بدانیم که در فراخوانی‌هایی که انجام میشه از سمافورها استفاده می‌شه. از طرفی پیداست که این مسأله برای بیان کردن سمافورها مطرح شده...

اگر متن توابع takeforks() یا think() یا eat() داده شده باشه٬ باید بررسی کنیم که وضعیت مسأله چطور هست.

پ.ن:
بن‌بست: مجموعه‌ای دو یا چند فرایند برای انجام کارهای خود٬ منتظر فرایند دیگری هستند که در همین مجموعه قرار داره.

خب با این وجود گزینه‌ی درست کدومه؟ با توجه به اینکه مسئله ‌ی فیلسوف‌ها به صورت پیش فرض بدون سمافور در نظر گرفته میشه و در اونصورت انحصار متقابل برقرار نیست وبن بست هم به وجود میاد.در این سوال اگر از سمافور استفاده شده بود نباید در صورت سوال ذکر میشد؟

به هر حال این موضوعات در کنکور وجود داره به خصوص اینجا که ۲ تست عیناً هر ۲ سال تکرار شدند. (حتی بدتر هم هست)

اما فراخوانی‌های روال اصلی در شبه‌کد داده شده٬ مشخصاً برای تأمین انحصار متقابل از سمافور استفاده می‌کنند. در گزینه‌ها هم اگر نگاه کنید٬ هیچ گزینه‌ای اشاره به انحصار متقابل نداره.

بنابراین باید این فرض رو داشت که اگر افراد٬ چنگال‌ها را در دست بگیرند٬ تا هر زمان که بخواهند از آن استفاده می‌کنند و بدون حد مشخصی٬ دیگران منتظر می‌مانند. بنابراین دارای قحطی هست.