WAL은 페이지보다 로그가 먼저 안전해야 복구가 가능하다는 규칙이다
Before image와 redo log가 먼저 안정화되어야 장애 후 rollback과 durability를 둘 다 만족할 수 있다.
규칙
먼저 안정화할 것
깨지면 생기는 문제
UNDO 규칙
페이지 flush 전 before image
원래 값을 몰라 rollback 불가
REDO 규칙
commit 응답 전 redo log
커밋 변경 재적용 불가
Before image와 redo log가 먼저 안정화되어야 장애 후 rollback과 durability를 둘 다 만족할 수 있다.