Putting Order in Strong Eventual Consistency

Kevin De Porre; Florian Myter; Christophe De Troyer; Christophe Scholliers; Wolfgang De Meuter; Elisa Gonzalez Boix

doi:10.1007/978-3-030-22496-7_3

Putting Order in Strong Eventual Consistency

Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter, Elisa Gonzalez Boix

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

12 Citations (Scopus)

169 Downloads (Pure)

Abstract

Conflict-free replicated data types (CRDTs) aid programmers develop highly available and scalable distributed systems. However, the literature describes only a limited portfolio of conflict-free data types and implementing custom ones requires additional knowledge of replication and consistency techniques. As a result, programmers resort to ad hoc solutions which are error-prone and result in brittle systems. In this paper, we introduce strong eventually consistent replicated objects (SECROs), a general-purpose data type for building available data structures that guarantee strong eventual consistency (SEC) without restrictions on the operations. To evaluate our solution we compare a real-time collaborative text editor built atop SECROs with a state-of-the- art implementation that uses JSON CRDTs. This comparison quantifies various performance aspects. The results show that SECROs are truly general-purpose and memory efficient.

Original language	English
Title of host publication	19th Intl. Conf. Distributed Applications and Interoperable Systems
Subtitle of host publication	19th IFIP WG 6.1 International Conference
Editors	José Pereira, Laura Ricci
Publisher	Springer
Pages	36-56
Number of pages	21
Volume	11534
ISBN (Electronic)	978-3-030-22496-7
ISBN (Print)	978-3-030-22495-0
DOIs	https://doi.org/10.1007/978-3-030-22496-7_3
Publication status	Published - 2019
Event	IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2019) - Technical University of Denmark, Kongens Lyngby, Denmark Duration: 17 Jun 2019 → 21 Jun 2019 Conference number: 19 https://www.discotec.org/2019/dais

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11534 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2019)
Abbreviated title	DAIS
Country/Territory	Denmark
City	Kongens Lyngby
Period	17/06/19 → 21/06/19
Internet address	https://www.discotec.org/2019/dais

Keywords

Distribution
Eventual consistency
Replicated data types

Access to Document

10.1007/978-3-030-22496-7_3

final-paperAccepted author manuscript, 594 KBLicence: Unspecified

Cite this

De Porre, K., Myter, F., De Troyer, C., Scholliers, C., De Meuter, W., & Gonzalez Boix, E. (2019). Putting Order in Strong Eventual Consistency. In J. Pereira, & L. Ricci (Eds.), 19th Intl. Conf. Distributed Applications and Interoperable Systems: 19th IFIP WG 6.1 International Conference (Vol. 11534, pp. 36-56). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11534 LNCS). Springer. https://doi.org/10.1007/978-3-030-22496-7_3

De Porre, Kevin ; Myter, Florian ; De Troyer, Christophe ; Scholliers, Christophe ; De Meuter, Wolfgang ; Gonzalez Boix, Elisa. / Putting Order in Strong Eventual Consistency. 19th Intl. Conf. Distributed Applications and Interoperable Systems: 19th IFIP WG 6.1 International Conference. editor / José Pereira ; Laura Ricci. Vol. 11534 Springer, 2019. pp. 36-56 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{0a3bb8a27a654bbea0c179862ccfbfd4,

title = "Putting Order in Strong Eventual Consistency",

abstract = "Conflict-free replicated data types (CRDTs) aid programmers develop highly available and scalable distributed systems. However, the literature describes only a limited portfolio of conflict-free data types and implementing custom ones requires additional knowledge of replication and consistency techniques. As a result, programmers resort to ad hoc solutions which are error-prone and result in brittle systems. In this paper, we introduce strong eventually consistent replicated objects (SECROs), a general-purpose data type for building available data structures that guarantee strong eventual consistency (SEC) without restrictions on the operations. To evaluate our solution we compare a real-time collaborative text editor built atop SECROs with a state-of-the- art implementation that uses JSON CRDTs. This comparison quantifies various performance aspects. The results show that SECROs are truly general-purpose and memory efficient.",

keywords = "Distribution, Eventual consistency, Replicated data types",

author = "{De Porre}, Kevin and Florian Myter and {De Troyer}, Christophe and Christophe Scholliers and {De Meuter}, Wolfgang and {Gonzalez Boix}, Elisa",

year = "2019",

doi = "10.1007/978-3-030-22496-7_3",

language = "English",

isbn = "978-3-030-22495-0",

volume = "11534",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "36--56",

editor = "Jos{\'e} Pereira and Laura Ricci",

booktitle = "19th Intl. Conf. Distributed Applications and Interoperable Systems",

note = "IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2019), DAIS ; Conference date: 17-06-2019 Through 21-06-2019",

url = "https://www.discotec.org/2019/dais",

}

