两人过独木桥。
进程管理。
必要条件
破坏其中一个即可破坏死锁
互斥使用
进程对资源具有排他性
非剥夺
不能强制剥夺
零散请求
逐次申请,不是集中一次申请
循环等待
等待的进程形成了一个链
银行家算法
一直在安全状态即可
借钱后,存在一种借法使所有人的借钱要求都能得到满足
资源分配图
圆的为进程
方块为某种资源,小点为资源
永久性资源
指向进程的箭头表示 资源被占有
指向资源的箭头表示 申请资源
临时性资源
指向进程的箭头表示 进程产生这种资源(一个箭头可产生多个)
指向资源的箭头表示 申请一个(一个箭头指1个)
化简
找到进程 尽量满足要求,结束掉进程,去掉进程。