시험 직전 요약장

기본 2단계 로킹은 락을 얻는 확장 단계와 락을 해제하는 축소 단계로 나뉜다. 한 번 락을 해제해 축소 단계에 들어간 뒤 새로운 락을 얻으면 기본 2PL 규칙을 위반한다. 기본 2PL은 충돌 직렬 가능성을 보장하지만 교착상태를 자동으로 없애지는 않는다.

낙관적 병행 제어는 충돌 가능성이 낮다고 보고 작업한 뒤 검증 단계에서 충돌을 확인한다. 충돌을 발견하면 취소·재시도가 필요할 수 있다. 타임스탬프 순서 제어는 부여된 시각·순서 정보로 충돌 작업이 허용되는 순서를 판단한다. MVCC, 잠금, 낙관적 검증을 같은 명칭의 기법으로 혼용하지 않는다.

잠금 단위가 작으면 서로 다른 행에 대한 병행성이 높아질 수 있지만 더 많은 잠금을 관리한다. 단위가 크면 관리 비용은 줄 수 있으나 직접 관련 없는 행의 작업도 기다리게 할 수 있다.

초기 값 100을 두 트랜잭션이 각각 읽고 10·20을 차감하여 90·80을 덮어쓰면, 직렬 처리에서의 기대값 70 대신 80이 남을 수 있다. 이는 갱신 유실이다. 다른 트랜잭션이 아직 커밋하지 않은 150을 읽었는데 작성자가 롤백해 100으로 돌아갔다면 더티 읽기다. 값이 바뀌었다는 사실만이 아니라 누가 언제 읽고 쓰고 커밋했는지를 추적한다.

선행 그래프는 서로 다른 트랜잭션이 같은 항목에 접근하고 하나 이상이 쓰기일 때 실제 선후 관계로 간선을 만든다. w1(A), r2(A), w2(B), r1(B)는 T1→T2와 T2→T1을 모두 만들므로 충돌 직렬 가능하지 않다. 교착상태의 대기 그래프와 같은 그래프로 해석하지 않는다.

2단계 커밋(2PC)은 여러 사이트의 트랜잭션 완료를 조정한다. 준비 단계에서 참여 사이트들이 커밋 가능한지 응답하고, 결정 단계에서 조정자가 전체 커밋 또는 취소 결정을 전달한다. 장애 시 결정 대기가 생길 수 있다.

2PL은 락 획득·해제와 동시성 제어, 2PC는 분산 트랜잭션의 완료 결정이다. 같은 '2단계'라는 이름만으로 혼동하지 않는다.