A study of CRDTs that do computations

David Navalho; Sérgio Duarte; Nuno Preguiça

doi:10.1145/2745947.2745948

A study of CRDTs that do computations

David Navalho, Sérgio Duarte, Nuno Preguiça

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Citations (Scopus)

Abstract

A CRDT is a data type specially designed to allow multiple instances to be replicated and modified without coordination, while providing an automatic mechanism to merge concurrent updates that guarantee eventual consistency. In this paper we present a brief study of computational CRDTs, a class of CRDTs whose state is the result of a computation over the executed updates. We propose three generic designs that reduce the amount of information that each replica maintains and propagates for synchronizations. For each of the designs, we discuss the properties that the function being computed needs to satisfy.

Original language	English
Title of host publication	Proceedings of the 1st Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2015
DOIs	https://doi.org/10.1145/2745947.2745948
Publication status	Published - 1 Jan 2015

Keywords

Amount of information
Automatic mechanisms
Concurrent update
Data type
Eventual consistency
Generic design
Multiple instances

Access to Document

10.1145/2745947.2745948Licence: Unspecified

Cite this

@inproceedings{031daf2b911f47a88f5c63a70c6db161,

title = "A study of CRDTs that do computations",

abstract = "A CRDT is a data type specially designed to allow multiple instances to be replicated and modified without coordination, while providing an automatic mechanism to merge concurrent updates that guarantee eventual consistency. In this paper we present a brief study of computational CRDTs, a class of CRDTs whose state is the result of a computation over the executed updates. We propose three generic designs that reduce the amount of information that each replica maintains and propagates for synchronizations. For each of the designs, we discuss the properties that the function being computed needs to satisfy.",

keywords = "Amount of information, Automatic mechanisms, Concurrent update, Data type, Eventual consistency, Generic design, Multiple instances",

author = "David Navalho and S{\'e}rgio Duarte and Nuno Pregui{\c c}a",

note = "Sem PDF.",

year = "2015",

month = jan,

day = "1",

doi = "10.1145/2745947.2745948",

language = "English",

isbn = "978-145033537-9",

booktitle = "Proceedings of the 1st Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2015",

}

TY - GEN

T1 - A study of CRDTs that do computations

AU - Navalho, David

AU - Duarte, Sérgio

AU - Preguiça, Nuno

N1 - Sem PDF.

PY - 2015/1/1

Y1 - 2015/1/1

N2 - A CRDT is a data type specially designed to allow multiple instances to be replicated and modified without coordination, while providing an automatic mechanism to merge concurrent updates that guarantee eventual consistency. In this paper we present a brief study of computational CRDTs, a class of CRDTs whose state is the result of a computation over the executed updates. We propose three generic designs that reduce the amount of information that each replica maintains and propagates for synchronizations. For each of the designs, we discuss the properties that the function being computed needs to satisfy.

AB - A CRDT is a data type specially designed to allow multiple instances to be replicated and modified without coordination, while providing an automatic mechanism to merge concurrent updates that guarantee eventual consistency. In this paper we present a brief study of computational CRDTs, a class of CRDTs whose state is the result of a computation over the executed updates. We propose three generic designs that reduce the amount of information that each replica maintains and propagates for synchronizations. For each of the designs, we discuss the properties that the function being computed needs to satisfy.

KW - Amount of information

KW - Automatic mechanisms

KW - Concurrent update

KW - Data type

KW - Eventual consistency

KW - Generic design

KW - Multiple instances

UR - http://www.scopus.com/inward/record.url?scp=84929379172&partnerID=8YFLogxK

U2 - 10.1145/2745947.2745948

DO - 10.1145/2745947.2745948

M3 - Conference contribution

AN - SCOPUS:84929379172

SN - 978-145033537-9

BT - Proceedings of the 1st Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2015

ER -

A study of CRDTs that do computations

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this