پاورپوینت Deadlock- سیستم ههای عامل توزیع شده-بن بست (pptx) 31 اسلاید
دسته بندی : پاورپوینت
نوع فایل : PowerPoint (.pptx) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید: 31 اسلاید
قسمتی از متن PowerPoint (.pptx) :
1
سیستم های عامل توزیع شده
بن بست – Deadlock
2
مقدمه
رقابت پردازه های همروند در اختصاص یک منبع
دنباله وقایع لازم برای استفاده یک پردازنده از یک منبع:
محدودیت منبع
1- درخواست: ارائه درخواست، در صورت اختصاص قبلی منبع به پردازنده دیگر، قرار گرفتن در صف انتظار .... تا آزادی یکی از نوع منبع درخواستی
2- اختصاص در اولین فرصت ممکن: نگهداری جدولی از وضعیت منبع
3- آزاد سازی: بروز آوری ساختمان داده های مدیریتی
3
مقدمه – ادامه 1
اختصاص توسط سیستم و دو فراخوانی request و release توسط پردازنده ها انجام می شود.
چون تعداد منابع محدود است، باید مواظبت شود سناریوهای درستی از اختصاص انجام شود.
چنین سناریوهایی ممکن است منجر به بن بست شود.
شرایطی که هر کس متقاضی تعداد محدودی از کل منابع است ولی پردازه های رقیب مانع پیشرفت دو جانبه هستند :: بلوکه دا ئمی
4
مقدمه – ادامه 2
منظور از منبع
فیزیکی
منطقی : رکورد فایل – سمافور - ...
منبع بایستی در هر لحظه توسط یک پردازه استفاده شود و non-preemptable باشد.
منبع اختصاص یافته را نمی توان آزاد کرد مگر با درخواست مالک فعلی آن.
5
شرایط لازم برای بن بست
شرط ممانعت دوجانبه: متقاضی بعدی باید منتظر بماند.
شرط Hold & Wait: درخواست منبع جدید بدون آزادی منابع فعلی که در اختیار دارد.
شرط No-Preemption: مالک مختارانه منبع را آزاد کند تا بتواند تخصیص یابد.
شرط انتظار حلقوی
در صورت برقرار بودن 4 شرط بالا بن بست رخ می دهد.
6
مدل کردن بن بست
استفاده از یک گراف جهت دار - دارای دو نوع نود و لبه
Resource Allocation Graph
نود پردازه ها
نود منابع
لبه اختصاص
لبه درخواست
این گراف بصورت پویا
تغییر می کند و در واقع
به عنوان ابزاری برای کنترل بن بست استفاده می شود.
7
شرایط لازم و کافی برای بن بست
شرط لازم، وجود یک سیکل در گراف اختصاص منابع است، معهذا شرط کافی نیست. یعنی وجود سیکل شرط لازم است ولی کافی نیست.
مطابق شکل وجود P1,R1,P2,R2,P1 یک حلقه است اما معرف حالت بن بست نیست.
8
شرایط لازم و کافی برای بن بست - ادامه
شرط کافی در موارد مختلف متفاوت است:
اگر از هر منبع تنها یکی وجود داشته باشد وجود حلقه شرط لازم و کافی است.
اگر از هز منبع یکی یا بیشتر داشته باشیم شرط کافی برای بن بست یک Knot است.
فرم ساده شده گراف تخصیص منابع این است که منابع را از گراف حذف کنیم. WFG
وقتی از هر منبع تنها یکی داریم، می توان WFG و وجود حلقه در آن را شرط لازم و کافی دانست.
مجموعه K نودی که در آن مجموعه قابل دسترس همه نودهای کل مجموعه باشد.
9
بن بست در سیستم توزیع شده
مفهوم همان است که در محیط متمرکز ولی پیچیده تر
سه استراتژی
اجتناب: اختصاص دقیق منابع
پیش گیری: اعمال محدودیت در روش درخواست منابع توسط پردازه ها
تشخیص و ترمیم
در مواردی تمایز بین:
Resource Deadlock
Communication Deadlock: انتظار در بلاک برای رسیدن پیغام
حالت ساده ای از بن بست منابع است.
WFG
