Finished deadlock check