Replication-aware linearizability
Chao Wang, Constantin Enea, Süha Orhun Mutluergil, Gustavo Petri · 2019
Distributed systems often replicate data at multiple locations to achieve availability despite network partitions. These systems accept updates at any replica and propagate them asynchronously to every other replica. Conflict-Free Replicated Data Types (CRDTs) provide a principled approach to the problem of ensuring that replicas are eventually consistent despite the asynchronous delivery of updates.