Strange Loop

2009 - 2023

/

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 Kingsbury

Factual

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.