pushing deadlock detection