论文部分内容阅读
针对数控系统对时间确定性和可靠性的要求，建立混合关联任务集描述模型，提出了基于回卷恢复机制和最佳优先（BF）算法的容错调度策略．该策略对数控系统关键任务的执行过程进行周期性分段验证，通过保存正确的检查点状态，使得出现瞬时故障时任务可以从检查点开始继续执行，从而以较低的计算损失达到容错的效果．与传统的实时容错调度算法相比，基于回卷恢复机制的容错调度策略能很好地适用于数控系统多类型任务并存和任务间相互约束的特点，同时，通过降低错误恢复所需的时间开销，有效地提高了系统的资源利用率．该算法应用于数控系统的有效性在