Optimal Checkpoint Placement on Real-Time Tasks with Harmonic Periods
Seong, Woo, Kwak, Jung-Min, Yang Yang · Acta Scientiarum Naturalium Universitatis Sunyatseni · 2012
这份报纸在短暂差错发生在泊松分发的即时系统为容错论述最佳的检查点策略。在我们的环境，有不同截止时间和泛音时期的多重即时任务被 rate-monotonic 算法在系统安排，并且检查点在每项任务在经常的间隔被插入。当一个差错被检测时，系统执行回卷到最近的检查点并且重新制作任务。到检查 schedulability 的重新可执行文件检查点和一个方程的最大的数字被导出，并且检查点的最佳的数字被选择最大化在他们的截止时间以内完成所有这些任务的概率。