回卷恢复模型下容错实时系统的可调度性分析
Schedulability Analysis for Fault-tolerant Real-time System Under Rollback Recovery Model作者机构:中国科学院沈阳计算技术研究所沈阳110168 中国科学院研究生院北京100039
出 版 物:《小型微型计算机系统》 (Journal of Chinese Computer Systems)
年 卷 期:2013年第34卷第6期
页 面:1334-1338页
核心收录:
学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:国家科技重大专项项目(2011ZX04016-071)资助
主 题:实时系统 可调度性分析 最坏响应时间 回卷恢复 容错优先级配置
摘 要:实时任务的超时完成将会导致灾难性后果,因此实时系统必须具备严格的实时性及可靠性保障.考虑实时系统的容错需求,本文基于回卷恢复模型,对容错实时系统的可调度性分析进行研究.在基于任务最坏响应时间的可调度性分析方法中,容错优先级配置是决定系统可调度性的关键.为了改进系统的可调度性,提出一种容错优先级可降低的配置策略,并推导出此策略下任务最坏响应时间的计算公式,以判断系统的可调度性.降低策略下低优先级任务可挪用高优先级任务的空闲时间来满足自身的截止时限要求.仿真实验表明,降低任务的容错优先级可以有效提升系统的容错能力.