Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition
State-based CRDTs allow updates on local replicas without remote synchronization. Once these updates are propagated, possible conflicts are resolved deterministically across all replicas. δ-CRDTs bring significant advantages in terms of the size of messages exchanged between replicas during normal operation. However, when a replica joins the system after a network partition, it needs to receive the updates it missed and propagate the ones performed locally. Current systems solve this by exchanging the full state bidirectionally or by storing additional metadata along the CRDT. We introduce the concept of join-decomposition for statebased CRDTs, a technique orthogonal and complementary to delta-mutation, and propose two synchronization methods that reduce the amount of information exchanged, with no need to modify current CRDT definitions.
Sun 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:50 - 15:20 | |||
13:50 30m | Tracking the Elephants in the System PMLDC | ||
14:20 30m | Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition PMLDC Vitor Enes , Carlos Baquero , Paulo Sérgio Almeida , Ali Shoker HASLab/INESC TEC & University of Minho Link to publication DOI Pre-print | ||
14:50 30m | Integration Challenges of Pure Operation-based CRDTs in Redis PMLDC Georges Younes , Ali Shoker HASLab/INESC TEC & University of Minho, Paulo Sérgio Almeida , Carlos Baquero |