Impact of the Consistency Model on Checkpointing of Distributed Shared Memory

08/04/2022
by   Sandeep Kulkarni, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/09/2018

Ensuring referential integrity under causal consistency

Referential integrity (RI) is an important correctness property of a sha...
research
10/25/2017

Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems

We study the issue of data consistency in highly-available distributed s...
research
01/23/2021

Formal Definitions of Memory Consistency Models

Shared Memory is a mechanism that allows several processes to communicat...
research
02/02/2018

Extending Causal Consistency to any Object Defined by a Sequential Specification

This paper presents a simple generalization of causal consistency suited...
research
07/02/2020

Incremental methods for checking real-time consistency

Requirements engineering is a key phase in the development process. Ensu...
research
01/21/2023

Consistency vs. Availability in Distributed Real-Time Systems

In distributed applications, Brewer's CAP theorem tells us that when net...
research
09/21/2023

Generalize Synchronization Mechanism: Specification, Properties, Limits

Shared resources synchronization is a well studied problem, in both shar...

Please sign up or login with your details

Forgot password? Click here to reset