9.4.3 停止型失败算法:基于共识的非阻塞式原子提交