论文研究故障预测与健康管理系统验证与确认方法综述.pdf

在SOR模型的基础上提出了BRO-SOC（BackwardRecoveryOrientedSphereOfCorrectness）框架。在该框架的指导下提出了DoubleRun容错处理器方案。DoubleRun使用确定性重播（DeterministicReplay）技术保证处理器的可靠性。由于DoubleRun将故障的检测边界设置在BRO-SOC框架的SOC2一级，因此只需对L1cache进行适当扩展即可容忍处理器流水线中的瞬态故障，由于它不需改动现有的处理器流水线，故相比于其他方案对处理器流水线的性能影响更小。利用SPEC2000的部分程序测试了DoubleRun的无故障性能。