Deadlock is a common concurrent program defect. Most of the existing deadlock detection methods are for a particular type of lock, and require the source code of the program being detected. This paper ...