redo log如何保证crash-safe的能力