产生死锁的四个必要条件是啥？

### 产生死锁的四个必要条件 死锁是指两个或多个线程在执行过程中因争夺资源而互相等待，导致其中一个或多个线程永久阻塞的现象。要产生死锁，必须同时满足以下四个必要条件： #### 1. 互斥条件 **解释**：一个资源每次只能被一个线程使用。即某个资源在某一时刻只分配给一个线程使用，如果此时还有其他线程请求该资源，则该线程只能等待，直到持有资源的线程释放该资源。 **示例**： ```java synchronized(resource1) { // 资源 resource1 被当前线程独占使用 } ``` #### 2. 请求与保持条件 **解释**：一个线程因请求资源而阻塞时，对已获得的资源保持不放。即一个线程已经持有了一个资源，并且还在请求新的资源，而此时新的资源被其他线程持有，该线程就会阻塞，但不释放自己已获得的资源。 **示例**： ```java synchronized(resource1) { // 持有 resource1 synchronized(resource2) { // 请求 resource2 } } ``` #### 3. 不剥夺条件 **解释**：线程已经获得的资源，在未使用完之前，不能强行剥夺。即线程对已获得的资源在未使用完之前不能被其他线程强行剥夺，只有自己释放后，其他线程才能获得该资源。 **示例**： ```java synchronized(resource1) { // 资源 resource1 在未使用完之前不会被其他线程强行剥夺 } ``` #### 4. 循环等待条件 **解释**：若干线程之间形成一种头尾相接的循环等待资源的关系。即存在一个线程集合 {T1, T2, ..., Tn}，其中 T1 等待 T2 占用的资源，T2 等待 T3 占用的资源，...，Tn 等待 T1 占用的资源，形成一个环形等待链。 **示例**： ```java Thread T1: synchronized(resource1) { synchronized(resource2) { // T1 请求 resource1 后请求 resource2 } } Thread T2: synchronized(resource2) { synchronized(resource1) { // T2 请求 resource2 后请求 resource1 } } ``` ### 代码示例 以下代码展示了一个典型的死锁示例： ```java public class DeadlockExample { private static final Object resource1 = new Object(); private static final Object resource2 = new Object(); public static void main(String[] args) { Thread thread1 = new Thread(() -> { synchronized (resource1) { System.out.println("Thread 1: Holding resource 1..."); try { Thread.sleep(50); } catch (InterruptedException e) {} System.out.println("Thread 1: Waiting for resource 2..."); synchronized (resource2) { System.out.println("Thread 1: Holding resource 1 & 2..."); } } }); Thread thread2 = new Thread(() -> { synchronized (resource2) { System.out.println("Thread 2: Holding resource 2..."); try { Thread.sleep(50); } catch (InterruptedException e) {} System.out.println("Thread 2: Waiting for resource 1..."); synchronized (resource1) { System.out.println("Thread 2: Holding resource 2 & 1..."); } } }); thread1.start(); thread2.start(); } } ``` ### 总结 产生死锁必须同时满足以下四个条件： 1. **互斥条件**：每次只有一个线程能使用资源。 2. **请求与保持条件**：一个线程因请求资源而阻塞时，对已获得的资源保持不放。 3. **不剥夺条件**：线程已经获得的资源，在未使用完之前，不能强行剥夺。 4. **循环等待条件**：若干线程之间形成一种头尾相接的循环等待资源关系。 只有在这四个条件都满足的情况下，才可能产生死锁。因此，破坏其中一个或多个条件，就可以避免死锁的发生。