容错的分布式系统通用死锁模型检测解除算法 Fault-tolerant distributed system general deadlock model detection cancellation algorithm