تشخیص بن بست در سیستم های توزیع شده

تشخیص بن بست در سیستم های توزیع شده

تعداد صفحات : 51 با فرمت ورد 

 

 

مقدمه


یک سیستم توزیع شده شبکه‎ای از سایت‎ها است که توسط ارسال پیغام با یکدیگر تبادل اطلاعات می‎کنند. یکی از مهم‎ترین کاربردهای سیستم‎های توزیع شده امکان به اشتراک گذاشتن منابع بین سیستم‎ها است. در چنین محیط‎هایی اگر چنانچه یک دنباله از تخصیص منابع به پردازه‎ها تحت کنترل نباشد، امکان به وجود آمدن بن‎بست وجود دارد.
یک بن‎بست هنگامی روی می‎دهد که پردازه‎هایی که برخی منابع را گرفته‎اند برای در اختیار گرفتن منابعی که توسط دیگر پردازه‎های در همان مجموعه گرفته شده اند درخواست بدهند. ساده‎ترین توصیف یک بن‎بست از دو پردازه تشکیل می‎شود، که هر کدام از آنها منبع متفاوتی را در حالت انحصاری در اختیار گرفته‎اند و برای گرفتن منبعی که در اختیار دیگری است درخواست می‎دهند. جز در حالتی که بن بست رفع می‎شود، تمامی پردازه‎های شامل بن بست به طور نامتناهی مسدود هستند. در نتیجه، یک بن‎بست نیاز به دقت پردازه ای در بیرون پردازه‎هایی که مسدود شده اند دارد که آنرا تشخیص و حل کند.
یک بن‎بست توسط سقط کردن یک یا چند پردازه در بن‎بست رفع می‎شود. با سقط شدن پردازه(ها) منابعی که در اختیار آنها بود به دیگر پردازه‎های موجود در بن‎بست داده می‎شود تا بتوانند به کار خود ادامه دهند.
در سالهای اخیر مسأله‎ی بن‎بست در تحقیقات زیادی مد نظر قرار گرفته است. این تحقیقات شامل بن‎بست در سیستم‎های اشتراکی حافظه و سیستم‎های توزیع شده بوده است. در سیستم‎های توزیع‎شده مشکل همچنان پابرجاست. در این سیستم‎ها به طور مشخص بایستی الگویی وجود داشته باشد که بن‎بست را تشخیص دهد (detection) و همچنین متعاقب آن روشی برای رفع بن‎بست موجود باشد (resolution).
در الگوریتم‎های تشخیص و رفع بن‎بست استفاده از یک روش اثبات صوری اجتناب‎ناپذیر است. در فصل‎های بعدی نشان خواهیم داد که چرا نگرش در سیستم‎های توزیع شده ناچار به سمت روش‎های صوری پیش رفته است. در این گزارش پس از بررسی کارهای دیگر صوری انجام گرفته در این زمینه، بررسی الگوریتم‎های توزیع‎شده بر مبنای اتوماتاهای محدودیت امکان سنجی خواهیم نمود.




ارسال نظر

  1. آواتار


    ارسال نظر
اس تی یو دانلود یک مرجع برای دانلود فایل های دانشجویی و درسی
در صورت بروز هر گونه مشکل در فرآیند خرید با شماره 09010633413 تماس حاصل فرمایید
همچنین در پیام رسان ایتا پاسخگوی شما هستیم
آمار فروشگاه
  •   تعداد فروشگاه: 13
  •   تعداد محصول: 14,289
  •   بازدید امروز : 45,425
  •   بازدید هفته گذشته: 195,455
  •   بازدید ماه گذشته: 891,010