Making Operation-Based CRDTs Operation-Based

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2014

Autores

Baquero, C (Autor) Outra; Almeida, PS (Autor) Outra; Shoker, A (Autor) Outra

Ata de Conferência Internacional

Título: DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2014)

Páginas: 126-140

14th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS)

Berlin, GERMANY, JUN 03-05, 2014

Indexação

ISI Web of Knowledge - 18 Citações

Scopus - 29 Citações

Outras Informações

ID Authenticus: P-009-DMK

DOI: 10.1007/978-3-662-43352-2_11

Abstract (EN): Conflict-free Replicated Datatypes (CRDT) are usually classified as either state-based or operation-based. However, the standard definition of op-based CRDTs is very encompassing, allowing even sending the full-state, blurring the distinction. We introduce pure op-based CRDTs, that can only send operations to other replicas, drawing a clear distinction from state-based ones. Datatypes with commutative operations can be trivially implemented as pure op-based CRDTs using standard reliable causal delivery. We propose an extended API - tagged reliable causal broadcast - that provides causality information upon delivery, and show how it can be used to also implement other datatypes having non-commutative operations, through the use of a PO-Log - a partially ordered log of operations - inside the datatype. A semanticallybased PO-Log compaction framework, using both causality and what we denote by causal stability, allows obtaining very compact replica state for pure op-based CRDTs, while also benefiting from small message sizes.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 15