为了保证长运行时间软件的实时性要求，本文针对双机冗余系统，采用检查点设置与卷回恢复的方法提出了一种系统模型，同时为使任务的完成时间最短而给出了如何确定检查点设置周期的方法。文章最后进行了数学分析并给出了模拟结果比较。%To meet the real-time requirements of long-running software,this paper adopts the methods of setting checkpoints and rollback to derive a system model based on dual-computer redundancy.For such a model,the strategy to select an optimum checkpoint interval which can minimize the completion time of tasks is presented.Finally,the mathematical analysis and the simulation results to support the strategy are given.
展开▼