De Porre, K , Myter, F, De Troyer, C, Scholliers, C, De Meuter, W & Gonzalez Boix, E 2019, Putting Order in Strong Eventual Consistency. in J Pereira & L Ricci (eds), 19th Intl. Conf. Distributed Applications and Interoperable Systems: 19th IFIP WG 6.1 International Conference. vol. 11534, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11534 LNCS, Springer, pp. 36-56, IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2019), Kongens Lyngby, Denmark, 17/06/19. https://doi.org/10.1007/978-3-030-22496-7_3

Putting Order in Strong Eventual Consistency. / De Porre, Kevin ; Myter, Florian; De Troyer, Christophe; Scholliers, Christophe; De Meuter, Wolfgang ; Gonzalez Boix, Elisa.

19th Intl. Conf. Distributed Applications and Interoperable Systems: 19th IFIP WG 6.1 International Conference. ed. / José Pereira; Laura Ricci. Vol. 11534 Springer, 2019. p. 36-56 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11534 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

TY - GEN

T1 - Putting Order in Strong Eventual Consistency

AU - De Porre, Kevin

AU - Myter, Florian

AU - De Troyer, Christophe

AU - Scholliers, Christophe

AU - De Meuter, Wolfgang

AU - Gonzalez Boix, Elisa

N1 - Conference code: 19

PY - 2019

Y1 - 2019

N2 - Conflict-free replicated data types (CRDTs) aid programmers develop highly available and scalable distributed systems. However, the literature describes only a limited portfolio of conflict-free data types and implementing custom ones requires additional knowledge of replication and consistency techniques. As a result, programmers resort to ad hoc solutions which are error-prone and result in brittle systems. In this paper, we introduce strong eventually consistent replicated objects (SECROs), a general-purpose data type for building available data structures that guarantee strong eventual consistency (SEC) without restrictions on the operations. To evaluate our solution we compare a real-time collaborative text editor built atop SECROs with a state-of-the- art implementation that uses JSON CRDTs. This comparison quantifies various performance aspects. The results show that SECROs are truly general-purpose and memory efficient.

AB - Conflict-free replicated data types (CRDTs) aid programmers develop highly available and scalable distributed systems. However, the literature describes only a limited portfolio of conflict-free data types and implementing custom ones requires additional knowledge of replication and consistency techniques. As a result, programmers resort to ad hoc solutions which are error-prone and result in brittle systems. In this paper, we introduce strong eventually consistent replicated objects (SECROs), a general-purpose data type for building available data structures that guarantee strong eventual consistency (SEC) without restrictions on the operations. To evaluate our solution we compare a real-time collaborative text editor built atop SECROs with a state-of-the- art implementation that uses JSON CRDTs. This comparison quantifies various performance aspects. The results show that SECROs are truly general-purpose and memory efficient.

KW - Distribution

KW - Eventual consistency

KW - Replicated data types

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

U2 - 10.1007/978-3-030-22496-7_3

DO - 10.1007/978-3-030-22496-7_3

M3 - Conference paper

SN - 978-3-030-22495-0

VL - 11534

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 36

EP - 56

BT - 19th Intl. Conf. Distributed Applications and Interoperable Systems

A2 - Pereira, José

A2 - Ricci, Laura

PB - Springer

T2 - IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2019)

Y2 - 17 June 2019 through 21 June 2019

ER -

De Porre K , Myter F, De Troyer C, Scholliers C, De Meuter W , Gonzalez Boix E. Putting Order in Strong Eventual Consistency. In Pereira J, Ricci L, editors, 19th Intl. Conf. Distributed Applications and Interoperable Systems: 19th IFIP WG 6.1 International Conference. Vol. 11534. Springer. 2019. p. 36-56. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-030-22496-7_3

Putting Order in Strong Eventual Consistency

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this