死锁、银行家算法与哲学家就餐算法