死锁怎么检测？

先OO分析、建模，再看具体问题的方案。这里面涉及的对象：

1）线程

2）锁

关系：

占有：线程——锁 的一对多关系：一个线程可以占有多个锁，一个锁只能被一个线程占有

等待：线程——锁 的多对一对多关系：一个线程一个时刻只能阻塞在一个锁上，一个锁可以被多个线程等待

间接等待关系 线程——线程 的多对多关系，一个线程A等待的锁被另一个线程B拥有，则线程A对线程B有等待关系

输入模型：线程列表，锁列表，每个线程占有的锁列表，每个线程等待的锁列表

第一步：构建Wait For Graph，这是一个典型的二分图，两种类型的结点（锁，和线程），并且只有这两种不同类型的结点之间才有边。当然也可以以锁为中介，转换成线程之间的等待关系，构建一幅有向图(wait for graph)。转换依据就是：一个线程A等待的锁被另一个线程B拥有，则线程A对线程B有等待关系。

第二步：识别有向图中是否有环，这是个图论基本问题。