WAL and Crash Recovery Write-Ahead Logging (WAL) Checkpoint Crash Recovery Sequence checkpoint → crash → WAL replay → consistent state Rogov Ch. 9