避免死锁的一个著名算法