Write a Blog >>
Tue 20 Jun 2017 15:00 - 15:30 at Vertex WS208 - Afternoon Session

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 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Afternoon SessionPMLDC at Vertex WS208
14:00
30m
Talk
Monotonicity Types for Distributed Dataflow
PMLDC
Kevin Clancy , Heather Miller Ecole Polytechnique Federale de Lausanne
File Attached
14:30
30m
Talk
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
30m
Talk
The Single-Writer Principle in CRDT Composition
PMLDC
Vitor Enes , Paulo Sérgio Almeida , Carlos Baquero HASLab/INESC TEC & University of Minho
File Attached