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