loading...

دانلود رايگان

دانلود رايگان

بازدید : 142
سه شنبه 16 ارديبهشت 1399 زمان : 11:18

دانلود مقاله تشخيص بن بست در سيستم‌هاي توزيع شده

دانلود مقاله تشخيص بن بست در سيستم‌هاي توزيع شده

فرمت:word

۱- مفاهيم پايه

تعريف ۱-گراف- انتظار- براي (WFG): يك گراف جهتدار است كه وابستگي بين فرايندها را نشان مي دهد و در آن گره ها فرايندها و يالها نشان دهنده درخواست منابع است.

تعريف۲- چرخه[۱] بن بست: يك چرخه جهتدار در گراف- انتظار- براي (WFG) است.

تعريف۳– بن بست دروغين: به بن بستي گفته مي شود كه در حقيقت وجود ندارد.

تعريف۴– درستي الگوريتم هاي تشخيص بن بست توزيع شده: اثبات درستي الگوريتم هاي تشخيص
بن بست توزيع شده با ۲ ويژگي زير تعيين مي شود:

ويژگي پيشرفت (Progress): بدين معني كه هر بن بستي كه واقع شود در نهايت بايد تشخيص داده شود.
ويژگي امنيت(Safety): اگر بن بستي توسط الگوريتم تشخيص داده شود، بايد واقعاً وجود داشته باشد.

۱-۲- انواع مدلهاي بن بست براساس سيستم تبادل پيام

براساس سيستم تبادل پيام، دو نوع بن بست وجود دارد:

* بن بست منبعي

* بن بست ارتباطي

در بن بستهاي ارتباطي، پيامها منابعي هستند كه فرايندها براي آن متنظراند. تفاوت اصلي بين بن بست منبعي و بن بست ارتباطي در اين است كه بن بست منبعي از شرايط AND استفاده مي كند و بن بست ارتباطي از شرط OR با تعريف ذيل استفاده مي كند:

۱-۳- انواع مدلهاي بن بست براساس نوع درخواست منبع

تقسيم بندي مدلهاي بن بست براساس سيستم تبادل پيام به دو نوع بن بست ارتباطي و منبع به منظور شناسايي الگوريتمهاي تشخيص بن بست كافي نيست. بنابراين كه ويژگي هاي بيشتري از اين الگوريتمها مدنظر قرار گيرد. يكي از اين ويژگي ها نوع درخواست منبع است. در اين بخش سلسله مراتبي از مدلهاي منبع كه مي تواند در تقسيم بندي الگوريتمها تشخيص بن بست مورد استفاده قرار گيرد و مبتني بر مدل بن بست ارائه شده توسط Knapp است، ارائه مي شود.

۱-۳-۱- مدل گراف- انتظار- براي

اين گراف به كلاس گراف هاي جهت دار تعلق دارد. گره ها در اين گراف براي مدل كردن فرايندها بكار مي روند. يالهاي جهتدار در گراف نشان دهنده روابط مسدود شدن بين فرايندها . يك گره با يك يال خارج شده از آن به يك فرايند مسدود شده تعلق دارد.

بن بست با يك چرخه در اين گراف مشخص مي شود. ارتباط بين بن بستها و اين گراف در بخشهاي زير نشان داده شده است[۱۳].

۱-۳-۲- مدل تك- منبعي(One-Resource Model)

مدل تك منبعي، ساده ترين مدل درخواست منبع است. در اين مدل يك فرايند تنها يك درخواست منبع در يك زمان مي تواند داشته باشد،بدان معني كه ماكزيمم يال خروجي از يك گره در گراف-انتظار- براي برابر يك است.

براي يافتن بن بست در يك سيستم كه مدل درخواست آن تك منبعي است، لازم است يك چرخه در گراف-انتظار-براي پيدا شود. يك الگوريتم ساده براي تشخيص بن بست براساس اين مدل توسط ميچل و مريت[۲] است.

