2.17.2 Recovery

• We assume a machine crashes, but then is fixed and returns to operation^2.5.
• We need to recover state to ensure that the guarantees of the transactional systems are kept.
• Use a recovery file or log that is kept on permanent storage.