short-paper

A study of CRDTs that do computations

Authors:

David Navalho,

Sérgio Duarte,

Nuno PreguiçaAuthors Info & Claims

PaPoC '15: Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data

Article No.: 1, Pages 1 - 4

https://doi.org/10.1145/2745947.2745948

Published: 21 April 2015 Publication History

Get Access

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.

References

[1]

P. S. Almeida, A. Shoker, and C. Baquero. Efficient state-based crdts by delta-mutation. In Proc. of the Third International Conference on Networked Systems (NETYS) (to appear), May 2015.

Crossref

Google Scholar

[2]

S. Almeida, J. a. Leitão, and L. Rodrigues. Chainreaction: A causal+ consistent datastore based on chain replication. In Proc. of the 8th ACM European Conference on Computer Systems, EuroSys '13, pages 85--98, 2013. ACM.

Digital Library

Google Scholar

[3]

O. Boykin, S. Ritchie, I. O'Connell, and J. Lin. Summingbird: A framework for integrating batch and online mapreduce computations. Proc. VLDB Endow., 7(13): 1441--1451, Aug. 2014.

Digital Library

Google Scholar

[4]

S. Burckhardt, A. Gotsman, H. Yang, and M. Zawirski. Replicated data types: Specification, verification, optimality. In Proc. of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pages 271--284, 2014. ACM.

Digital Library

Google Scholar

[5]

J. C. Corbett, J. Dean, M. Epstein, A. Fikes, et. al. Spanner: Google's globally-distributed database. In Proc. of the 10th USENIX Conference on Operating Systems Design and Implementation, OSDI'12, pages 251--264, 2012. USENIX Association.

Digital Library

Google Scholar

[6]

G. DeCandia, D. Hastorun, M. Jampani, G. Kakulapati, A. Lakshman, A. Pilchin, S. Sivasubramanian, P. Vosshall, and W. Vogels. Dynamo: Amazon's highly available key-value store. In Proc. of Twenty-first ACM SIGOPS Symposium on Operating Systems Principles, SOSP '07, pages 205--220, 2007. ACM.

Digital Library

Google Scholar

[7]

W. Lloyd, M. J. Freedman, M. Kaminsky, and D. G. Andersen. Don't settle for eventual: Scalable causal consistency for wide-area storage with cops. In Proc. of the Twenty-Third ACM Symposium on Operating Systems Principles, SOSP '11, pages 401--416, 2011. ACM.

Digital Library

Google Scholar

[8]

C. Meiklejohn and P. Van Roy. Lasp: A Language for Distributed, Eventually Consistent Computations with CRDTs. In Proc. of the Workshop on Principles and Practice of Consistency for Distributed Data, Apr. 2015.

Digital Library

Google Scholar

[9]

D. Navalho, S. Duarte, N. Preguiça, and M. Shapiro. Incremental stream processing using computational conflict-free replicated data types. In Proc. of the 3rd International Workshop on Cloud Data and Platforms, CloudDP '13, pages 31--36, 2013. ACM.

Digital Library

Google Scholar

[10]

M. Shapiro, N. Preguiça, C. Baquero, and M. Zawirski. Conflict-free replicated data types. In Proc. of the 13th International Conference on Stabilization, Safety, and Security of Distributed Systems, SSS'11, pages 386--400, 2011. Springer-Verlag.

Digital Library

Google Scholar

[11]

J. Yick, B. Mukherjee, and D. Ghosal. Wireless sensor network survey. Comput. Netw., 52(12): 2292--2330, Aug. 2008.

Digital Library

Google Scholar

Cited By

View all

Sauwens MJannes KLagaisse BJoosen W(2021)SCEWProceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data10.1145/3447865.3457965(1-7)Online publication date: 26-Apr-2021
https://dl.acm.org/doi/10.1145/3447865.3457965
Zhang YWei HHuang Y(2021)Remove-Win: a Design Framework for Conflict-free Replicated Data Types2021 IEEE 27th International Conference on Parallel and Distributed Systems (ICPADS)10.1109/ICPADS53394.2021.00081(607-614)Online publication date: Dec-2021
https://doi.org/10.1109/ICPADS53394.2021.00081

Index Terms

A study of CRDTs that do computations
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Data types and structures
2. Theory of computation
  1. Models of computation
    1. Concurrency
      1. Parallel computing models

Recommendations

Δ-CRDTs: making δ-CRDTs delta-based
PaPoC '16: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data

Replication is a key technique for providing both fault tolerance and availability in distributed systems. However, managing replicated state, and ensuring that these replicas remain consistent, is a non trivial task, in particular in scenarios where ...
Making operation-based CRDTs operation-based
PaPEC '14: Proceedings of the First Workshop on Principles and Practice of Eventual Consistency

Conflict-free Replicated Datatypes can simplify the design of predictable eventual consistency. They can be classified into state-based or operation-based. Operation-based approaches have the potential for allowing compact designs in both the sent ...
Making CRDTs Byzantine fault tolerant
PaPoC '22: Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data

It is often claimed that Conflict-free Replicated Data Types (CRDTs) ensure consistency of replicated data in peer-to-peer systems. However, peer-to-peer systems usually consist of untrusted nodes that may deviate from the specified protocol (i.e. ...

Comments

Information & Contributors

Information

Published In

PaPoC '15: Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data

April 2015

42 pages

ISBN:9781450335379

DOI:10.1145/2745947

Program Chairs:
Carlos Baquero
INESC TEC & University of Minho, Portugal
,
Marco Serafini
Qatar Computing Research Institute, Qatar

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 April 2015

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Short-paper

Conference

EuroSys '15

Sponsor:

SIGOPS

EuroSys '15: Tenth EuroSys Conference 2015

April 21, 2015

Bordeaux, France

Acceptance Rates

Overall Acceptance Rate 34 of 47 submissions, 72%

Upcoming Conference

EuroSys '25

Sponsor:
sigops

Twentieth European Conference on Computer Systems

March 30 - April 3, 2025

Rotterdam , Netherlands

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
270
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Sauwens MJannes KLagaisse BJoosen W(2021)SCEWProceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data10.1145/3447865.3457965(1-7)Online publication date: 26-Apr-2021
https://dl.acm.org/doi/10.1145/3447865.3457965
Zhang YWei HHuang Y(2021)Remove-Win: a Design Framework for Conflict-free Replicated Data Types2021 IEEE 27th International Conference on Parallel and Distributed Systems (ICPADS)10.1109/ICPADS53394.2021.00081(607-614)Online publication date: Dec-2021
https://doi.org/10.1109/ICPADS53394.2021.00081

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Δ-CRDTs: making δ-CRDTs delta-based

Making operation-based CRDTs operation-based

Making CRDTs Byzantine fault tolerant