持久性通过 redo log 实现，一致性才是最终目标