基于检查点机制的容错实时调度算法CP-PRA

摘要：

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

关键词：实时系统、容错调度、检查点、PRA、FTRM

所属期刊栏目：25

分类号：TP316;TP302.8(计算技术、计算机技术)

资助基金：国防科技预研基金2000J6.7.1.DZ0206;国家预研基金41315040106

在线出版日期：2004-06-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：508-511,602