WAL Rules
WAL은 페이지보다 로그를 먼저 안정화하는 두 규칙이다
데이터 파일보다 로그가 먼저 있어야 커밋 변경은 다시 적용하고 미완료 변경은 되돌릴 수 있다.
규칙 1: 페이지 기록 전 로그
변경
버퍼 페이지 수정
→
로그 안정화
undo/redo 정보 먼저 기록
→
페이지 flush
이후 Dirty Page 기록 가능
규칙 2: 커밋 응답 전 로그
COMMIT
완료 요청
→
로그 flush
커밋 로그까지 안정화
→
응답
장애 후 재적용 가능