-
题名基于优先级降低策略的回卷恢复容错实时调度算法研究
被引量:1
- 1
-
-
作者
郭锐锋
刘娴
丁万夫
-
机构
中国科学院沈阳计算技术研究所
中国科学院研究生院
-
出处
《电子与信息学报》
EI
CSCD
北大核心
2012年第2期474-480,共7页
-
基金
国家科技重大专项(2011ZX04016-071)资助课题
-
文摘
实时系统中任务的超时完成将会导致灾难性后果,因此实时系统必须具备实时性和可靠性保障。为了提升系统的容错能力,该文基于回卷恢复容错模型,提出了容错优先级降低策略,并基于此策略对系统进行可调度性分析,推导出了任务最坏响应时间的计算公式。为了快速确定一组最优的容错优先级降低配置,该文提出了一种有效的搜索算法,该算法能够将容错优先级降低配置的搜索空间由O(n!)降低为O(n 2)。最后,仿真实验表明容错优先级降低策略可以显著提升系统的容错能力。
-
关键词
实时系统
回卷恢复
容错优先级配置
可调度性分析
最坏响应时间
-
Keywords
Real-time system
Rollback recovery
Fault-tolerant priority configuration
Schedulability analysis
Worst-case response time
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-
-
题名回卷恢复模型下容错实时系统的可调度性分析
被引量:2
- 2
-
-
作者
郭锐锋
刘娴
丁万夫
李杰
王鸿亮
-
机构
中国科学院沈阳计算技术研究所
中国科学院研究生院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第6期1334-1338,共5页
-
基金
国家科技重大专项项目(2011ZX04016-071)资助
-
文摘
实时任务的超时完成将会导致灾难性后果,因此实时系统必须具备严格的实时性及可靠性保障.考虑实时系统的容错需求,本文基于回卷恢复模型,对容错实时系统的可调度性分析进行研究.在基于任务最坏响应时间的可调度性分析方法中,容错优先级配置是决定系统可调度性的关键.为了改进系统的可调度性,提出一种容错优先级可降低的配置策略,并推导出此策略下任务最坏响应时间的计算公式,以判断系统的可调度性.降低策略下低优先级任务可挪用高优先级任务的空闲时间来满足自身的截止时限要求.仿真实验表明,降低任务的容错优先级可以有效提升系统的容错能力.
-
关键词
实时系统
可调度性分析
最坏响应时间
回卷恢复
容错优先级配置
-
Keywords
real-time system
schedulability analysis
worst-case response time
rollback recovery
fault-tolerant priority configuration
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-