The Single-Writer Principle in CRDT Composition
Multi-master replication in a distributed system setting allows each node holding a replica to update and query the local replica, and disseminate updates to other nodes. Obtaining high availability typically entails allowing replicas to diverge and requires a background mechanism for re-establishing consistency. Conflict-free Replicated Data Types (CRDTs) extend standard sequential data-types with appropriate merge functions, and often can be composed together to create more complex ones. In this work we add a generic CRDT composition approach that explores the single-writer principle. By carefully controlling which part of the composition can be updated by each replica, we can derive efficient designs that cover new use-cases. After introducing the new construction we exemplify some uses, including how to emulate a simple Doodle functionality for selecting a common meeting schedule among different participants.
Preprint (main-12.pdf) | 492KiB |
Slides (single-writer-pmldc.pdf) | 385KiB |
Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30 | |||
14:00 30mTalk | Monotonicity Types for Distributed Dataflow PMLDC File Attached | ||
14:30 30mTalk | Multi-view data types for scalable concurrency in the multi-core era PMLDC Deepthi Devaki Akkoorath , José Brandão , Annette Bieniusa Technischen Universität Kaiserslautern, Carlos Baquero HASLab/INESC TEC & University of Minho File Attached | ||
15:00 30mTalk | The Single-Writer Principle in CRDT Composition PMLDC File Attached |