A Quasi-synchronous Algorithm for Checkpointing in Distributed SystemsFinding consistent global checkpoints in a distributed computationQuasi-synchronous checkpointing: Models, characterization, and classification