REDO PHASE

ARIES 2단계: Redo

로그를 다시 읽되 pageLSN으로 이미 반영된 변경은 건너뛴다. 그래서 Redo는 반복 실행에 견딘다.

재적용pageLSN건너뛰기

Redo 판단

idempotent

if log.LSN > page.pageLSN: apply redo page.pageLSN = log.LSN else: skip

A recLSN부터 DPT에서 가장 이른 로그 위치 선택

B 페이지 확인 pageLSN과 로그 LSN 비교

C 필요분 적용 누락된 변경만 파일 상태에 반영

Repeating History: 장애 직전의 파일 상태까지 따라간 뒤, Undo 단계에서 미완료 트랜잭션을 되돌린다.