摘要： 分析了软件容错模型中的BCE容错调度算法，针对该算法中的反向调度和正向调度两个过程，给出了RMB、DMB、EDFB 3种反向调度算法和RMF、EDFF 2种正向调度算法，指出了反向调度和正向调度相互协调的特性。将各种算法在BCE算法中进行模拟，结果表明EDFF正向调度算法能够与3种反向调度算法更好地协调，从而获得比RMF正向调度算法更高的调度性能。模拟结果表明，3种反向调度算法在BCE算法中的性能相近。得出RMB(或DMB)反向调度算法与EDFF正向调度算法的组合较适用于软件容错模型的结论。

关键词: 容错调度, 实时系统, 软件容错

Abstract: BCE algorithm and its processes of backward schedule and forward schedule are analyzed. Two backward schedule algorithms, RMF and EDFF, and three forward schedule algorithms, RMB, DMB and EDFB, are researched. The cooperation between backward schedule and forward schedule is put forward. Different schedule algorithms are simulated with BCE algorithm. Since EDFF forward schedule algorithm cooperates well with three backward schedule algorithms, it gets better schedule performance than RMF. Simulation results also show that three backward schedule algorithms have similar effect on BCE algorithm. The conclusion that the combination of EDFF and RMB, or DMB, is more applicable for software fault-tolerant module is made.

Key words: Fault-tolerant schedule, Real-time system, Software fault-tolerance

中图分类号: 

• TP316.2