从持久性出发，解释 redo log 的必要性、类型、MTR、写入流程、checkpoint 与崩溃恢复。