implement faster deadlock detection