编辑“︁Java死锁”︁（章节）

== 死锁的必要条件 ==
死锁的发生需要满足以下四个必要条件（由计算机科学家 Edsger Dijkstra 提出）：
# '''互斥条件'''：资源一次只能由一个线程占用。
# '''占有并等待'''：线程持有至少一个资源，并等待获取其他被占用的资源。
# '''非抢占条件'''：线程已持有的资源不能被其他线程强行抢占，只能由线程自己释放。
# '''循环等待条件'''：存在一个线程的循环等待链，每个线程都在等待下一个线程所占用的资源。

如果上述任一条件被破坏，死锁就不会发生。