Deadlock detection and contact C language