۱-۳-۳- مدل AND

اين مدل عمومي تر از مدل تك منبعي است. در اين مدل يك به يك فرايند اجازه داده مي شود كه مجموعه اي از منابع را درخواست نمايد. تا زماني مسدود مي ماند كه همه منابعي را كه درخواست نموده بود، به دست آورد به عبارتي فرايندي كه نياز به منابعي براي اجرا دارد، زماني مي تواند پيش رود كه همه منابعش را به دست آورد.

همانند مدل تك منبعي براي يافتن بن بست در يك سيستم با مدل اين مدل درخواست، لازم است يك چرخه در گراف-انتظار-براي پيدا شود. نمونه اي از اين الگوريتمها توسط چندي- ميسرا-هاس ، منساس و مانتز و اوبرمارك، ارائه شده است.

۱-۳-۴- مدلOR

اين مدل جالبي از مدل درخواست AND است. به آن مدل ارتباطي نيز مي گويند. در اين مدل به منظور تشخيص بن بست، تنها تشخيص يك چرخه در گراف-انتظار-براي كافي نيست، يافتن بن بست شامل پيدا كردن يك گره در گراف-انتظار-براي است.

فرايندي كه نياز به منابعي براي اجرا دارد،زماني مي تواند پيش رود كه حداقل يكي از منابعش را به دست آورد.دليلي كه شرط OR براي بن بست ارتباطي استفاده شده است اين است كه اغلب ساختارهاي كنترل توزيع شده غيرقطعي[۲] هستند و يك فرايند ممكن است در انتظار يك پيام از چندين فرايند باشد.

۱-۳-۵- مدل AND-OR

مدل AND و مدل OR هردو از مدل AND-OR مشتق شده اند. مفهوم اصلي اين مدل اين است كه اين نوع درخواست تركيبي از و يا در درخواست منبع است. تصور كنيدa ،b ، c، d منابع هستند كه در كامپيوتر هاي متفاوتي قرار دارند. درخواست به اين شكلd and ((c or b) a and) امكان پذير است. تشخيص بن بست در اين مدل مي تواند با تكرار تست براي مدل تشخيص OR با فرض اينكه بن بست يك مشخصه پايدار است، انجام شود.

۱-۳-۶- مدل p-out-of-q

اين مدل بدين معني است كه يك فرايند به طور همزمان درخواست q منبع را مي نمايد و تا زماني كه p منبع را بدست آورد،مسدود مي ماند. اين مدل نوع ديگر AND-OR است كه تركيبي از مدلهاي OR و AND است به عنوان مثال(b OR c) AND q


4345
دانلود مقاله تشخيص بن بست در سيستم‌هاي توزيع شده

دانلود مقاله تشخيص بن بست در سيستم‌هاي توزيع شده

فرمت:word

۱- مفاهيم پايه

تعريف ۱-گراف- انتظار- براي (WFG): يك گراف جهتدار است كه وابستگي بين فرايندها را نشان مي دهد و در آن گره ها فرايندها و يالها نشان دهنده درخواست منابع است.

تعريف۲- چرخه[۱] بن بست: يك چرخه جهتدار در گراف- انتظار- براي (WFG) است.

تعريف۳– بن بست دروغين: به بن بستي گفته مي شود كه در حقيقت وجود ندارد.

تعريف۴– درستي الگوريتم هاي تشخيص بن بست توزيع شده: اثبات درستي الگوريتم هاي تشخيص
بن بست توزيع شده با ۲ ويژگي زير تعيين مي شود:

ويژگي پيشرفت (Progress): بدين معني كه هر بن بستي كه واقع شود در نهايت بايد تشخيص داده شود.
ويژگي امنيت(Safety): اگر بن بستي توسط الگوريتم تشخيص داده شود، بايد واقعاً وجود داشته باشد.

۱-۲- انواع مدلهاي بن بست براساس سيستم تبادل پيام

