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

摘要：

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

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

作者: 张智超 桑楠 熊光泽

作者单位: 电子科技大学计算机科学与工程学院(成都)

会议类型: 国内会议

会议名称: 2003中国计算机大会

会议地点: 北京

会议语种:中文

页码: 663-667

在线出版日期: 2003-11-01（万方平台首次上网日期，不代表论文的发表时间）