Self-stabilizing algorithm for checkpointing in a distributed system