Crash recovery and the buffer cache