参见https://zhuanlan.zhihu.com/p/228335745
1)乱序提交解法
类似multi-paxos,增加恢复阶段
2)乱序执行解法
日志里增加逻辑依赖,没依赖的可以乱序执行