-
题名主/副版本模型中预分配容错实时调度算法
被引量:3
- 1
-
-
作者
刘娴
郭锐锋
邓昌义
-
机构
中国科学院大学
中国科学院沈阳计算技术研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2015年第3期760-768,共9页
-
基金
"核高基"国家科技重大专项基金项目(2012ZX01029001-002)
-
文摘
实时系统中任务的超时完成可能导致灾难性后果,因此要求系统具备容错处理能力,以保证系统出错后的实时性及可靠性.主/副版本模型是提高实时系统容错能力的有效技术.传统的容错实时调度算法通过为副版本预留处理器时间来实现软件容错,为副版本预留的处理器时间在系统运行过程中需动态调整,增加了系统的容错调度开销.提出一种基于res-backwards-RM预分配子算法的容错实时调度算法BCE*,通过限制预分配过程中高优先级任务的抢占条件,在不影响系统可调度性的同时可以有效避免副版本预留时间的动态调整,降低系统的容错调度开销.仿真实验验证了BCE*算法的可行性及有效性,且在系统出错概率及主版本负载较低的环境下,BCE*算法对系统容错调度开销的优化效果更显著.
-
关键词
实时调度
软件容错
主/副版本模型
调度开销
预分配
-
Keywords
real-time scheduling
software fault-tolerance
primary/alternate model
scheduling overhead
pre-allocation
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-