3—C死锁教案.pptVIP

* 判定死锁准则： (1)如果RAG中未出现任何环，则此时系统内不存在死锁； (2)如果RAG中出现了环，且处于此环中的每类资源均只有一个个体，则有环就有死锁;此时环路是存在死锁的充分必要条件； (3)如果RAG中出现了环，但处于此环中的每类资源的个数不全为1，则环的存在只是产生死锁的必要条件而不是充分条件。此时是否有死锁，还要通过对RAG的化简而定。 P1 P2 P3 R1 R2 R3 R4 P1 P2 R1 R2 R3 * 判定死锁准则： (1)如果RAG中未出现任何环，则此时系统内不存在死锁； (2)如果RAG中出现了环，且处于此环中的每类资源均只有一个个体，则有环就就有死锁;此时环路是存在死锁的必要充分条件； (3)如果RAG中出现了环，但处于此环中的每类资源的个数不全为1，则环的存在只是产生死锁的必要条件而不是充分条件。此时是否有死锁，还要通过对RAG的化简而定。 P1 P2 P3 R1 R2 R3 R4 P4 P3 P2 P1 R1 R2 * 例题:化简如图所示的资源分配图，并说明有无进程处于死锁状态？ P0 P1 P2 P3 P4 R0 R1 R2 R3 R4 R4 R3 P0 P1 P2 P3 P4 * 资源分配图中存在环路并不一定发生死锁,因为循环等待资源仅是死锁发生的必要条件,而不是充分条件.如: P1 P2 P3