Recovery

Redo Winner Writes

Redo re-applies committed winner writes.

highlighted = computed this step

Redo winner writes

Redo re-applies writes from transactions that committed before the crash. In this surface, redo is winners-authoritative: committed writes define the recovered value for their items. Note: loser writes are not in the redo list.

redo winners\text{redo winners}

Redo list

The compiled recovery has 1 winner and 1 redo write. Note: the redo LSN list is rendered.

winners=1,redo=1\text{winners}=1,\quad \text{redo}=1

a simplified redo/undo recovery over a tiny log; ARIES detail (fuzzy checkpoints, CLRs, media recovery) and real durability/fsync are beyond these traces - no product claims.

Redo winner writes - CRASH after LSN 5lsntxntypeitembefore->after1T1begin2T1writeA0->53T1commit4T2begin5T2writeB0->9 winners: T1 | losers: T2; redo LSNs: 2; undo LSNs: 5itemvalueA5B0

Summary

Redo preserves committed work across the crash. Note: this is simplified redo and undo; ARIES detail, fuzzy checkpoints, CLRs, media recovery, and real fsync durability are deferred.

redo committed work\text{redo committed work}