2014
DOI: 10.1007/978-3-662-43352-2_11
|View full text |Cite
|
Sign up to set email alerts
|

Making Operation-Based CRDTs Operation-Based

Abstract: Abstract. Conflict-free Replicated Datatypes (CRDT) can simplify the design of eventually consistent systems. They can be classified into statebased or operation-based. Operation-based designs have the potential for allowing very compact solutions in both the sent messages and the object state size. Unfortunately, the current approaches are still far from this objective. In this paper, we introduce a new 'pure' operation-based framework that makes the design and the implementation of these CRDTs more simple an… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
30
0

Year Published

2016
2016
2022
2022

Publication Types

Select...
5
3
1

Relationship

3
6

Authors

Journals

citations
Cited by 28 publications
(30 citation statements)
references
References 16 publications
0
30
0
Order By: Relevance
“…Causal stability [6] was defined in the context of static group and in absence of an adversary. Here, we tailor this concept to dynamic groups and we assume that all participants are honest.…”
Section: A Provable Causal Stability In Dynamic Groupmentioning
confidence: 99%
See 1 more Smart Citation
“…Causal stability [6] was defined in the context of static group and in absence of an adversary. Here, we tailor this concept to dynamic groups and we assume that all participants are honest.…”
Section: A Provable Causal Stability In Dynamic Groupmentioning
confidence: 99%
“…Authenticated logs rely on consistency models [5] which define how contributions can be related to each other. Causal Stability [6] enables us to safely prune causal-consistent logs in static groups. Once a contribution is stable, participants have the guarantee that all participants included it in their log.…”
Section: Introductionmentioning
confidence: 99%
“…In this section we develop a formal definition of an asynchronous unreliable causal broadcast network. We choose this model because it satisfies the causal delivery requirements of many operationbased CRDTs [Almeida et al 2015;Baquero et al 2014]. Moreover, it is suitable for use in decentralised settings, as motivated in the introduction, since it does not require waiting for communication with a central server or a quorum of nodes.…”
Section: An Axiomatic Network Modelmentioning
confidence: 99%
“…In Section 3, we show a specification of a trivial resettable counter design and point to the meta-data trade-off of such design. In Section 4, we explain how causal stability, that is already a part of the pure opbased framework [3], can be used to remove unnecessary meta-data leading to a more compact design. We conclude, in section 5, with some final remarks.…”
Section: Introductionmentioning
confidence: 99%