فرمت فایل :powerpoint (لینک دانلود پایین صفحه) تعداد صفحات 41 صفحه
- حفظ جامعیت یک منبع مشترک از طریق پی در پی سازی درخواستهای استفاده از آن
- برای مثال: مدیریت Directory در یک سیستم توزیع شده
- در محیط متمرکز، به واسطه وجود حافظه مشترک، از طریق متغیر مشترک (سمافور) قابل حل است. ولی در سیستم توزیع شده، هم منابع مشترک و هم کاربران توزیع شده وجود دارند و البته حافظه مشترکی هم وجود ندارد.
دسته بندی الگوریتمها
- الگوریتمهای نامهره بنیاد
- حداقل 2 دور تبادل پیغام نیاز است.
- هر سایت یک Assertion را ارزیابی میکند که اگر درست بود وارد Critical Section میشود.
- الگوریتمهای مهره بنیاد
- با تضمین اینکه همواره یک مهره داریم و این مهره مادامی که در اختیار پردازهای است به پردازه دیگر داده نمیشود.
- در واقع هر زمان که مهره به پردازهای رسید، نوبت او برای ورود به ناحیه بحرانی است.
- مدل سیستم:
- در صورت وجود تعدادی درخواست CS در یک سایت، درخواستها به ترتیب در یک صف قرار گرفته و یکباره سرویس داده میشوند.
- حالت هر سایت از دیدگاه CS:
- Requesting CS ç سایت بیکار است.
- Executing CS
- Idle
- علاوه بر ممانعت دو جانبه در هر الگوریتم، موارد زیر نیز اهمیت دارند:
- عاری بودن از بن بست - Deadlock
- عاری بودن از قحطی - Starvation
- انتظار بینهایت !!!!
- Fairness
- درخواستهای ورود به CS به ترتیب وارد CS شوند.
- تحمل خطا
- حداقل 2 دور تبادل پیغام نیاز است.
پاورپوینت در مورد Distributed Mutual Exclusion