Conflict-free Replicated Data Types: An Overview

06/27/2018
by   Nuno Preguiça, et al.
0

Internet-scale distributed systems often replicate data at multiple geographic locations to provide low latency and high availability, despite node and network failures. Geo-replicated systems that adopt a weak consistency model allow replicas to temporarily diverge, requiring a mechanism for merging concurrent updates into a common state. Conflict-free Replicated Data Types (CRDT) provide a principled approach to address this problem. This document presents an overview of Conflict-free Replicated Data Types research and practice, organizing the presentation in the aspects relevant for the application developer, the system developer and the CRDT developer.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/04/2019

Remove-Win: a Design Framework for Conflict-free Replicated Data Collections

Internet-scale distributed systems often replicate data within and acros...
research
03/15/2019

Replication-Aware Linearizability

Geo-distributed systems often replicate data at multiple locations to ac...
research
05/16/2018

Conflict-free Replicated Data Types (CRDTs)

A conflict-free replicated data type (CRDT) is an abstract data type, wi...
research
05/14/2019

Automated Parameterized Verification of CRDTs

Maintaining multiple replicas of data is crucial to achieving scalabilit...
research
12/01/2021

Operation-based Collaborative Data Sharing for Distributed Systems

Collaborative Data Sharing raises a fundamental issue in distributed sys...
research
02/23/2018

Conflict-Aware Replicated Data Types

We introduce Conflict-Aware Replicated Data Types (CARDs). CARDs are sig...
research
07/06/2022

VeriFx: Correct Replicated Data Types for the Masses

Distributed systems adopt weak consistency to ensure high availability a...

Please sign up or login with your details

Forgot password? Click here to reset