교착 상태는 스레드 (또는 플랫폼에서 실행 단위를 호출하는 모든 항목)가 리소스를 획득 할 때 발생 하며, 여기서 각 리소스는 한 번에 하나의 스레드 만 보유 할 수 있으며 보류를 선점 할 수없는 방식으로 해당 리소스를 보유합니다. 교착 상태에있는 각 스레드가 다른 스레드가 보유한 일부 리소스를 획득하기 위해 대기하는 것처럼 스레드간에 "원형"관계가 있습니다.
따라서 교착 상태를 피하는 쉬운 방법은 리소스에 전체 순서 를 지정 하고 리소스는 스레드 에 의해서만 순서대로 획득된다는 규칙을 부과하는 것입니다. . 반대로 교착 상태는 리소스를 획득하지만 순서대로 획득하지는 않는 스레드를 실행하여 의도적으로 생성 할 수 있습니다. 예를 들면 :
두 개의 스레드, 두 개의 자물쇠. 첫 번째 스레드는 특정 순서로 잠금을 획득하려는 루프를 실행하고 두 번째 스레드는 반대 순서로 잠금을 획득하려는 루프를 실행합니다. 각 스레드는 성공적으로 잠금을 획득 한 후 두 잠금을 모두 해제합니다.
public class HighlyLikelyDeadlock {
static class Locker implements Runnable {
private Object first, second;
Locker(Object first, Object second) {
this.first = first;
this.second = second;
}
@Override
public void run() {
while (true) {
synchronized (first) {
synchronized (second) {
System.out.println(Thread.currentThread().getName());
}
}
}
}
}
public static void main(final String... args) {
Object lock1 = new Object(), lock2 = new Object();
new Thread(new Locker(lock1, lock2), "Thread 1").start();
new Thread(new Locker(lock2, lock1), "Thread 2").start();
}
}
이제이 질문에는 가능성 과 확실성 의 차이를 지적하는 몇 가지 의견이 있습니다. 에 교착 상태 의 있습니다. 어떤 의미에서 구별은 학문적 문제입니다. 실용적인 관점에서 필자는 위에서 작성한 코드와 교착 상태가 아닌 실행중인 시스템을보고 싶습니다. :)
그러나 인터뷰 질문은 때때로 학술적 일 수 있으며이 SO 질문에는 제목에 "확실히"라는 단어가 포함되어 있으므로 다음은 확실히 교착 상태 가되는 프로그램입니다 . 두 개의 Locker오브젝트가 작성되고 각각에 두 개의 잠금이 부여 CountDownLatch되고 스레드 간 동기화에 사용됩니다. 각각 Locker은 첫 번째 잠금을 잠근 다음 래치를 한 번 카운트 다운합니다. 두 스레드가 잠금을 획득하고 래치를 카운트 다운하면 래치 장벽을지나 두 번째 잠금을 획득하려고 시도하지만 각 경우 다른 스레드는 이미 원하는 잠금을 보유하고 있습니다. 이 상황으로 인해 특정 교착 상태가 발생합니다.
import java.util.concurrent.CountDownLatch;
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;
public class CertainDeadlock {
static class Locker implements Runnable {
private CountDownLatch latch;
private Lock first, second;
Locker(CountDownLatch latch, Lock first, Lock second) {
this.latch = latch;
this.first = first;
this.second = second;
}
@Override
public void run() {
String threadName = Thread.currentThread().getName();
try {
first.lock();
latch.countDown();
System.out.println(threadName + ": locked first lock");
latch.await();
System.out.println(threadName + ": attempting to lock second lock");
second.lock();
System.out.println(threadName + ": never reached");
} catch (InterruptedException e) {
throw new RuntimeException(e);
}
}
}
public static void main(final String... args) {
CountDownLatch latch = new CountDownLatch(2);
Lock lock1 = new ReentrantLock(), lock2 = new ReentrantLock();
new Thread(new Locker(latch, lock1, lock2), "Thread 1").start();
new Thread(new Locker(latch, lock2, lock1), "Thread 2").start();
}
}