الگوریتم Banker وقتی فقط یک منبع موجود است

الگوریتم Banker وقتی فقط یک منبع موجود است!

الگوریتم Banker الگوریتم بسیار ساده است که می توان آن را در یک جمله خلاصه کرد. این الگوریتم بیان می نماید که یک تخصیص هنگامی مجاز به انجام است که انجام آن منجر به یک حالت مطمئن در سیستم شود. لذا چیزی که در تعریف و ایده این الگوریتم بسیار مهم به نظر می رسد. تعریف حالت مطمئن است. حالت مطمئن به شکل زیر تعریف می شود:
حالتی (وضعیتی) را وضعیت مطمئن می نامیم که ترتیبی از سایر وضعیت ها وجود دارد که آن وضعیت را به جایی می رساند که نیاز تمام فرآیندها برآورد شود. به عبارت دیگر تمام فرآیندها، تمامی منابع مورد نیاز خود را دریافت می کنند.
بنابراین برای این که تشخیص داده شود یک تخصیص مطمئن است یا خیر، کافیست با فرض انجام تخصیص وضعیت سیستم را پس از تخصیص در نظر گرفت و مطمئن بودن آن را تست نمود. برای تست مطمئن بودن یک وضعیت باید سعی کرد که ترتیبی از وضعیت های مختلف ایجاد کرد که پس از طی این ترتیب، تمام فرآیندها، تمام منابع مورد نیاز خود را دریافت کرده باشند.
برای پیدا کردن چنین ترتیبی کافیست مقدار نیاز هر فرآیند به منبع را مشخص کرد و کمترین آن را در نظر گرفت چنانچه این کمترین مقدار از