Strange Loop

Next: September 12-14 2019


Stifel Theatre


St. Louis, MO

Jepsen II: Linearizable Boogaloo

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.

Kyle Kingsbury


Kyle is the author of Riemann, Timelike, Jepsen, Knossos, and a host of other open-source libraries. He works as a backend engineer at Factual.