6.4.2 恢复型失败算法