先OO分析、建模，再看具体问题的方案。这里面涉及的对象：
1）线程
2）锁
关系：
占有：线程——锁 的一对多关系：一个线程可以占有多个锁，一个锁只能被一个线程占有
等待：线程——锁 的多对一对多关系：一个线程一个时刻只能阻塞在一个锁上，一个锁可以被多个线程等待
间接等待关系 线程——线程 的多对多关系，一个线程A等待的锁被另一个线程B拥有，则线程A对线程B有等待关系
输入模型：线程列表，锁列表，每个线程占有的锁列表，每个线程等待的锁列表
第一步：构建Wait For Graph，这是一个典型的二分图，两种类型的结点（锁，和线程），并且只有这两种不同类型的结点之间才有边。当然也可以以锁为中介，转换成线程之间的等待关系，构建一幅有向图(wait for graph)。转换依据就是：一个线程A等待的锁被另一个线程B拥有，则线程A对线程B有等待关系。
第二步：识别有向图中是否有环，这是个图论基本问题。