CRDTs: The Data Structure That Makes Distributed Consistency Optional and What It Costs
Conflict-free Replicated Data Types let replicas diverge freely and still guarantee eventual convergence. Here is the math behind why that works, a tour of the most useful types, a...