浅谈银行家算法

最新推荐文章于 2025-07-03 09:55:56 发布

原创

最新推荐文章于 2025-07-03 09:55:56 发布 · 965 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#算法

银行家算法是一种预防死锁的策略，通过假分配和安全序列检测确保系统资源的安全分配。在给定的例子中，系统通过检查Request是否小于Need和Available，逐步找到安全序列P1，P3，P4，P2，P0，从而证明了在不同请求下系统仍能避免死锁。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

银行家算法
目的：避免死锁的产生。
算法思想：
1、假分配检测：Request < Need
Request < Available
2、安全序列检测算法

实例列举：
某系统有R1，R2，R3共3中资源，在T0时刻P0，P1，P2，P3和P4这5个进程对资源的占用和需求情况如下表1，此时系统的可用资源向量为(3,3,2)。试问：
1、T0时刻系统是否存在安全序列？
2、P1请求资源：P1发出请求向量Request（1,0,2），系统是否接受该请求？请使用银行家算法检查
3、P4请求资源：P4发出请求向量Request（3,3,0），系统按银行家算法检查.
4、P0请求资源：P0发出请求向量Request（0,2,0），系统按银行家算法检查.
　　　　　　
　　　　　　表1 T0时刻的资源分配表：
　　　　　　在这里插入图片描述
　　1、T0时刻系统是否存在安全序列？
　　　　Available > Need1 ----> 可用资源分配给P1，直到P1进程执行完成，然后Available = Available + Allocation1 = （5,3,2）
Available > Need3 -----> 可用资源分配给P3，直到P3进程执行完成，然后Available = Available + Allocation3 = （7,4,3）
　　　　Available> Need4…
　得到安全序列为：P1，P3，P4，P2，P0
　　2、P1请求资源：P1发出请求向量Request（1,0,2），系统是否接受该请求？请使用银行家算法检查
　　　第一步（假分配检查）：把Request分配给P1，必须满足Request要小于Available，Request要小于Need。
Request（1,0,2）< Available（3,3,2）
R