Distributed checkpoint algorithms to avoid roll-back propagation