Restoring consistent global states of distributed computations