避免死锁的著名算法是什么