Computer Science · Distributed Systems
A topic within Distributed Systems, itself one of 13 topics in that field and part of Computer Science.
No prior grounding assumed.
Eventually Consistent - Revisited
Werner Vogels · 2008
Argues eventual consistency is a deliberate engineering trade-off large-scale systems make in favour of availability, not a lapse from a…
Primary sources and full treatments.
Linearizability: A Correctness Condition for Concurrent Objects
Maurice P. Herlihy & Jeannette M. Wing · 1990
Defines linearizability as each operation appearing to take effect instantaneously at some point between its call and return, giving concurrent…
+1 more at this level
3 works
Werner Vogels
Argues eventual consistency is a deliberate engineering trade-off large-scale systems make in favour of availability, not a lapse from a strong-consistency ideal they failed to reach.
link checked 17 Sept 2026Notes on this copyMaurice P. Herlihy & Jeannette M. Wing
Defines linearizability as each operation appearing to take effect instantaneously at some point between its call and return, giving concurrent objects a correctness condition as strong as sequential correctness.
link checked 17 Sept 2026Notes on this copyMarc Shapiro, Nuno Preguiça, Carlos Baquero & Marek Zawirski
Shows that if every operation on a replica is designed to commute with every other, replicas converge automatically without coordination, giving a whole family of data types that are safe under eventual consistency.
50 pageslink checked 17 Sept 2026Notes on this copy