银行家算法 Dijkstra的银行家算法是最具有代表性的避免死锁的算法，这个算法因能用于银行系统现金贷款的发放而得名。 安全状态 所谓安全状态，是指系统能按某种进程顺序（P1，P2，...，Pn）（称<P1,P2,...,Pn>为安全序列），来为每个进程Pi分配其所需资源，直至满足每个进程对资源的最大需求，使每个进程都可顺利地完成。如果系统无法找到这样一个安全序列，则称系统处于不安全状态。避免死锁的实质在于:系统进行资源分配时,如何使系统不进入安全状态。 系统处于不安全状态后,不一定进入死锁状态,但是,只要系统处于安全状态,系统便一定不会进入死锁状态。 相关数据结构 Avail...