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

دانلود رایگان پایان نامه تشخیص بن بست در سیستم های توزیع شده از شبکه آموزشی پژوهشی ایران – مادسیج

مقدمه

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

تعداد زیادی از الگوریتم های تشخیص بن بست در سیستم های توزیع شده اثبات شده است که ناردست اند. دلیل آن عمدتا عبارت است از نادیده گرفتن اثبات درستی ، استفاده از آرگونهای غیر رسمی فرضی برای اثبات درستی ، استفاده از تکنیک شبیه سازی برای نشان دادن درستی الگوریتم ، آرگون های غیر رسمی منجر به خظا می شوند. اثبات های غیر رسمی نسبتا غیر قابل اطمینان هستند و خیلی از الگوریتم ها که این گونه توسط نویسندگان ادعا شده که درست اند ، بعدها اثبات شده که نادرست اند. تعدادی از این الگوریتم ها به عنوان نمونه در این پایان نامه نشان داده می شود.

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

الگوریتم هو – رامامورتی دو الگوریتم که به آن ها یک – مرحله ای و دو – مرحله ای گفته می شود ، جهت تشخیص بن بست ارائه نمودند. پروتکل های آن ها قصد حل مشکلات بن بست در مدل های AND را داشت ، زیرا در آن ها تنها چرخه ها برای تشخیص بن بست جستجو می شوند. اگر چه این محدودیت ضروری نیست . یک الگوریتم جستجو بن بست خیلی پیچیده می تواند در یک سایت کنترلی به منظور اداره نمودن مدل های پیچیده بن بست طراحی شود.

در پروتکل دو – مرحله ای تشخیص بن بست هر سایت یم جدول وضعیتی برای همه وظایفی که در آن سایت آغاز شده اند نگهداری می کند. جدول وضعیت هر وظیفه ای منابعی را که هر وظیفه بدست آورده است و منابعی که وظیفه منتظر آن ها است را نگهداری می نماید. این سیستم کنترلی به طور پریودیک جدول وضعیت همه سایت ها را جمع آوری می کند و وضعیت عمومی سیستم را می سازد. اگر وضعیت عمومی سیستم شامل هیچ چرخه ای نباشد ، بنابراین بن بستی وجود ندارد در غیر این صورت سایت مرکزی دوباره برای ساختن گزارش های جدول وضعیت را از هر سایت می نماید . تنها وظایف که در هر دو گزارش آمده اند برای ساختن فاز وضعیت عمومی سیستم بکار گرفته می شود.