لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل : .ppt ( قابل ويرايش و آماده پرينت )
تعداد اسلاید : 31 اسلاید
قسمتی از متن .ppt :
سیستم های عامل توزیع شده
بن بست – Deadlock
مقدمه
رقابت پردازه های همروند در اختصاص یک منبع
دنباله وقایع لازم برای استفاده یک پردازنده از یک منبع:
1- درخواست: ارائه درخواست، در صورت اختصاص قبلی منبع به پردازنده دیگر، قرار گرفتن در صف انتظار .... تا آزادی یکی از نوع منبع درخواستی
2- اختصاص در اولین فرصت ممکن: نگهداری جدولی از وضعیت منبع
3- آزاد سازی: بروز آوری ساختمان داده های مدیریتی
اختصاص توسط سیستم و دو فراخوانی request و release توسط پردازنده ها انجام می شود.
چون تعداد منابع محدود است، باید مواظبت شود سناریوهای درستی از اختصاص انجام شود.
چنین سناریوهایی ممکن است منجر به بن بست شود.
شرایطی که هر کس متقاضی تعداد محدودی از کل منابع است ولی پردازه های رقیب مانع پیشرفت دو جانبه هستند :: بلوکه دائمی
منظور از منبع
فیزیکی
منطقی : رکورد فایل – سمافور - ...
منبع بایستی در هر لحظه توسط یک پردازه استفاده شود و non-preemptable باشد.
منبع اختصاص یافته را نمی توان آزاد کرد مگر با درخواست مالک فعلی آن.
شرایط لازم برای بن بست
شرط ممانعت دوجانبه: متقاضی بعدی باید منتظر بماند.
شرط Hold & Wait: درخواست منبع جدید بدون آزادی منابع فعلی که در اختیار دارد.
شرط No-Preemption: مالک مختارانه منبع را آزاد کند تا بتواند تخصیص یابد.
شرط انتظار حلقوی
در صورت برقرار بودن 4 شرط بالا بن بست رخ می دهد.
مدل کردن بن بست
استفاده از یک گراف جهت دار - دارای دو نوع نود و لبه
Resource Allocation Graph
نود پردازه ها
نود منابع
لبه اختصاص
لبه درخواست
این گراف بصورت پویا
تغییر می کند و در واقع
به عنوان ابزاری برای کنترل بن بست استفاده می شود.