银行家算法是避免程序死锁的一条有效的算法!