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

小型微型计算机系统 2013年6月第6期 JournalofChinese Systems V01．34No．62013 Computer 回卷恢复模型下容错实时系统的可调度性分析 郭锐锋2，刘 娴1，一，丁万夫1，一，李 杰1，-，王鸿亮L2 1(中国科学院研究生院，北京100039) 2(中国科学院沈阳计算技术研究所，沈阳110168) E—mail：liuxian@sict．ac．cn 摘要：实时任务的超时完成将会导致灾难性后果，因此实时系统必须具备严格的实时性及可靠性保障．考虑实时系统的容错 需求，本文基于回卷恢复模型，对容错实时系统的可调度性分析进行研究．在基于任务最环响应时间的可调度性分析方法中，容 错优先级配置是决定系统可调度性的关键．为了改进系统的可调度性，提出一种容错优先级可降低的配置策略，并推导出此策 略下任务最坏响应时间的计算公式，以判断系统的可调度性．降低策略下低优先级任务可挪用高优先级任务的空闲时问来满足 自身的截止时限要求．仿真实验表明，降低任务的容错优先级可以有效提升系统的容错能力． 关键词：实时系统；可调