Deadlock detector finished