Eventually-Consistent Data Structures by Sean Cribbs
Summary:
Sean Cribbs discusses Convergent Replicated Data Types, data structures that tolerate eventual consistency.
Covers a number of eventually consistent data types.
Materials you may want to cover before you watch the presentation:
Safety/Liveness – from Proving the Correctness of Multiprocess Programs – Leslie Lamport (March 1977) (As a bonus, a link to all Leslie Lamport’s papers.)
Safety and liveness: Eventual consistency is not safe by Peter Ballis.
Logic and Lattices for Distributed Programming by Neil Conway, William Marczak, Peter Alvaro, Joseph M. Hellerstein, and David Maier.
A comprehensive study of Convergent and Commutative Replicated Data Types by Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski.
Strong Eventual Consistency and Conflict-free Replicated Data Types by Marc Shapiro (video).
I first saw this in a tweet by Sean T. Allen.