死锁
死锁条件
互斥占用:资源只能给一个进程使用;
不可强占:资源申请者不能强行从占有着手中夺取 资源,只能由占有着资源释放;
请求保持:进程在申请新资源的同时保持对原有资 源的占有;
循环等待:存在进程等待队列{P1,P2…Pn},循环等待。
避免机制(银行家算法)
原理:对进程发出的每一个资源申请进行动态检查,根据检测结果决定是否分配资源。




死锁的检测与解决(资源分配图)
系统不断监视进展情况,判断死锁是否发生,一旦发生,采取专门措施,解除死锁并以最小代价恢复运行。
检测时机:定时检测,进程等待资源利用率下降等。
检测手段:资源分配图


