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

作     者：张智超 桑楠 熊光泽 

作者机构：电子科技大学计算机科学与工程学院 

基　　金：国防科技预研基金项目(2000J6 7.1.DZ0206) 国家十五预研基金项目(41315040106) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2004年第25卷第4期

页      码：508-511,602页

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

主 题 词：检查点 容错调度 CP-PRA 实时系统 时间冗余 

学科分类：08[工学] 0835[0835] 081201[081201] 0812[工学-测绘类] 081202[081202] 

D　O　I：10.3969/j.issn.1000-7024.2004.04.009

馆 藏 号：203134136...