بخشی از پاورپوینت
--- پاورپوینت شامل تصاویر میباشد ----
اسلاید 1 :
مساله بن بست
مشخصه های بن بست
روش های برخورد با بن بست
پیشگیری از بن بست
اجتناب از بن بست
کشف بن بست
ترمیم از بن بست
روش های ترکیبی برای برخورد با بن بست
اسلاید 2 :
آشنایی با مفهوم بن بست که مانع از انجام کار یک یا چندین پردازه می شود
آشنایی با روش های مختلف مقابله با بن بست
اسلاید 3 :
یک مجموعه از پردازه ها در حالت بن بست هستند اگر هر یک از پردازه ها منبعی را در اختیار داشته باشند و منتظر منبع دیگری باشند که در اختیار پردازه ای دیگر در همین مجموعه است.
نمونه: دو سمافور A و B با مقدار اولیه 1
P0 P1
wait (A); wait(B)
wait (B); wait(A)
نمونه: پل میان گذر
عرض پل به اندازه ای است که اجازه عبور یک ماشین را می دهد.
اسلاید 4 :
هر قسمت از پل یک منبع محسوب می شود.
اگر بن بست رخ دهد، می توان با بازگرداندن یک ماشین آن را حل کرد.
ممکن است نیاز باشد چندین ماشین برگردانده شوند.
احتمال قحطی وجود دارد.
اسلاید 5 :
منابع سیستم از انواع مختلف R1, R2, . . ., Rm هستند.
قطعه های زمانی پردازنده، فضای حافظه، ابزارهای خواندن / نوشتن، ...
از هر منبع Ri ، Wi تا داریم.
هر پردازه از هر منبع با رعایت توالی اعمال زیر بهره برداری می کند:
درخواست
استفاده
رهاسازی
اسلاید 6 :
مساله بن بست
مشخصه های بن بست
روش های برخورد با بن بست
پیشگیری از بن بست
اجتناب از بن بست
کشف بن بست
ترمیم از بن بست
روش های ترکیبی برای برخورد با بن بست
اسلاید 7 :
برای رخ دادن بن بست برقراری همزمان چهار شرط زیر الزامی است:
ممانعت دوجانبه (Mutual Exclusion): در هر زمان تنها یک پردازه می تواند از یک منبع استفاده کند.
نگهدار و منتظر بمان (Hold and Wait): پردازه ای که حداقل یک منبع در اختیار دارد، منتظر است تا منابع دیگری که در اختیار پردازه های دیگر است نیز بگیرد.
عدم پیشدستی (No Preemption): هر منبعی تنها پس از پایان کار پردازه ای که آن را در اختیار گرفته است و به صورت داوطلبانه توسط همان پردازه قابل رهاسازی است.
اسلاید 8 :
انتظار حلقوی (Circular Wait): مجموعه ای مانند {P0, P1, …, Pn} وجود دارد به گونه ای که P0 منتظر منبعی است که در اختیار P1 قرار دارد، P1 منتظر منبعی است که در اختیار P2 قرار دارد، ... ، و Pn منتظر منبعی است که در اختیار P0 قرار دارد.
گرچه وقوع همزمان هر چهار شرط برای وقوع بن بست الزامی است، اما این شرایط کاملا از هم مستقل نیستند.
برای مثال شرط «انتظار حلقوی»، شرط «نگهدار و منتظر بمان» را نتیجه می دهد.
اسلاید 9 :
گراف تخصیص منابع به صورت مجموعه رئوس V و مجموعه یال های جهت دار E تعریف می شود.
دو نوع راس: پردازه ها و نوع منابع
P = {P1, P2, …, Pn} مجموعه همه پردازه های سیستم
R = {R1, R2, …, Rm} مجموعه همه انواع منابع سیستم
هر یال جهت دار نشانگر درخواست یا اختصاص منبع
درخواست منبع: P1 Rj
اختصاص منبع: Rj Pi
اسلاید 10 :
پردازه:
نوع منبع با چهار نمونه:
Pi یک نمونه از Rj را تقاضا می کند:
Pi یک نمونه از Rj را در اختیار دارد: