[DB] 군대로 알아보는 트랜잭션 - 2. 일관성 편

Jake·2022년 3월 23일

목록 보기

2/3

1. 일관성(Consistency)이란?

일관성의 사전정 정의는 다음과 같습니다

일관성(Consistency)은 트랜잭션이 실행을 성공적으로 완료하면 언제나 일관성 있는 데이터베이스 상태로 유지하는 것을 의미한다. 무결성 제약이 모든 계좌는 잔고가 있어야 한다면 이를 위반하는 트랜잭션은 중단된다. (출처)
인터넷에서 트랜잭션의 일관성에 대해 검색하면 나오는 예시가 송금입니다.
A의 잔고 + B의 잔고 = 100만원일 때, 송금 후에도 A의 잔고 + B의 잔고 = 100만원이어야 합니다.
이 뿐 아니라 잔고는 0보다 작을 수 없다, 잔고는 항상 숫자여야 한다 등 데이터베이스가 가지고 있는 제약조건들이 트랜잭션 전후로 지켜지는 것 또한 트랜잭션의 일관성입니다.

2. 트랜잭션의 일관성이 지켜지지 않는다면

지난 번 예시를 이어서 사용하도록 하겠습니다. 다만, 이번에는 입대 신청을 하면 군대에서 10,000원을 준다고 가정하겠습니다. 이때 DB에 문제가 발생해서, 송금 트랜잭션의 원자성이 지켜지지 않고 있습니다.

class MilitaryDB{
    HashSet<String> newSoldiers = new HashSet<>();
    int budget = 10_000;

    public void 입대(Citizen citizen) {
        newSoldiers.add(citizen.name);
        송금(citizen);
    }

    public void 송금(Citizen citizen) {
        budget -= 10_000;
        if(네트워크_에러_발생()) {
            System.out.println("=====Network Failure=====");
        } else {
            citizen.balance += 10_000;
        }
    }

    private boolean 네트워크_에러_발생() {
        if(2*Math.random() > 1) 
            return true;
        else 
            return false;
        
    }

    public void 국가의_부름에_답하라() {
        for (String name : newSoldiers) {
            System.out.println("2022년 3월 23일까지 논산훈련소로 오도록, 훈련병 " + name);
        }
    }
}

class Citizen {
    String name;
    int balance;

    public Citizen(String name, int balance) {
        this.name = name;
        this.balance = balance;
    }
}