Recovery Blitz

The following pages contain design ideas and other information related to the first implementation of fast crash recovery, in the Fall of 2010 and Winter of 2011.

• Recovery Task List
• Recovery Performance
  • Effect of Profile-Guided Optimization
• Crash Probabilities Presentation (Asaf - November 16th 2010)
• Crash Probabilities Spreadsheet (November 16th 2010)
• Detailed Proofs of Crash Probabilities (November 16th 2010)