Please enable JavaScript.

Coggle requires JavaScript to display documents.

بن بست - Coggle Diagram

- - - - نکته
        
        شرط انتظار چرخشی منجر به شرط نگهداری و انتظار می گردد.
- - - - عدم شروع فرایندی که ممکن است درخواست هایش منجر به بن بست شود
      - عدم پاسخ به درخواست های منبع اضافی از طرف فرایندی که با این تخصیص ممکن است منجر به بن بست شود (الگوریتم بانکداران)
        
        الگوریتم بانکداران
        
        بردار Available
        
        مقدار کل هر یک از منابعی که موجود است
        
        ماتریس Allocation
        
        شامل منابع تخصیص داده شده به فرایندها
        
        بردار Resource
        
        شامل مقدار کل هر یک از منابع
        
        ماتریس Claim
        
        شامل درخواست های فرایندها
    - - تعداد منابع تخصیص باید ثابت باشد.
      - فرایندی که منبعی در اختیار دارد نمی تواند خارج شود.
      - حداکثر منابع مورد نیاز هر فرایند باید از قبل معلوم شود.
      - فرایندهای مورد نظر باید مستقل باشند.
    - - در مورد درخواست های منبع طوری رفتار شود که حداقل یکی از چهار شرط بن بست رخ ندهد.
    - - برخلاف کشف، نیازی به قبضه کردن فرایند نیست.
  - - - نگهداری و انتظار
        
        باید فرایند را مجبور کرد تا همه منابع مورد نیاز را یکباره درخواست کند و تا زمانی که همه منابع به او داده نشود، فرایند را مسدود کرد.
      - قبضه نکردن
        
        اگر فرایندی منابعی را در اختیار دارد، درخواست جدیدش موافقت نشود. در این حالت باید منابع قبلی خود را آزاد کند و در صورت نیاز مجددا با منابع اضافی درخواست نماید.
      - انتظار چرخشی
        
        برای پیشگیری از بروز این شرط، یک ترتیب خطی از انواع منابع تعریف میکنیم. اگر منبعی از نوع R به یک فرایند تخصیص یابد، در ادامه تنها منابعی را می تواند درخواست کند، که نوع آنها بعد از R قرار گرفته باشد. ممکن است موجب کند کردن فرایندها و رد کردن غیر ضروری دسترسی به منابع گردد.
    - - سیستم طوری طراحی شود که از قبل امکان بن بست از بین برود، یعنی تضمین کنیم که حداقل یکی از چهار شرط بن بست رخ ندهد.