Banker’s Algorithm#

假定系統處在Safe state, 若分配後導致不安全，則拒絕

維護Available, Max, Allocation, Need, 其中 :

流程如下 :

• Initial check
  • $Request[i] \leq Need[i]$
  • $Request[i] \leq Available$
• Tentative allocation
  • 假設暫時分配如下(還沒分配)
  • $Available = Available - Request[i]$
  • $Allocation[i] = Allocation[i] + Request[i]$
  • $Need[i] = Need[i] - Request[i]$
• Safety check
  • 搜尋安全順序
  • 假設 $Work=Available, \quad Finish[i]=false$
  • 對所有process遍歷, 若滿足則 $Work = Work + Allocation[i]; Finish[i]=true$
  • 如果結束時所有 $Finish[i]=true$ 則系統安全
• Allocate
  • 檢查通過才會分配