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
- Crash Probabilities Presentation (Asaf - November 16th 2010)
- Crash Probabilities Spreadsheet (November 16th 2010)
- Detailed Proofs of Crash Probabilities (November 16th 2010)