سلام
میخواستم بدونم با توجه به اینکه یکی از شرایط بن بست منابع : شرط انحصار متقابل (استفاده همزمان از یک منبع توسط دو یا چند فرایند غیر ممکن است) هست آیا جمله صحیح هست یا نه؟
جمله : برای وقوع بن بست باید ۲ پردازه هر کدام یک منبع را در اختیار گرفته و در خواست منبع دوم را بدهند.
ممنون
(۱۷ مرداد ۱۳۹۱ ۱۰:۳۳ ب.ظ)elhameli نوشته شده توسط: سلامبا توجه به کتاب دکتر پدرام
میخواستم بدونم با توجه به اینکه یکی از شرایط بن بست منابع : شرط انحصار متقابل (استفاده همزمان از یک منبع توسط دو یا چند فرایند غیر ممکن است) هست آیا جمله صحیح هست یا نه؟
جمله : برای وقوع بن بست باید ۲ پردازه هر کدام یک منبع را در اختیار گرفته و در خواست منبع دوم را بدهند.
ممنون
انحصار متقابل :در هر زمان فقط یک فرآیند می تواند از یک منبع استفاده کند.
پس جمله ی شما درسته
باید در مورد منبع اطلا عات داشته باشیم تا بتونیم قضاوت کنیم مثلا اینکه جمله ی "ما از هر منبع فقط یک نمونه داریم" به نظر من باید قید بشه وگرنه بن بست اتفاق نمیافته.
و اگر همچین چیزی فرض مسئله هست پس بن بست اتفاق میافته و عبارت صحیحه.مثل شکل زیر هست که قطعا بن بسته.
[attachment=5996]
اگر دو فرایند ، متقابلا ، علاوه بر منبع فعلی (که نمیتوانند آن را رها کنند) ، درخواست منابع فرایند طرف مقابل را کنند ، بن بست رخ خواهد داد.
انحصار متقابل یکی از اون ۳ شرط برای وقوع بن بست هستش و بدون شروط دیگه بن بست رخ نمیده ، یعنی اگه بشه یکی از اون شرایط رو بر روی منبعی از بین برد دیگه بن بست رخ نخواهد داد.
شرط چهارم هم (یک حلقه انتظار) شرط بالفعل سه شرط اول هستش و مسلما شرط کافی برای وقوع بن بست، یعنی اگه یکی از اون ۳ شرط بن بست رو اگه حل کنیم دیگه شرط ۴ ام رخ نخواهد داد.
مثلا اگه تو اون شکله بشه شرط نگه داشتن و انتظار رو از بین برد با وجود دوشرط دیگه ، بن بست هرگز رخ نمیده چون می تونیم یکی از پرزدازه ها رو مجبور کنیم تا منبع اختیار شده رو رها کنه و مجددا تمامی منابعش رو درخواست کنه.
اما برای افزایش کارایی و کاهش سربار و محدودیت سعی می کنن با رویکرد ترکیبی برای هر منبعی از روش خاصی استفاده کنن(مثلا برای فایل ها خواندنی شرط انحصار متقابل برداشته میشه که کاملا واضحه).
جمله : برای وقوع بن بست باید ۲ پردازه هر کدام یک منبع را در اختیار گرفته و در خواست منبع دوم را بدهند.
این مربوط به شرط hold and wait است
در حالی اگر سایر شرطها مثل matual exclution و none preemption برقرار نباشند بن بست رخ نمی دهد.
(۱۲ آبان ۱۳۹۱ ۰۹:۱۹ ب.ظ)golabijat نوشته شده توسط: جمله : برای وقوع بن بست باید ۲ پردازه هر کدام یک منبع را در اختیار گرفته و در خواست منبع دوم را بدهند.
این مربوط به شرط hold and wait است
در حالی اگر سایر شرطها مثل matual exclution و none preemption برقرار نباشند بن بست رخ نمی دهد.
منظورتون چیه؟
یعنی اون جمله شامل انحصار منقابل و غیر قبضه ای نمیشه؟
اما جمله اول شامل همه شروط میشه. یعنی پردازه A بدون اینکه کارش با منبع قبلی تموم شه در خواست یه منبع دیگه بده(گرفتن و نگه داشتن) این منبع دوم به یک پردازه B تخصیص داده شده و حالا پردازه B درخواست منبع در اختیار پردازه A رو میده . منابع نگهداشته شده قابل پس گرفتن زوری نیستن.
این در واقع معنی جمله ای بود که فرمودین.