(۲۷ آذر ۱۳۹۲ ۰۹:۵۷ ب.ظ)tarane1992 نوشته شده توسط:  سلام

جواب گزینه ۳ هست. من یه توضیحی درباره اینکه آیا انحصار متقابل هست و پیشرفت داره؟چرا محدودیت انتظار نداره؟دوستان زحمت بکشن توضیح بدن ممنون میشم.


مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.

ببینید یکی یکی :
۱/ایا انحصار متقابل را رعایت میکند؟ این اگه یادم باشه همون راه حل الوکلنگ (نمیدونم درست نوشتم یا نه، همون که بچها توو پارک بازی میکنن باش الکلنگ)، و اینکه چرا شرطو رعایت میکنه ، ببین همیشه در اینجور مسائل ، بیا و بگو اگر مثلا اولی TRUE ّبشه و یه دفعه پردازنده از این فرایند گرفته بشه و بره توو فرایند بعدی ، و اونم پرچمشو tRUE کنه ، ایا هر دو وارد ناحیه بحرانی میشن؟
فرایند اول
فرایند دوم
،اینجا میبینیم که فرایند اول شماره خودش با رسیدن به خط پایین(پرچم خوردشو tRUE میکنه)
KEY[1]=TRUE

خب حالا فرض میکنیم که پردازنده ازش گرفته بشه و فرایند دوم شروع به اجرا بشه و به خط KEY[2]=TRUE برسه ، خب این فرایندم پرچم خودشو TRUE کرد، حالا همین فرایند میره توی خط بعدی WHILE که میگه اگر پرچم این فرایند TRUE هستش
WHILE(KEY[2]=TRUE) ، پس مقدار LOCK و پرچم رو عوض کنی
دقت کن همین یه خط برای حلقه wHILE هستش،
LOCK که FALSE هستش ، پس مقدار پرچم این فرایند با فلگ عوض میشه یعنی LOCK =TRUE و KEY[2]=FALSE
حالا همینجا پردازنده از فرایند دوم گرفته میشه و بر میگرده به فرایند اول که روی خط قبل از WHILE بود و پرچمشو TRUE کرده بود
میاد روی دستور WHILE و مثه قبل ، تا زمانیکه پرچمش TRUE هست ، باید مقدار LOCK رو با KEY[1] عوض کنیم
خب؟
متوجه شدی؟ ما تووو فرایند ۲ مفدار LOCK رو با KEY[2] عوض کردیم و الان FALG =TRUE هستش ،
پس حالا توو فرایند۱ وقتی
اجرا میشه ، KEY[1] که TRUE هستش و LOCK هم TRUE هستش ، پس هر دوتاشون همش TRUE هستن ، پس فرایند۱ از حلقه WHILE جلوتر نمیره تا زمانیکه KEY[1]=FALSE بشه ، و اینم زماننی اتفاق میوفته که LOCK =FALSE بشه!
حالا اگر پردازنده از فرایند ۱ گرفته بشه و بره توو فرایند۲ ، فرایند۲ KEY[2]=FALSE شده ، پس شرط حلقه نقض میشه و میریم رو خط از حلقه WHILE که همون CS هسنش بعد کارامونو توی ناحیه بحرانی انجام میدیم و بعد از ناحیه بحرانی خارج میشیم و FALGE=FALSE میکنیم و اینجا اگر برنامه از فرایند۲ گرفته بشه و بره به فرایند۱ ، فلگ با KEY[1] عوض میشه ، شرط حلقه نقص میشه و اونم میتونه وارد ناحیه بحرانی بشه
پس شرط انحصار متقابل برقراره

۲/بقیشو سریع میگم :
شرط پیشرفت،یعنی اگر یک فرایند به ناحیه بحرانیش کاری نداشته باشه ، بقیه فرایند ها بتونن وارد ناحیه بحرانی بشن ، یعنی این جلوشونو نگیره ، که این شرط هم برقراره چرا؟ چون فقط کسی که وارد ناحیه بحرانی میشه LOCK رو TRUE میکنه ونمیزاره بقیه وارد بشن ، پس تا زمانیکه کسی وارد ناحیع بحرانی نشده LOCK=FALSE هست و درنتیجه هرکسی دلش خواست میتونه وارد شه

۳/محدودیت زمان انتظار ، یعنی ااگر یه فرایند رفت توو ناحیه بحرانی ، و فرایند بعدی هم خواست بره ، باید منتظرش واسته تا فرایند اول از ناحیه بحرانی خارج بشه ، توو این الگوریتم مثلا فرایند دوم وارد ناحیه شده ، پس فرایند اول منتظره باید واسته تا فرایند دوم از ناحیه خارج بشه، همینجور که ممیبینیم هیچ کدی توی این الگوریتم نیس که فرایندی که وارد ناحیه بحرانی شده رو بزور از ناحیه بندازه بیرون ، یعنی فرایندی ک داخل ناحیه هستش میتونه تا هروقت دلش خواست اونجا واسته ، البته ، خب معمولا فرایندا کاراشونو انجام میدن و از ناحیه خارج میشن ، ولی اگر فرایند تو ناحیه بحرانی خراب شه ، مسدود شه یا کلا sTOP شه یعنی نتونه کاراشو بکنه تا عبد اونجا میمونه ، و فرایندهای دیگه ای هم که تووو اون حلقهه WHILE منتظرن تا LOCK=FALSE شه ، هیچوقت از اونجا خارج نمیشن و درواقع به مدت نامعلوم باید توی اون حلقه قرار داشته باشن تا ببینیم که فرایندی که توی ناحیه بحرانیه از اون خارج ممیشه

یعنی در این حد

ممنون دوست عزیز که وقت گذاشتی من بخونم هر جا نفهمیدم بهتون اطلاع میدم اخه این مبحثو یه کم مشکل دارم.

مدرسان هم گزینه ۴ رو صحیح اعلام کرده !
اینا مگه با کلید سنجش جواباشون رو مقایسه نمیکنند ؟؟
هرچند من کلا بیخیال این مبحث شدم چون حوصله م نیست بفهممشون !