Checkpointing for the RESTART problem in Markov networks
Lester Lipsky, Derek Doran, Swapna S. Gokhale · Journal of Applied Probability · 2011
We apply the known formulae of the RESTART problem to Markov models of software (and many other) systems, and derive new equations. We show how checkpoints might be included, with their resultant performance under RESTART. The result is a complete procedure for finding the mean, variance, and tail behavior of the job completion time as a function of the failure rate. We also provide a detailed example.