Fault-tolerant distributed system general deadlock model detection cancellation algorithm