Keep CALM and CRDT On

Laddad, Shadaj; Power, Conor; Milano, Mae; Cheung, Alvin; Crooks, Natacha; Hellerstein, Joseph M.

doi:10.14778/3574245.3574268

Keep CALM and CRDT On

Journal Article · Wed Nov 30 23:00:00 EST 2022 · Proceedings of the VLDB Endowment

DOI:https://doi.org/10.14778/3574245.3574268· OSTI ID:2420482

Laddad, Shadaj ^[1]; Power, Conor ^[2]; Milano, Mae ^[2]; Cheung, Alvin ^[2]; Crooks, Natacha ^[2]; Hellerstein, Joseph M. ^[2]

University of California, Berkeley; OSTI
University of California, Berkeley

Despite decades of research and practical experience, developers have few tools for programming reliable distributed applications without resorting to expensive coordination techniques. Conflict-free replicated datatypes (CRDTs) are a promising line of work that enable coordination-free replication and offer certain eventual consistency guarantees in a relatively simple object-oriented API. Yet CRDT guarantees extend only to data updates; observations of CRDT state are unconstrained and unsafe. We propose an agenda that embraces the simplicity of CRDTs, but provides richer, more uniform guarantees. We extend CRDTs with a query model that reasons about which queries are safe without coordination by applying monotonicity results from the CALM Theorem, and lay out a larger agenda for developing CRDT data stores that let developers safely and efficiently interact with replicated application state.

Research Organization:: Univ. of Washington, Seattle, WA (United States)

Sponsoring Organization:: USDOE Office of Science (SC)

DOE Contract Number:: SC0016260

OSTI ID:: 2420482

Journal Information:: Proceedings of the VLDB Endowment, Journal Name: Proceedings of the VLDB Endowment Journal Issue: 4 Vol. 16; ISSN 2150-8097

Publisher:: Association for Computing Machinery (ACM)

Country of Publication:: United States

Language:: English

References (15)

Logic and lattices for distributed programming Conway, Neil; Marczak, William R.; Alvaro, Peter Proceedings of the Third ACM Symposium on Cloud Computing https://doi.org/10.1145/2391229.2391230	conference	October 2012
Consistency-based service level agreements for cloud storage Terry, Douglas B.; Prabhakaran, Vijayan; Kotla, Ramakrishna Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles https://doi.org/10.1145/2517349.2522731	conference	November 2013
Convergence of Datalog over (Pre-) Semirings Abo Khamis, Mahmoud; Ngo, Hung Q.; Pichler, Reinhard Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems https://doi.org/10.1145/3517804.3524140	conference	June 2022
Declarative programming over eventually consistent data stores Sivaramakrishnan, Kc; Kaki, Gowtham; Jagannathan, Suresh Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation https://doi.org/10.1145/2737924.2737981	conference	June 2015
The design of POSTGRES Stonebraker, Michael; Rowe, Lawrence A. Proceedings of the 1986 ACM SIGMOD international conference on Management of data - SIGMOD '86 https://doi.org/10.1145/16894.16888	conference	January 1986
Verifying C11 programs operationally Doherty, Simon; Dongol, Brijesh; Wehrheim, Heike Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming https://doi.org/10.1145/3293883.3295702	conference	February 2019
Dynamo: amazon's highly available key-value store DeCandia, Giuseppe; Hastorun, Deniz; Jampani, Madan Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles - SOSP '07 https://doi.org/10.1145/1294261.1294281	conference	January 2007
Disciplined Inconsistency with Consistency Types Holt, Brandon; Bornholt, James; Zhang, Irene SoCC '16: ACM Symposium on Cloud Computing, Proceedings of the Seventh ACM Symposium on Cloud Computing https://doi.org/10.1145/2987550.2987559	conference	October 2016
Mdcc Kraska, Tim; Pang, Gene; Franklin, Michael J. Proceedings of the 8th ACM European Conference on Computer Systems https://doi.org/10.1145/2465351.2465363	conference	April 2013
Don't settle for eventual Lloyd, Wyatt; Freedman, Michael J.; Kaminsky, Michael Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles https://doi.org/10.1145/2043556.2043593	conference	October 2011
Cure: Strong Semantics Meets High Availability and Low Latency Akkoorath, Deepthi Devaki; Tomsic, Alejandro Z.; Bravo, Manuel 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS) https://doi.org/10.1109/ICDCS.2016.98	conference	June 2016
Write Fast, Read in the Past Zawirski, Marek; Preguiça, Nuno; Duarte, Sérgio Proceedings of the 16th Annual Middleware Conference https://doi.org/10.1145/2814576.2814733	conference	November 2015
Katara: Synthesizing CRDTs with Verified Lifting Laddad, Shadaj; Power, Conor; Milano, Mae arXiv https://doi.org/10.48550/ARXIV.2205.12425	preprint	January 2022
Cloudburst Sreekanti, Vikram; Wu, Chenggang; Lin, Xiayue Charles Proceedings of the VLDB Endowment, Vol. 13, Issue 12 https://doi.org/10.14778/3407790.3407836	journal	August 2020
Observable atomic consistency for CvRDTs Zhao, Xin; Haller, Philipp Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control https://doi.org/10.1145/3281366.3281372	conference	November 2018

Similar Records

A modified quasi-static method used for CALM systems analysis

Conference · Thu Dec 30 23:00:00 EST 1993 · OSTI ID:403005

CALMS: CONTEXT-AWARE LANGUAGE MODEL FOR SCIENCE

Software · Tue Apr 09 20:00:00 EDT 2024 · OSTI ID:code-125944

Building an energy consensus: key issues for the eighties. [Monograph]

Book · Wed Dec 31 23:00:00 EST 1980 · OSTI ID:5090448

Related Subjects

Computer Science

Keep CALM and CRDT On

Citation Formats

References (15)

Similar Records

Related Subjects