← 演示目录

银行家算法

全书 06

死锁避免(不是检测)。3 进程 × 3 类资源。Need = Max − Allocation。安全性:从 P0 起每次取第一个 Need ≤ Work 且未完成的进程,回收其 Allocation。对照场景:P0 申请 (3,2,2) 表面够用,但预分配后找不到安全序列,必须拒绝。

STEP 0
READY选场景后点下一步。