سوال 103

حل تشریحی سوال شماره 103 سیستم‌های عامل

کنکور ارشد مهندسی کامپیوتر 1401

103.

اسانسور ساختمانی 20 طبقه (از همکف الی طبقه 19) با ظرفیت حمل 1 نفر مفروض است. فرض کنید در هر طبقه 1 نفر زندگی میکند و در شبانه روز از اسانسور برای رفت و برگشت به دیگر طبقات استفاده میکند. الگوریتم حرکت اسانسور خالی برای توقف در طبقه درخواستی، در همان جهتی است که قبلا حرکت می کرده است( مثلا اگر هنگام حمل مسافر از طبقه 1 به سمت 4 حرکت کرده، پس از تخلیه مسافر، اسانسور به سمت طبقات 5 الی 19 حرکت میکند تا اگر کسی در این طبقات درخواست داشت، بایستد. سپس از طبقه 19 به سمت همکف حرکت میکند و اگر کسی در این طبقات درخواست داشت، می ایستد. اسانسور خالی مدام درحال حرکت و پیمایش طبقات است. در ابتدا خالی بوده و در طبقه همکف (صفر) قرار دارد) در صورتی که این مسئله، مشابه مسئله ناحیه بحرانی مدنظر باشد طوری که مسافران حکم فرایند (پردازه) و اسانسور حکم ناحیه بحرانی را داشته باشد. چند شرط از شروط ناحیه بحرانی (انحصار متقابل، پیشرفت، انتظار محدود ) نقض میشود؟

1)

دقیقا 1 شرط نقض میشود

2)

دقیقا 3 شرط نقض میشود

3)

دقیقا 2 شرط نقض میشود

4)

هیچ شرطی نقض نمیشود

پاسخ ها

1 پاسخ
دکتر ابوالفضل حقیقت
دکتر ابوالفضل …سه شنبه 15 اردیبهشت 1405

گزينه 1 درست است.

فرض کنید یک نفر در طبقه 1 سوار آسانسور می­‌شود که به طبقه 18 برود. آسانسور کمی بالا می­‌رود که علی (نفر دوم) در طبقه 10 کلید آسانسور را می­‌زند. آسانسور که ظرفیت فقط یک نفر را دارد از جلو علی رد می­‌شود و نفر اول را در طبقه 18 پیاده می‌­کند. همانطور که آسانسور به طرف طبقه 19 می­‌رود یک نفر سوم در طبقه 17 کلید آسانسور را می‌­زند. آسانسور از طبقه 19 به طبق 17 می­‌رود و نفر سوم را سوار می­‌کند و او می‌­خواهد به طبقه 3 برود. آسانسور بار دیگر در طبقه 10 از جلو علی رد می­‌شود و توجهی به او نمی­‌کند. در راه نفر چهارم در طبقه 2 کلید درخواست آسانسور را می­‌زند. آسانسور در طبق 3 نفر سوم را پیاده می­‌کند و به طبقه صفر (همکف) می­‌رود. سپس به طبقه 2 برمی‌گردد و نفر چهارم را که می­‌خواهد به طبقه 16 برود سوار می­‌کند و بار دیگر نیز در طبقه 10 از جلو علی رد می‌­شود و توجهی به او نمی­‌کند. چه موقعی نوبت علی می­‌شود؟ شاید هیچ وقت. هیچ حد بالای مشخصی ندارد و این یعنی نقض شرط انتظار محدود، چون گرسنگی (قحطی) پیش آمده است. اما آسانسور فقط یک نفر سوار می‌­کند (برقراری انحصار متقابل) و اگر کسی نخواهد سوار آسانسور شود مانع سوار شدن بقیه نمی­‌شود (برقراری شرط پیشرفت)

ارسال پاسخ