论文部分内容阅读
时间冗余作为容错的重要手段被广泛应用于安全行(Re-execute)预留了大量的空闲时间,但是重运行的使用会降低系统的资源利用率.提出了一种基于检查点机制的容错调度算法CP-PRA,通过降低错误恢复需要的时间,可以有效地提高系统的资源利用率.给出了该算法的可调度条件,并证明了其算法的正确性.