쉽게 교착 상태를 피하는 방법은 무엇입니까?

Question

두 개의 잠금 인 inventoryLock 및 currencyLock을 가진 객체 User가 있습니다. 종종 이러한 잠금은 개별적으로 사용됩니다 (예 :

synchronized (user.currencyLock) { 

if (user.money < loss) throw new Exception(); 
user.money -= loss; 

} 

그러나

synchronized (user.inventoryLock) { 

// swap items 
tmp = user.inventory[x]; 
user.inventory[x] = user.inventory[y]; 
user.inventory[y] = tmp; 

} 

또는

때때로 코드 조각이 모두 잠금 장치가 필요합니다

synchronized (user.currencyLock) { 
synchronized (user.inventoryLock) { 

    if (user.money < item.price) throw new Exception(); 
    user.money -= item.price; 
    user.inventory[empty] = item; 

} 
} 

간단한 보인다, 그러나 단지이 예보다 모두 잠금 장치를 사용하여 코드의 더 많은 비트가, 이전 경험에서 알 수 있듯이 여러 개의 코드에 동일한 공유 잠금이 필요한 경우 교착 상태가 발생할 위험이 있습니다.

이를 피하는 좋은 방법은 무엇입니까?

두 개체에 원자 적으로 잠글 수있는 메커니즘이 있습니까?

Answer 1

이 질문을 게시 한 직후 간단한 해결책을 생각해 냈습니다. 모든 코드가 동일한 순서로 잠금을 획득하는지 확인하십시오. 그런 식으로 두 개의 스레드가 둘 중 하나를 가질 수 없습니다.

자연 순서가 없으면 알파벳순으로 충분하고 기억하기 쉽습니다. 당신은 당신이 inventoryLock을 고정하기 전에 항상 currencyLock을 잠글 것을 보장하고 currencyLock을 잠금을 시도 할 수 없다 경우

Answer 2

항상 다른 전에 하나의 잠금 장치는, 교착 상태의 요구 사항 중 하나는, 예를 들어 원형 대기 패턴

입니다 inventoryLock을 이미 가지고있을 때 당신은 괜찮을 것입니다.

Answer 3

여기에 어떤 circular wait 가능성이 보이지 않습니다. 이것은 데드락에 필요한 4 가지 조건 중 하나입니다.