硬实时容错调度算法研究

来源 :华中科技大学 | 被引量 : 0次 | 上传用户:momoyangli
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
具有容错能力的硬实时系统要求在系统发生局部故障情况下所有任务仍然能在截止期限之前正确完成,否则会导致灾难性的后果,被广泛地应用到航天、军事等关键领域。硬实时容错调度算法通过软件方法构造任务调度秩序并从理论上证明该秩序的实时性和可靠性,属于实时系统的重要研究领域。硬实时系统种类繁多,新的应用需求层出不穷,对原有的硬实时容错调度理论提出了新的挑战。因此,需要对现有的硬实时容错调度算法进行扩充以适应新的需求。主/副版本技术是分布式硬实时系统中重要的容错机制。在该机制中,每个任务的主副版本分别分配到不同的处理机上。FTRMFF (Fault-Tolerant Rate-Monotonic First-Fit)算法利用主/副版本技术作为容错手段,通过首次适应方式按照RMS(Rate-Monotonic Scheduling)优先级依次将任务分配到能同时满足实时性和可靠性的处理机上,是一种经典的分布式容错调度算法。然而,以首次适应方式来分配处理机很难充分挖掘处理机的负载能力。针对这种情况,首先定义空闲因子来量化处理机中空闲资源。然后提出紧凑因子的概念来反映分配到同一个处理机上的任务之间的相容程度。最后提出的基于紧凑因子的启发式硬实时容错调度算法在为任务分配处理机时遵循紧凑因子最大化的原则。该算法能增加周期任务间的相容性,从而提高分布式系统的调度性能。副版本根据触发时间可分为主动副版本和被动副版本。主动副版本与其主版本同时触发,而被动副本则在其主版本失效后才触发,其距离截止期限的时间间隔相对变小。FTRMFF算法的副版本优先级继承策略不利于被动副版本对处理器空闲资源的充分利用。针对这种情况,以最坏响应时间分析为基础,提出基于被动副版本优先级提高策略的硬实时容错调度算法。该算法挪用高优先级任务的空闲时间来处理低优先级任务的容错,从而保证出错的任务满足截止期限的要求。并且根据这种分配策略的性质,设计了优先级提高因子搜索算法。经过研究分析,适当提高被动副版本的优先级能增加被动副版本的可调度性,从而提高处理机利用率。副版本优先级提高策略实质上是考虑到被动副版本执行的紧迫程度较高而提出来的。类似情况也会出现在处理机发生故障之后。具体来说,发生故障时刻所在的周期内的实例相对于后续的实例的执行窗口更小,紧迫程度更高。为实现紧迫实例满足截止期限的目标,提出启发式非紧迫周期延迟策略。该策略尽可能推迟非紧迫实例的执行从而合理挪动空闲资源使得低优先级实例有更多的机会完成其紧迫周期内的执行。另外,具体给出了任务在紧迫周期的最坏响应时间和非紧迫周期内的最大可延迟时间的精确计算方法。对于单处理机硬实时系统,在设计节能容错调度算法时需要考虑动态电压调整技术对瞬时错误发生概率的负面影响将处理器空闲资源全部用于降低工作电压不仅造成替代任务无充裕时间进行容错,而且替代任务执行本身会增加系统能耗开销。为解决这些负面影响,通过定量分析电压/频率与错误概率的关系以期望功耗最小化为目标提出任务最优频率的概念。然后,根据任务在最优频率下的节能效率定义能耗优先级,并提出启发式节能容错调度算法。该算法将处理器空闲时间优先分配给能耗优先级高的任务,从而最大限度地将空闲资源转化为能耗下降。与单处理机系统相比,动态电压调整技术对多处理机系统的影响更加复杂。低功耗技术会延长主版本的最坏响应时间进而破坏副版本的类型,可能造成副版本由主动方式转为被动方式。增加的容错冗余不仅增加硬件代价而且产生更多的能耗。针对这种复杂情况,首先对容错和节能在消耗处理器时间方面进行定量分析。在此基础上,将FTRMFF算法中的容错完成时间测试扩展为节能容错完成时间测试。以节能容错完成时间测试作为可调度性判定准则,提出启发式节能容错硬实时调度算法。该算法在保证系统硬实时性和可靠性前提下,最大化地将剩余空闲资源转化为能耗的降低。
其他文献
1病例介绍患者男,17岁,学生,因双眼“溅入硫酸”后眼痛,视力障碍1h门诊收入院。入院诊断:跟酸烧伤(双),结角膜烧伤(双),面颈部酸烧伤(5%,深2°)。入院后查体,跟科情况:右眼视力0.2,左眼视力
资金成本的计算存在于财务管理中的筹资部分,企业正常筹资从资金需要量的预测,到资本成本的计算,然后调整整体资本结构,那么资本成本的计算就显得额外重要。资本成本是企业筹
现在的企业和个人越来越多的依赖于存储在计算机系统的信息。尽管现在的磁盘驱动器的平均失效等待时间(MTTF)值越来越高,磁盘的性能大大的提高,但是,存储需求在以巨大的速度
综合利用多源遥感数据完成1次太湖沉水植物与藻类水华预警。首先,利用时间分辨率较高的中分辨率成像光谱仪(MODIS)数据(空间分辨率250m,每天过境4次)进行连续监测,发现太湖宜
都市农业作为一种新型农业发展模式在一些大型城市中迅速发展起来。但当前我国农业补贴政策主要在增加农产品产量、增加农民收入等方面发挥作用,对于提升产品质量,促进生态功
燃煤电厂是颗粒物重要的排放源之一。"超低排放"后,部分工况下烟气处于低温高湿条件,对烟尘测试工作带来挑战,尤其是低浓度时。选择某典型低温高湿的测试环境,比对研究了《固定污染源排气中颗粒物测定与气态污染物采样方法》(GB/T 16157—1996)和《固定污染源的排放在低浓度时颗粒物质(粉尘)的质量浓度的测定手工重量分析法》(ISO 12141:2002)两种烟尘测试方法,并依据国际标准化组织的"测
<正>以长时段历史的视野来看,视觉文化的实践和研究,并非新问题、新命题。而对经典话题的再研究、再推进的成功,至少说明研究者完成了如下一些决然是弥足珍贵的工作:一是从过
<正>苏霍姆林斯基曾提到:"在人的心灵深处,都有一种根深蒂固的需要,这就是希望自己是一个发现者、研究者、探索者。在儿童的精神世界里,这种需要特别强烈。"小学生阶段,自我
会议
目的:探讨剖宫产术患者术前进行护理干预对焦虑和抑郁倾向的作用。方法:选择要求剖宫产的孕妇,术前1天及护理干预后实施手术前1h在自然无干扰的情况下自行填写焦虑自评量表(SAS)
随着多核处理器的流行,共享内存多线程程序成为挖掘多核处理器系统并行性的重要手段。然而,共享内存多线程程序在执行时存在不确定性,即在相同输入下,同一程序在同一台多核处理器