Flint: batch-interactive data-intensive processing on transient servers
A higher order estimate of the optimum checkpoint interval for restart dumps