I found some serious documentation about the the deadlock detection tools.
thought of sharing it.
Index of /~amy/papers