تشخیص بن بست در سیستم های توزیع شده
تعداد صفحات : 51 با فرمت ورد
مقدمه
يک
سيستم توزيع شده شبکهای از سايتها است که توسط ارسال پيغام با يکديگر
تبادل اطلاعات میکنند. يکی از مهمترين کاربردهای سيستمهای توزيع شده
امکان به اشتراک گذاشتن منابع بين سيستمها است. در چنين محيطهايي اگر
چنانچه يک دنباله از تخصيص منابع به پردازهها تحت کنترل نباشد، امکان به
وجود آمدن بنبست وجود دارد.
يک بنبست هنگامی روی ميدهد که
پردازههايي که برخی منابع را گرفتهاند برای در اختيار گرفتن منابعی که
توسط ديگر پردازههای در همان مجموعه گرفته شده اند درخواست بدهند.
سادهترين توصيف يک بنبست از دو پردازه تشکيل میشود، که هر کدام از آنها
منبع متفاوتی را در حالت انحصاری در اختيار گرفتهاند و برای گرفتن منبعی
که در اختيار ديگری است درخواست میدهند. جز در حالتی که بن بست رفع
میشود، تمامی پردازههای شامل بن بست به طور نامتناهی مسدود هستند. در
نتيجه، يک بنبست نياز به دقت پردازه ای در بيرون پردازههايي که مسدود
شده اند دارد که آنرا تشخيص و حل کند.
يک بنبست توسط سقط کردن يک يا
چند پردازه در بنبست رفع میشود. با سقط شدن پردازه(ها) منابعي که در
اختيار آنها بود به ديگر پردازههای موجود در بنبست داده میشود تا
بتوانند به کار خود ادامه دهند.
در سالهای اخير مسألهی بنبست در
تحقيقات زيادی مد نظر قرار گرفته است. اين تحقيقات شامل بنبست در
سيستمهای اشتراکی حافظه و سيستمهای توزيع شده بوده است. در سيستمهای
توزيعشده مشکل همچنان پابرجاست. در اين سيستمها به طور مشخص بايستی
الگويي وجود داشته باشد که بنبست را تشخيص دهد (detection) و همچنين
متعاقب آن روشي برای رفع بنبست موجود باشد (resolution).
در
الگوريتمهای تشخيص و رفع بنبست استفاده از يک روش اثبات صوری
اجتنابناپذير است. در فصلهای بعدی نشان خواهيم داد که چرا نگرش در
سيستمهای توزيع شده ناچار به سمت روشهای صوری پيش رفته است. در اين گزارش
پس از بررسی کارهای ديگر صوری انجام گرفته در اين زمينه، بررسی
الگوريتمهای توزيعشده بر مبنای اتوماتاهای محدوديت امکان سنجی خواهيم
نمود.
چطور این فایل رو دانلود کنم؟
برای دانلود فایل کافیه روی دکمه "خرید و دانلود" کلیک کنید تا صفحه "پیش فاکتور خرید" برای شما باز شود و مشخصات (نام و نام خانوادگی ، تماس و ایمیل ) رو با دقت ثبت کنید و روی دکمه "پرداخت آنلاین" کلیک کنید بعد از پرداخت هزینه از طریق سیستم بانکی به سایت برگشت داده میشوید و صفحه دانلود برای شما نمایش داده میشود
آیا فایل رو بلافاصله بعد از خرید تحویل می گیرم؟
بله. بلافاصله بعد از پرداخت آنلاین ، صفحه دانلود فایل برای شما نمایش داده میشود و می توانید فایل خریداری شده را دانلود نمایید
نمی توانم به صورت آنلاین خرید انجام دهم
در صورتی که امکان پرداخت آنلاین برای شما میسر نمی باشد می توانید هزینه فایل را به صورت آفلاین ( کارت به کارت) پرداخت نمایید تا فایل برای شما ارسال شود برای این کار کافیست در پیش فاکتور خرید مراحل خرید آفلاین را دنبال کنید
هزینه رو پرداخت کردم اما نمی توانم فایل را دانلود کنم
در سایت ام پی فایل چند روش پشتیبانی برای راحتی شما در نظر گرفتیم تا با سرعت بیشتری به پیام های شما رسیدگی کنیم. برای دریافت سریع فایل می تونید از گزینه پیگیری پرداخت یا تماس با ما (واقع در منوی بالای سایت) و یا از طریق شماره 09395794439 با ما در ارتباط باشید .
فایل دانلود شده با توضیحات ارائه شده مطابقت ندارد
اگر فایل با توضیحات ارائه شده توسط فروشنده همخوانی ندارد کافیست از طریق قسمت تماس با ما یا شماره 09395794439 با ما در میان بگذارید تا پیگیری های لازم صورت گیرد و فایل اصلی برای شما ارسال شود در صورتی که به هر دلیلی فایل اصلی در دسترس نباشد هزینه پرداختی شما برگشت داده میشود
برای به مشکل نخوردن در زمان خرید چه اقدامی انجام دهم ؟
برای اینکه در زمان پرداخت آنلاین به مشکل برخورد نکنید باید V P N خاموش باشد و از مرورگرهای موزیلا فایرفاکس و کروم استفاده کنید. و ضمنا در صفحه "پیش فاکتور خرید" مشخصات خود را به شکل صحیح وارد کنید تا در پیگیری های بعدی با مشکل مواجه نشوید