日志先于数据

数据库靠日志把非原子的磁盘写入变成可恢复过程。Redo 保证已提交事务可重演，Undo 擦除未完成变更。发散：可靠系统常不是避免失败，而是保存足够证据，让失败后能确定地恢复。