回卷恢复模型下容错实时系统的可调度性分析.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 摘要：实时任务的超时完成将会导致灾难性后果，因此实时系统必须具备严格的实时性及可靠性保障．考虑实时系统的容错 需求，本文基于回卷恢复模型，对容错实时系统的可调度性分析进行研究．在基于任务最环响应时间的可调度性分析方法中，容 错优先级配置是决定系统可调度性的关键．为了改进系统的可调度性，提出一种容错优先级可降低的配置策略，并推导出此策 略下任务最坏响应时间的计算公式，以判断系统的可调度性．降低策略下低优先级任务可挪用高优先级任务的空闲时问来满足 自身的截止时限要求．仿真实验表明，降低任务的容错优先级可以有效提升系统的容错能力． 关键词：实时系统；可调度性分析；最坏响应时间；回卷恢复；容错优先级配置 中图分类号：TP31l 文献标识码：A 文章编号：1000—1220(2013)06-1334-05 forFault-tolerantReal-timeUnderRollback Model SchedulabilityAnalysis System Recovery GUO Rui．fen92，LIUXianh2。DINGWan．fuk2。LIJieL2，WANGHong-lian91’2 1 Graduate ofChinese of l University 100039-China) AcademyScience,。Beijing Instituteof of 2(ShenyangComputingTechnology，ChineseAcademySciences，Shenyang110168IChina》 real-timeis to its inreal-time and sincetaskfail· Abstract：A systemrequiredguaranteestringentrequirements responsereliabilityany to withinitsdeadlineresultina 011therollback a ing responsecorrectly may catastrophe．Basedrecoverymodel-thepaperpresents forfault-tolerantreal-time accountoftheeffectsoferrors．The method schedulability schedulabilityanalysis systemstaking analytical to basedonworst-casetimeis inwhichfault-tolerant iscrucialthe responseapplied priolityconfiguration systemg maincontributionofthe istodeducethe formulaoftask§worst-casetimeunde