پاورپوینت سیستم های عامل توزیع شده، بن بست

توضیحات محصول

دانلود پاورپوینت سیستم های عامل توزیع شده، بن بست با فرمت ppt ودر 31 اسلاید قابل ویرایش 

قسمتی از متن پاورپوینت سیستم های عامل توزیع شده، بن بست

مقدمه

oرقابت پردازه های همروند در اختصاص یک منبع

oدنباله وقایع لازم برای استفاده یک پردازنده از یک منبع:

محدودیت منبع

1- درخواست: ارائه درخواست، در صورت اختصاص قبلی منبع به پردازنده دیگر، قرار گرفتن در صف انتظار .... تا آزادی یکی از نوع منبع درخواستی

2- اختصاص در اولین فرصت ممکن: نگهداری جدولی از وضعیت منبع

3- آزاد سازی: بروز آوری ساختمان داده های مدیریتی

oاختصاص توسط سیستم و دو فراخوانی request و release توسط پردازنده ها انجام می شود.

nچون تعداد منابع محدود است، باید مواظبت شود سناریوهای درستی از اختصاص انجام شود.

nچنین سناریوهایی ممکن است منجر به بن بست شود.

شرایطی که هر کس متقاضی تعداد محدودی از کل منابع است ولی پردازه های رقیب مانع پیشرفت دو جانبه هستند :: بلوکه دا ئمی

 پاورپوینت سیستم های عامل توزیع شده، بن بست

oمنظور از منبع

nفیزیکی

nمنطقی : رکورد فایل – سمافور - ...

oمنبع بایستی در هر لحظه توسط یک پردازه استفاده شود و non-preemptable باشد.

منبع اختصاص یافته را نمی توان آزاد کرد مگر با درخواست مالک فعلی آن.

شرایط لازم برای بن بست

oشرط ممانعت دوجانبه: متقاضی بعدی باید منتظر بماند.

oشرط Hold & Wait: درخواست منبع جدید بدون آزادی منابع فعلی که در اختیار دارد.

oشرط No-Preemption: مالک مختارانه منبع را آزاد کند تا بتواند تخصیص یابد.

oشرط انتظار حلقوی

در صورت برقرار بودن 4 شرط بالا بن بست رخ می دهد.

مدل کردن بن بست

oاستفاده از یک گراف جهت دار - دارای دو نوع نود و لبه

Resource Allocation Graph

nنود پردازه ها

nنود منابع

nلبه اختصاص

nلبه درخواست

n

oاین گراف بصورت پویا

تغییر می کند و در واقع

به عنوان ابزاری برای کنترل بن بست استفاده می شود.

شرایط لازم و کافی برای بن بست

oشرط لازم، وجود یک سیکل در گراف اختصاص منابع است، معهذا شرط کافی نیست. یعنی وجود سیکل شرط لازم است ولی کافی نیست.

مطابق شکل وجود P1,R1,P2,R2,P1 یک حلقه است اما معرف حالت بن بست نیست.

oشرط کافی در موارد مختلف متفاوت است:

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

nاگر از هز منبع یکی یا بیشتر داشته باشیم شرط کافی برای بن بست یک Knot است.

oفرم ساده شده گراف تخصیص منابع این است که منابع را از گراف حذف کنیم.         WFG

nوقتی از هر منبع تنها یکی داریم، می توان WFG و وجود حلقه در آن را شرط لازم و کافی دانست.

مجموعه K نودی که در آن مجموعه قابل دسترس همه نودهای کل مجموعه باشد.