طراحی مدل فلاسفه فاقد بن بست با استفاده از Coloured Petri net
سال انتشار: 1400
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 402
فایل این مقاله در 21 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICTI04_046
تاریخ نمایه سازی: 20 مهر 1400
چکیده مقاله:
مسئله فلاسفه در ناهارخوری (dining philosophers) یک مثال کلاسیک سیستم های همروند است. پنج فیلسوف دور یک میز نشسته اند، یا در حال تفکر و مباحثه هستند، یا آنکه در حال غذا خوردن هستند. هر کدام یک ظرف اسپاگتی دارند و باید دو چنگال برای خوردن آن داسته باشند. تعداد چنگال های پنج تا است که ما بین فلاسفه قرار دارند، هر فیلسوف باید به صورت متناوب فکر کند و بخورد. با این حال، یک فیلسوف فقط زمانی می تواند اسپاگتی بخورد که هر دو چنگال سمت چپ و سمت راست را در اختیار داشته باشد. هر چنگال در هر لحظه فقط می تواند توسط یک فیلسوف استفاده شود و بنابراین، یک فیلسوف فقط زمانی می تواند چنگال استفاده کند که چنگال توسط فیلسوف دیگر در حال استفاده نباشد. بعد از این که یک فیلسوف خوردنش تمام شد، باید هر دوچنگال را روی میز بگذارد تا بقیه از آن ها استفاده کنند. اگر یک فیلسوف خاص به دلیل مشکل زمانبندی قادر نباشد تا هر دو چنگال را به دست آورد ممکن است قحطی منبع بصورت مستقل از بن بست نیز رخ دهد. ما در این مقاله سعی کردیم مدلی بسازیم که اگر فلاسفه نتواند هر دو چنگال را بدست بیاورد، چنگال برداشته شده را بر روی میز قرار دهد و مسئله بن بست حل می شود.
نویسندگان
جواد مظفری
استاد مدعو دانشگاه محقق اردبیلی