경쟁 조건 (Race Condition)

취약한 코드 (java)

// 취약한 코드 - 동기화 없는 잔액 차감
public void withdraw(int amount) {
    if (balance >= amount) {     // 검사
        // 다른 스레드가 동시에 출금 가능
        balance -= amount;       // 사용
    }
}

안전한 코드 (java)

// 안전한 코드 - synchronized 또는 AtomicInteger
private final Object lock = new Object();

public void withdraw(int amount) {
    synchronized(lock) {
        if (balance >= amount) {
            balance -= amount;
        }
    }
}

// 또는 AtomicInteger 사용
private AtomicInteger balance = new AtomicInteger(1000);