回卷恢复模型下容错实时系统的可调度性分析

作者：郭锐锋; 刘娴; 丁万夫; 李杰; 王鸿亮

来源：小型微型计算机系统, 2013, (06): 1334-1338.

• 实时系统
• 可调度性分析
• 最坏响应时间
• 回卷恢复
• 容错优先级配置 real-time system
• schedulability analysis
• worst-case response time
• rollback recovery
• fault-tolerant priority configuration

实时任务的超时完成将会导致灾难性后果,因此实时系统必须具备严格的实时性及可靠性保障.考虑实时系统的容错需求,本文基于回卷恢复模型,对容错实时系统的可调度性分析进行研究.在基于任务最坏响应时间的可调度性分析方法中,容错优先级配置是决定系统可调度性的关键.为了改进系统的可调度性,提出一种容错优先级可降低的配置策略,并推导出此策略下任务最坏响应时间的计算公式,以判断系统的可调度性.降低策略下低优先级任务可挪用高优先级任务的空闲时间来满足自身的截止时限要求.仿真实验表明,降低任务的容错优先级可以有效提升系统的容错能力.

• 出版日期2013
• 单位中国科学院大学; 中国科学院沈阳计算技术研究所