Jepsen II: Linearizable Boogaloo” by Kyle Kingsbury

“What is ACID anyway, and why is everyone so uptight about it? When can’t we have eventual consistency, and what do we sacrifice in exchange for stronger models? I’ve spent the last year trying to wrap my head around consistency in distributed systems, and testing databases to see how those consistency models play out in practice. In this talk we’ll explore linearizability–one of the strongest consistency models for a concurrent system–move from an academic definition to an intuitive understanding, and see the ways in which databases succeed–and fail–to live up to their consistency claims…”