Stronger consistency models lead to simpler and more efficient checkpointing
The impact of consistency models on checkpointing for distributed shared memory was studied. Four consistency models were examined: linearizability, sequential consistency, causal consistency, and eventual consistency. Checkpointing and rollback algorithms were developed for each model. Stronger consistency models were found to lead to simpler or more efficient checkpointing algorithms.