교착 상태에 도달 할 수 있습니까? 내가 작품을 교착 방법을 알아 내려고 고군분투

Question

...

public void withdraw(double amount) { 
    balanceChangeLock.lock(); 
    try { 
     while (balance < amount) {} // wait balance to grow ... 
     double nb = balance - amount; 
     balance = nb; 
    } finally { 
     balanceChangeLock.unlock(); 
} 
} 

편집 : 더 많은 코드는 내가

public void deposit(double amount){ 
    balanceChangeLock.lock(); 
    try{ 
    balance = balance + amount; 
    } finally { 
    balanceChangeLock.unlock(); 
} 
} 

가이 코드로 교착 상태에 도달하는 것이 가능

을 왼쪽?

이

나는 마지막이 있고 이것은 내가 검토하고있어 선생님의 노트에 있고 나는

Answer 1

예, 교착 상태가 여기에 발생할 수있는 이해 매우 해달라고, 숙제를하지 않습니다. 여기

는 호출을 교착

1. withdraw을 야기 실행의 가능한 흐름이고, 잔액이 양 무승부에 충분하지 않다. 따라서 코드는 while 루프에 있으며 잠금을 유지합니다.
2. deposit이 호출되어 balanceChangeLock을 잠그려고하지만 withdraw에 잠금이 설정되어 있기 때문에 불가능합니다. 그래서 기다립니다.

이제 withdraw은 입금을 기다리고 deposit은 잠금 해제를 기다리고 있습니다. 코드는 스레드에서 계속되지 않고 교착 상태에 빠져 있습니다.

Answer 2

내가 당신이 교착 상태가 간단한 예를 통해 무엇인지 이해하는 데 도움이하자

우리가 우리가 (T1, T2) 두 개의 스레드 우리가 L1 및 L2의 인수를 필요로 두 가지 중요한 중요한 작업을 (OP1 and OP2)이 (L1, L2) 두 개의 잠금 장치 실행은

다음 실행 순서가 발생

T1 begins executing OP1 
T2 begins executing OP2 
T1 acquires L1 as part of OP1 
T2 acquires L2 as part of OP2 
T1 attempts to acquire L2 and is blocked because L2 is currently held by T1 
T2 attempts to acquire L1 and is blocked because L1 is currently held by T1 

,

따라서 우리는 치명적인 포옹을 당하고 있습니다. 이것은 단지 간단한 예일뿐입니다. 위 시나리오가있는 다이어그램을 작성하여 재생하면 도움이 될 것입니다. 잠금을 획득 한 순서는 교착 상태를 확인하는 데 중요합니다. 이것은 왜 이러한 문제가 간헐적으로 발생하고 디버깅하기가 어렵기로 유명한 이유 중 일부입니다.