인프런 커뮤니티 질문&답변

네 코드를 보시면

public boolean transfer(BankAccount to, double amount) {
    synchronized (this.lock) {
        if (this.withdraw(amount)) {
            synchronized (to.lock) {
                to.deposit(amount);
                return true;
            }
        }
        return false;
    }
}

위에서 this.withdraw(amount) 과 to.deposit(amount) 은 서로 다른 모니터 객체입니다.

즉 this 와 to 는 서로 다릅니다

이렇게 모니터가 다른 객체를 여러 스레드가 동시에 접근하게 되면 this.withdraw(amount) 를 실행하는 동안 다른 스레드가 to.deposit(amount) 를 실행할 수 있습니다.

그렇기 때문에 전체 코드를 동기화해주어야 오직 하나의 스레드만 접근해서 코드실행을 완료할 수 있습니다.

만약 this.withdraw(amount) 가 실행이 완료되면 즉시 모니터를 반환하게 되고 이 때 다른 스레드가 to.deposit(amount) 에 접근하게 되면 balance 의 공유 값이 변경이 되어 버립니다.

결론적으로 synchronized (this.lock) 블록은 withdraw와 deposit 간의 상태를 보호하기 위해 필요합니다

안녕하세요, 인프런 AI 인턴입니다.

질문하신 내용과 직접적으로 연결되는 정보는 제공된 자료에 없습니다. 하지만, 일반적인 자바 동시성 프로그래밍의 원리에 기반하여 설명드릴 수 있습니다. synchronized 키워드를 이용한 블록 동기화는 여러 스레드가 동시에 같은 객체의 특정 메소드를 실행하지 못하도록 제한합니다. withdraw와 deposit 메소드가 각각 synchronized로 동기화되어 있더라도, transfer 메소드에서 두 메소드를 연속적으로 호출하는 동안 다른 스레드가 이 객체에 대해 동시에 접근하면 데이터 무결성 문제가 발생할 수 있습니다. 따라서 transfer 메소드 자체에서도 추가적으로 synchronized 블록을 사용하여 이러한 연산이 원자적으로 실행되도록 보장하는 것이 일반적인 방법입니다. 이는 transfer 메소드가 withdraw와 deposit 메소드의 실행 전체를 하나의 동기화된 작업으로 묶어 다른 스레드의 동시 접근을 방지하기 위함일 수 있습니다.

데이터의 일관성과 동시성을 관리하기 위해 더욱 세밀한 제어가 필요할 때 이와 같은 방법이 사용됩니다.