Advanced Topics in Computer Systems
Joe Hellerstein & Timothy Roscoe

Intro to Recovery: Haerder & Reuter

Recall that Recovery guarantees Atomicity and Durability.
Paper outlines issues and options for recovery.

Types of Failure: a la Gray/Reuter's model of system behavior and what can go wrong

Views of the DB Overwriting Options Buffer Pool Eviction Options Log Data Checkpoints State of the Art (as exemplified by ARIES) Keep this taxonomy in mind as you read papers on transaction systems! E.g. how does System R, LRVM, POSTGRES fit in here? Effects on performance/scalability? On complexity?