9.7.3 停止型失败算法：基于可停止全序广播