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