C1 – The CAP Theorem: Availability, Consistency, Failure in Distributed Systems

Andrea Omicini

Availability, consistency and failure, the CAP theorem at a glance, a proof of CAP, and what has been built on it.

course of the deck

Distributed Systems (2nd cycle, 2021/2022) — Andrea Omicini

used in the lectures

Tue 21 Sep 2021, 13:00 •

Tue 28 Sep 2021, 13:00

same deck in other editions

C1 – The CAP Theorem: Availability, Consistency, Failure in Distributed Systems — Distributed Systems 2020/2021

C1 – The CAP Theorem: Availability, Consistency, Failure in Distributed Systems — Distributed Systems (Module 1) 2022/2023

C1 – The CAP Theorem: Availability, Consistency, Failure in Distributed Systems — Distributed Systems (Module 1) 2023/2024

C1 – The CAP Theorem: Availability, Consistency, Failure in Distributed Systems — Distributed Systems (Module 1) 2024/2025

C1 – The CAP Theorem: Availability, Consistency, Failure in Distributed Systems — Distributed Systems (Module 1) 2025/2026

reference publication

Overcoming CAP with Consistent Soft-State Replication (article in journal, 2012) — Kenneth Birman, Daniel Freedman, Qi Huang, Patrick Dowell

CAP twelve years later: How the “rules” have changed (article in journal, 2012) — Eric Brewer

Towards robust distributed systems (abstract) (paper in proceedings, 2000) — Eric A. Brewer

Cluster-based scalable network services (article in journal, 1997) — Armando Fox, Steven D. Gribble, Yatin Chawathe, Eric A. Brewer, Paul Gauthier

Trading Consistency for Availability in Distributed Systems (technical report, 1996) — Roy Friedman, Ken Birman

Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services (article in journal, 2002) — Seth Gilbert, Nancy Lynch

Perspectives on the CAP Theorem (article in journal, 2012) — Seth Gilbert, Nancy Lynch

System Support for Pervasive Applications (article in journal, 2004) — Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Thomas Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, David Wetherall

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (article in journal, 1931) — Kurt Gödel

Fighting exclusion: a multimedia mobile app with zombies and maps as a medium for civic engagement and design (article in journal, 2017) — Catia Prandi, Marco Roccetti, Paola Salomoni, Valentina Nisi, Nuno Jardim Nunes

Spatial Computing (article in journal, 2016) — Shashi Shekhar, Steven K. Feiner, Walid G. Aref

Guest Editor's Introduction: The CAP Theorem's Growing Impact (article in journal, 2012) — Simon S.Y. Shim