Java多线程环境中的死锁通常发生在以下情形:
-
互斥条件:至少有一个资源必须处于非共享模式,即一次只有一个线程能够使用资源。如果另一个线程请求该资源,则请求线程必须等待直到资源被释放。
-
请求与保持条件:一个线程因请求资源而阻塞时,对已获得的其他资源保持不放。
-
不可剥夺条件:已经分配给线程的资源在该线程完成任务前,不能被剥夺,只能由该线程显式释放。
-
循环等待条件:两个或多个线程形成一种头尾相接的环形链,其中每个线程都在等待下一个链中线程所占有的资源。
下面是一个简单的死锁示例,其中两个线程试图锁定两个资源,但是它们的锁定顺序相反,导致了死锁:
public class DeadlockDemo {
public static void main(String[] args) {
final Object resource1 = "resource1";
final Object resource2 = "resource2";
Thread t1 = new Thread(() -> {
synchronized (resource1) {
System.out.println("Thread 1: Locked resource 1");
// Pause for a bit, e.g. waiting for another resource, causing the deadlock
try { Thread.sleep(50); } catch (InterruptedException e) {}
synchronized (resource2) {
System.out.println("Thread 1: Locked resource 2");
}
}
});
Thread t2 = new Thread(() -> {
synchronized (resource2) {
System.out.println("Thread 2: Locked resource 2");
// Pause for a bit, causing the deadlock
try { Thread.sleep(50); } catch (InterruptedException e) {}
synchronized (resource1) {
System.out.println("Thread 2: Locked resource 1");
}
}
});
t1.start();
t2.start();
}
}
在这个示例中,如果线程1进入同步块并锁定resource1,同时线程2锁定resource2,之后线程1继续尝试锁定resource2而线程2尝试锁定resource1。如果每个线程都在等待对方持有的资源,它们就会进入一个等待状态,即“死锁”。由于每个线程都在等待另一个线程释放锁,但是没有一个线程能继续前进,因此它们都将永远阻塞。
要避免死锁,可以采用一些策略:
- 确保所有线程都按相同的顺序获得锁。
- 使用锁超时策略,例如
tryLock()
,这可以避免无限期地等待获取锁。 - 减少锁的使用和需要锁数量,例如使用concurrent类库中的高级同步结构,如
ReentrantLock
。 - 若可能,使用嵌套同步块或其他同步机制避免持有多个锁。
- 使用死锁检测算法定期检查死锁并解除锁定状态。
Java并发编程涉及到很多复杂但有意思的问题,正确的设计和代码实践对于创建没有死锁风险的并发应用至关重要。