摘要
随着可持续性计算急切需求的增加,实时系统中的实时应用的容错调度变得尤为重要.这是因为在广泛采用多处理器体系结构的实时系统中,任何一个处理器故障都可能导致灾难性的后果.当一个任务由于处理器故障执行出错时,其备份的重新执行是必不可少的手段;并且就目前来说,任务备份的重新执行方式主要有主动和被动两种方式.本文所要解决的问题是,当多处理器系统中的一个处理器发生故障而失效时,如何为每个任务合理地选择任务备份的执行方式进行容错调度,从而使得所有的任务都能被成功执行且达到调度长度最小的目标.为了解决该问题,本文建立了单处理器故障下任务容错调度的系统模型、整数线性规划(Integer Linear Programming,ILP)以及启发式算法求解模型,提出的启发式算法能够在满足所有约束的条件下给出近似最优的调度方案.同时,本文建立的系统模型对调度方案进行了仿真,并分析了仿真结果.
- 单位