基于检查点间隔优化的容错实时系统可调度性

摘要：

针对实时系统容错模型只能容忍任务执行时一次故障发生的缺陷,基于卷回恢复容错模型,提出了任务局部最优检查点间隔求解算法,使实时系统任务能够容忍任务执行过程中多次故障的发生;进而基于局部最优检查点间隔提出任务集检查点间隔全局优化(CIGO)策略.基于不同的检查点间隔优化机制,结合实时系统任务最坏响应时间的计算公式进行系统可调度性分析.仿真实验表明,与局部最优检查点间隔相比,基于全局优化检查点间隔的实时系统容错能力有显著提升.

关键词：计算机系统结构、实时系统、检查点设置与卷回恢复、可调度性分析、检查点间隔优化

所属期刊栏目：44

分类号：TP316(计算技术、计算机技术)

资助基金：国家自然科学基金项目60873138,61100004

在线出版日期：2016-05-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：433-439