操作系统 死锁 银行家算法 资源分配图

两人过独木桥。
进程管理。

必要条件

破坏其中一个即可破坏死锁

互斥使用

进程对资源具有排他性

非剥夺

不能强制剥夺

零散请求

逐次申请,不是集中一次申请

循环等待

等待的进程形成了一个链

银行家算法

操作系统 死锁 银行家算法 资源分配图
一直在安全状态即可

借钱后,存在一种借法使所有人的借钱要求都能得到满足

资源分配图

操作系统 死锁 银行家算法 资源分配图
圆的为进程
方块为某种资源,小点为资源

永久性资源
指向进程的箭头表示 资源被占有
指向资源的箭头表示 申请资源

临时性资源
指向进程的箭头表示 进程产生这种资源(一个箭头可产生多个)
指向资源的箭头表示 申请一个(一个箭头指1个)

化简
找到进程 尽量满足要求,结束掉进程,去掉进程。