银行家 算法
银行家算法属于避免死锁的一种算法。
基本原理
银行家算法:当一个新进程进入系统时,该进程必须申明在运行过程中所需要的每种资源的最大数目,且该数目不能超过系统拥有的资源总量。当进程请求某组资源时,系统必须先确定系统中是否有足够的该类资源供以分配给该进程。若有,通过安全性算法来计算,将资源分配给该进程后,是否会使系统处于不安全状态,如果不会处于安全状态,则将资源分配给该进程,否则让进程等待。若没有,进程等待。
-
数据结构
实现银行家算法,必须有四种数据结构,用以描述系统中可使用的资源数目、所有进程对于各类资源的最大需求、系统中已分配资源的情况、各进程还需要多少资源的情况
- 可利用资源向量AvailableAvailableAvailable,Available[j]=KAvailable[j]=KAvailable[j]=K 表示系统中现有可利用的RjR_jRj类资源KKK个
- 最大需求矩阵MaxMaxMax,Max[i,j]=KMax[i,j]=KMax[i,j]=K 表示进程iii需要RjR_jRj类资源的最大数目为KKK个
- 分配矩阵AllocationAllocationAllocation,Allocation[i,j]=KAllocation[i, j]=KAllocation[i,j]=K 表示进程iii已分得RjR_jRj类资源KKK个
- 需求矩阵NeedNeedNeed,Need[i,j]=KNeed[i,j]=KNeed[i,j]=K 表示进程iii还需要RjR_jRj类资源KKK个
有关系:
Need[i,j]=Max[i,j]−Allocation[i,j] Need[i,j]=Max[i,j]-Allocation[i,j] Need[i,j]=Max[i,j]