In this report, we consider the impact of the consistency model on checkpointing and rollback algorithms for distributed shared memory. In particular, we consider specific implementations of four consistency models for distributed shared memory, namely, linearizability, sequential consistency, causal consistency and eventual consistency, and develop checkpointing and rollback algorithms that can be integrated into the implementations of the consistency models. Our results empirically demonstrate that the mechanisms used to implement stronger consistency models lead to simpler or more efficient checkpointing algorithms.

翻译：在本报告中,我们考虑了一致性模式对用于分布式共享记忆的检查点和回滚算法的影响,特别是,我们考虑具体实施用于分布式共享记忆的四个一致性模式,即线性、顺序一致性、因果一致性和最终一致性,并发展可纳入一致性模式实施的检查点和回滚算法。 我们的成果从经验上证明,用于实施更强一致性模式的机制导致简化或更高效的检查算法。