براساس سيستم تبادل پيام، دو نوع بن بست وجود دارد:

* بن بست منبعي

* بن بست ارتباطي

در بن بستهاي ارتباطي، پيامها منابعي هستند كه فرايندها براي آن متنظراند. تفاوت اصلي بين بن بست منبعي و بن بست ارتباطي در اين است كه بن بست منبعي از شرايط AND استفاده مي كند و بن بست ارتباطي از شرط OR با تعريف ذيل استفاده مي كند:

۱-۳- انواع مدلهاي بن بست براساس نوع درخواست منبع

تقسيم بندي مدلهاي بن بست براساس سيستم تبادل پيام به دو نوع بن بست ارتباطي و منبع به منظور شناسايي الگوريتمهاي تشخيص بن بست كافي نيست. بنابراين كه ويژگي هاي بيشتري از اين الگوريتمها مدنظر قرار گيرد. يكي از اين ويژگي ها نوع درخواست منبع است. در اين بخش سلسله مراتبي از مدلهاي منبع كه مي تواند در تقسيم بندي الگوريتمها تشخيص بن بست مورد استفاده قرار گيرد و مبتني بر مدل بن بست ارائه شده توسط Knapp است، ارائه مي شود.

۱-۳-۱- مدل گراف- انتظار- براي

اين گراف به كلاس گراف هاي جهت دار تعلق دارد. گره ها در اين گراف براي مدل كردن فرايندها بكار مي روند. يالهاي جهتدار در گراف نشان دهنده روابط مسدود شدن بين فرايندها . يك گره با يك يال خارج شده از آن به يك فرايند مسدود شده تعلق دارد.

بن بست با يك چرخه در اين گراف مشخص مي شود. ارتباط بين بن بستها و اين گراف در بخشهاي زير نشان داده شده است[۱۳].

۱-۳-۲- مدل تك- منبعي(One-Resource Model)

مدل تك منبعي، ساده ترين مدل درخواست منبع است. در اين مدل يك فرايند تنها يك درخواست منبع در يك زمان مي تواند داشته باشد،بدان معني كه ماكزيمم يال خروجي از يك گره در گراف-انتظار- براي برابر يك است.

براي يافتن بن بست در يك سيستم كه مدل درخواست آن تك منبعي است، لازم است يك چرخه در گراف-انتظار-براي پيدا شود. يك الگوريتم ساده براي تشخيص بن بست براساس اين مدل توسط ميچل و مريت[۲] است.

۱-۳-۳- مدل AND

اين مدل عمومي تر از مدل تك منبعي است. در اين مدل يك به يك فرايند اجازه داده مي شود كه مجموعه اي از منابع را درخواست نمايد. تا زماني مسدود مي ماند كه همه منابعي را كه درخواست نموده بود، به دست آورد به عبارتي فرايندي كه نياز به منابعي براي اجرا دارد، زماني مي تواند پيش رود كه همه منابعش را به دست آورد.

همانند مدل تك منبعي براي يافتن بن بست در يك سيستم با مدل اين مدل درخواست، لازم است يك چرخه در گراف-انتظار-براي پيدا شود. نمونه اي از اين الگوريتمها توسط چندي- ميسرا-هاس ، منساس و مانتز و اوبرمارك، ارائه شده است.

۱-۳-۴- مدلOR

اين مدل جالبي از مدل درخواست AND است. به آن مدل ارتباطي نيز مي گويند. در اين مدل به منظور تشخيص بن بست، تنها تشخيص يك چرخه در گراف-انتظار-براي كافي نيست، يافتن بن بست شامل پيدا كردن يك گره در گراف-انتظار-براي است.

فرايندي كه نياز به منابعي براي اجرا دارد،زماني مي تواند پيش رود كه حداقل يكي از منابعش را به دست آورد.دليلي كه شرط OR براي بن بست ارتباطي استفاده شده است اين است كه اغلب ساختارهاي كنترل توزيع شده غيرقطعي[۲] هستند و يك فرايند ممكن است در انتظار يك پيام از چندين فرايند باشد.

