A Parallel Deadlock Detection Algorithm with O(1) Overall Run-time Complexity