CRDTs: Consistency without concurrency control

Mihai Letia, Nuno Preguiça, Marc Shapiro

A CRDT is a data type whose operations commute when they are concurrent. Replicas of a CRDT eventually converge without any complex concurrency control. As an existence proof, we e…