论文部分内容阅读
在SOR模型[1]的基础上提出了BRO-SOC(Backward Recovery Oriented Sphere of Correctness)框架,并在该框架的指导下提出了DoubleRun容错处理器方案。DoubleRun使用确定性重播(Deterministic Replay)技术保证处理器的可靠性。由于DoubleRun将故障的检测边界设置在BRO-SOC框架的SOC2一级,因此只需对L1cache进行适当扩展即可容忍处理器流水线中的瞬态故障,由于它不需改动现有的处理器流水线,故相比于其它方案对