9.2.2 算法：基于全序广播的状态复制