여러 객체 트랜잭션에 대한 교착 상태를 피하는 가장 좋은 방법은 무엇입니까?

Question

이 코드를 통해 교착 상태 예를 찾고 발견되었다

package com.example.thread.deadlock._synchronized; 

public class BankAccount { 
    double balance; 
    int id; 

    BankAccount(int id, double balance) { 
     this.id = id; 
     this.balance = balance; 
    } 

    void withdraw(double amount) { 
     // Wait to simulate io like database access ... 
     try {Thread.sleep(10l);} catch (InterruptedException e) {} 
     balance -= amount; 
    } 

    void deposit(double amount) { 
     // Wait to simulate io like database access ... 
     try {Thread.sleep(10l);} catch (InterruptedException e) {} 
     balance += amount; 
    } 

    static void transfer(BankAccount from, BankAccount to, double amount) { 
     synchronized(from) { 
      from.withdraw(amount); 
      synchronized(to) { 
       to.deposit(amount); 
      } 
     } 
    } 

    public static void main(String[] args) { 
     final BankAccount fooAccount = new BankAccount(1, 100d); 
     final BankAccount barAccount = new BankAccount(2, 100d); 

     new Thread() { 
      public void run() { 
       BankAccount.transfer(fooAccount, barAccount, 10d); 
      } 
     }.start(); 

     new Thread() { 
      public void run() { 
       BankAccount.transfer(barAccount, fooAccount, 10d); 
      } 
     }.start(); 

    } 
} 

는 교착 상태가 발생하지 않도록 어떻게 transfer 방법을 변경할 것인가? 첫 번째 생각은 모든 계정에 대해 공유 잠금을 만드는 것입니다. 물론 모든 동시성을 없앨 것입니다. 거래에 관련된 두 개의 계정 만 잠그고 다른 계정에는 영향을 미치지 않는 좋은 방법이 있습니까?

Answer 1

한 가지 방법에 잠그려고하기 전에

synchronized(from){ 
    from.withdraw(amount); 
} 
synchronized(to){ 
    to.deposit(amount); 
} 

그래서 from.withdraw(amount)가 호출 된 후, from의 잠금이 해제됩니다 .

이 경우 모든 BankAccount 개체에 대해 전체 주문을 생성하게됩니다. 운 좋게도 우리는 사용할 수있는 ID를 가지고 있으므로 더 낮은 ID를 먼저 잠그고 (다른 동기화 된 블록 내부에서) 더 높은 ID를 잠글 수 있습니다.

이것은 동일한 ID를 가진 BankAccount 개체가 없다고 가정하지만 이는 합리적인 가정처럼 보입니다.

Answer 2

중첩 대신 두 개의 동기화 된 블록을 별도로 사용하십시오. 항상 같은 순서로 개체를 잠그는 것입니다 멀티 잠금 상황에서 교착 상태를 방지하기 위해 to