The problem with embedded CRDT counters and a solution

Carlos Baquero, Paulo Sérgio Almeida, Carl Lerche
2016 Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data - PaPoC '16  
Conflict-free Replicated Data Types (CRDTs) can simplify the design of deterministic eventual consistency. Considering the several CRDTs that have been deployed in production systems, counters are among the first. Counters are apparently simple, with a straightforward inc/dec/read API, but can require complex implementations and several variants have been specified and coded. Unlike sets and registers, that can be adapted to operate inside maps, current counter approaches exhibit anomalies when
more » ... embedded in maps. Here, we illustrate the anomaly and propose a solution, based on a new counter model and implementation.
doi:10.1145/2911151.2911159 dblp:conf/eurosys/BaqueroAL16 fatcat:guhpljaimbe6fagnbc76zpiwbq