۱-۳-۵- مدل AND-OR

مدل AND و مدل OR هردو از مدل AND-OR مشتق شده اند. مفهوم اصلي اين مدل اين است كه اين نوع درخواست تركيبي از و يا در درخواست منبع است. تصور كنيدa ،b ، c، d منابع هستند كه در كامپيوتر هاي متفاوتي قرار دارند. درخواست به اين شكلd and ((c or b) a and) امكان پذير است. تشخيص بن بست در اين مدل مي تواند با تكرار تست براي مدل تشخيص OR با فرض اينكه بن بست يك مشخصه پايدار است، انجام شود.

۱-۳-۶- مدل p-out-of-q

اين مدل بدين معني است كه يك فرايند به طور همزمان درخواست q منبع را مي نمايد و تا زماني كه p منبع را بدست آورد،مسدود مي ماند. اين مدل نوع ديگر AND-OR است كه تركيبي از مدلهاي OR و AND است به عنوان مثال(b OR c) AND q


4345
برچسب ها دانلود , مقاله , تشخيص , بن , بست , در , سيستم‌هاي , توزيع , شده , دانلود مقاله تشخيص بن بست در سيستم‌هاي توزيع شده , تشخيص بن بست در سيستم‌هاي توزيع شده , تحقيق تشخيص بن بست در سيستم‌هاي توزيع شده , سيستم‌هاي توزيع , دانلود پكيج كمياب , طرح توجيهي , ترجمه مقالات علمي , برنامه نويسي , سورس سي شارپ , رزومه , نمونه سوالات آزمون هاي استخدامي , نرم افزار , نمونه سوال و تمرين , گزارش كارآموزي , جامعه شناسي , دامپزشكي , خوشنويسي , نقاشي , موزيك , صنايع دستي , كارگرداني , فيلم نامه نويسي , تئاتر , سينما , پرستاري , دارو سازي , دندان پزشكي , زيست شناسي , آمار , فيزيك , رياضي , زمين شناسي , مهندسي مواد , مهندسي دريا , مهندسي محيط زيست , مهندسي شيمي , مهندسي هوا و فضا , پزشكي , فناوري نانو , نقشه كشي و معماري , گرافيك , صنايع , مهندسي مكانيك , برق و الكترونيك , عمران , كامپيوتر , كشاورزي و منابع طبيعي , اديان شناسي , الاهيات , علوم ارتباطات , مطالعات زنان (فمنيسم) , علوم اجتماعي , تربيت بدني و علوم ورزشي , علوم تربيتي , ايران شناسي , آب و هواشناسي (اقليم شناسي) , جغرافيا , روان شناسي , حسابداري , تاريخ و فرهنگ , فلسفه , مديريت , اقتصاد , حقوق , علوم سياسي , زبان خارجه , زبان و ادبيات فارسي , كامپيوتر ,
نظرات این مطلب

تعداد صفحات : 354

درباره ما
موضوعات
آمار سایت
  • کل مطالب : 3542
  • کل نظرات : 0
  • افراد آنلاین : 4
  • تعداد اعضا : 0
  • بازدید امروز : 87
  • بازدید کننده امروز : 1
  • باردید دیروز : 188
  • بازدید کننده دیروز : 0
  • گوگل امروز : 0
  • گوگل دیروز : 1
  • بازدید هفته : 88
  • بازدید ماه : 5104
  • بازدید سال : 21534
  • بازدید کلی : 1845882
  • <
    پیوندهای روزانه
    آرشیو
    اطلاعات کاربری
    نام کاربری :
    رمز عبور :
  • فراموشی رمز عبور؟
  • خبر نامه


    معرفی وبلاگ به یک دوست


    ایمیل شما :

    ایمیل دوست شما :



    لینک های ویژه