트랜잭션 & 회복

트랜잭션(Transaction)이란 데이터베이스에서 하나의 논리적 작업 단위를 구성하는 연산들의 집합입니다. 은행 이체 = '출금 + 입금'처럼, 반드시 모두 실행되거나 모두 취소되어야 합니다.

트랜잭션 상태 5가지: ① 활동(Active) → 트랜잭션 실행 중 ② 부분 완료(Partially Committed) → 마지막 연산 실행 직후 (아직 COMMIT 전) ③ 완료(Committed) → COMMIT 수행, 결과 영구 반영 ④ 실패(Failed) → 오류 발생, 더 이상 진행 불가 ⑤ 철회(Aborted) → ROLLBACK 수행, 트랜잭션 이전 상태로 복원

-- 트랜잭션 기본 구조
BEGIN TRANSACTION;

UPDATE 계좌 SET 잔액 = 잔액 - 50000
WHERE 계좌번호 = 'A001';

UPDATE 계좌 SET 잔액 = 잔액 + 50000
WHERE 계좌번호 = 'B002';

-- 둘 다 성공하면
COMMIT;

-- 하나라도 실패하면
-- ROLLBACK;

로킹(Locking)은 동시성 제어 기법으로, 트랜잭션이 데이터에 접근할 때 잠금(Lock)을 설정하여 다른 트랜잭션의 간섭을 방지합니다.

2단계 로킹 프로토콜(2PL): • 확장 단계(Growing Phase): Lock만 획득, 해제 불가 • 축소 단계(Shrinking Phase): Lock만 해제, 획득 불가 → Lock을 모두 잡은 뒤에야 하나씩 풀기 시작. 직렬 가능성을 보장하지만 교착상태 예방은 불가!

교착상태(Deadlock): 두 트랜잭션이 서로가 잡고 있는 Lock을 기다리며 무한 대기하는 상태. 해결 방법: ① 예방(Prevention): 타임스탬프 기반 (Wait-Die, Wound-Wait) ② 탐지(Detection): 대기 그래프(Wait-for Graph)로 사이클 탐지 ③ 회복(Recovery): 교착 트랜잭션 중 하나를 ROLLBACK

회복(Recovery)이란 장애 발생 시 데이터베이스를 일관된 상태로 복원하는 것입니다. 로그(Log) 기반 회복이 핵심이며, 시험에서 4가지 기법의 특징을 비교하는 문제가 출제됩니다.

-- 검사점 기반 회복 시나리오
-- T1: COMMIT 완료 (검사점 이전) → 회복 불필요
-- T2: COMMIT 완료 (검사점 이후) → Redo
-- T3: 실행 중 장애 발생       → Undo

-- 로그 예시
-- [T2, Start]
-- [T2, Write, 학생, 홍길동, 김길동]
-- [Checkpoint]
-- [T2, Commit]
-- [T3, Start]
-- [T3, Write, 수강, 80, 90]
-- *** 장애 발생 ***
-- → T2는 Redo, T3는 Undo

ACID 속성 중 '트랜잭션은 모두 실행되거나 모두 취소되어야 한다'에 해당하는 것은?

공유 잠금(S-Lock)에 대한 설명으로 옳은 것은?

지연 갱신(Deferred Update) 회복 기법의 특징으로 옳은 것은?

2단계 로킹 프로토콜(2PL)에 대한 설명으로 틀린 것은?