A first order approximation to the optimum checkpoint interval | Synapse