死锁检测算法是银行家算法吗