Aiming at the equidistant checkpointing placement, an analytical model is presented based on the directed state transition graph and Laplace transform is utilized to evaluate the expected total execution overhead of a single checkpoint interval. The optimal checkpoint interval can be obtained according to the fault-tolerant overhead ratio. The final discussion shows that the proposal is able to agree with the practical cases and the degradation formula of our proposal is able to be consistent with the previous model. The comparison reveals that our model obtains more exact optimal checkpoint interval with the minimum fault-tolerant overhead ratio. In future work, it would be of interest to extend the model to deal with other checkpointing placement schedule.
展开▼