Consistency and Consensus

Reference 3 in Chapter 10: Information Storage in a Decentralized Computer System

David K. Gifford

1981

bitsavers.org PDF

Reference 4 in Chapter 10: Please Stop Calling Databases CP or AP

Martin Kleppmann

2015

martin.kleppmann.com

Reference 5 in Chapter 10: Jepsen: MongoDB Stale Reads

Kyle Kingsbury

2015

Reference 6 in Chapter 10: Computational Techniques in Knossos

Kyle Kingsbury

2014

Reference 7 in Chapter 10: Elle: Inferring Isolation Anomalies from Experimental Observations

Kyle Kingsbury and Peter Alvaro

Proceedings of the VLDB Endowment 2020

vldb.org PDF doi

Reference 8 in Chapter 10: Consistency in Non-Transactional Distributed Storage Systems

Paolo Viotti and Marko Vukolić

ACM Computing Surveys 2016

arxiv.org doi

Reference 9 in Chapter 10: Linearizability Versus Serializability

Peter Bailis

2014

bailis.org

Reference 10 in Chapter 10: Correctness Anomalies Under Serializable Isolation

Daniel Abadi

2019

muratbuffalo.blogspot.com

Reference 11 in Chapter 10: Highly Available Transactions: Virtues and Limitations

Peter Bailis, Aaron Davidson, Alan Fekete and 3 others

Proceedings of the VLDB Endowment 2013

vldb.org PDF doi

Reference 12 in Chapter 10: Concurrency Control and Recovery in Database Systems

Philip A. Bernstein, Vassos Hadzilacos and Nathan Goodman

1987

microsoft.com

Reference 13 in Chapter 10: CockroachDB's Consistency Model

Andrei Matei

2021

cockroachlabs.com

Reference 14 in Chapter 10: Strict-Serializability, but at What Cost, for What Purpose?

Murat Demirbas

2022

Reference 15 in Chapter 10: Spanner Under the Hood: Understanding Strict Serializability and External Consistency

Doug Judd

2023

cloud.google.com

Reference 16 in Chapter 10: Developer Guide

FoundationDB project authors

apple.github.io

Reference 17 in Chapter 10: How to Talk About Consistency and Isolation in Distributed DBs

Ben Darnell

2022

cockroachlabs.com

Reference 18 in Chapter 10: An Explanation of the Difference Between Isolation Levels vs. Consistency Levels

Daniel Abadi

2019

Reference 19 in Chapter 10: The Chubby Lock Service for Loosely-Coupled Distributed Systems

Mike Burrows

7th USENIX Symposium on Operating System Design and Implementation 2006

research.google

Reference 20 in Chapter 10: ZooKeeper: Distributed Process Coordination

Flavio P. Junqueira and Benjamin Reed

2013

oreilly.com

Reference 21 in Chapter 10: Oracle 10g RAC Grid, Services & Clustering

Murali Vallath

2006

oreilly.com

Reference 22 in Chapter 10: Coordination Avoidance in Database Systems

Peter Bailis, Alan Fekete, Michael J. Franklin and 3 others

Proceedings of the VLDB Endowment 2014

vldb.org PDF doi

Reference 23 in Chapter 10: Jepsen: etcd and Consul

Kyle Kingsbury

2014

Reference 24 in Chapter 10: Zab: High-Performance Broadcast for Primary-Backup Systems

Flavio P. Junqueira, Benjamin C. Reed and Marco Serafini

41st IEEE International Conference on Dependable Systems and Networks 2011

marcoserafini.github.io PDF doi

Reference 25 in Chapter 10: In Search of an Understandable Consensus Algorithm

Diego Ongaro and John K. Ousterhout

USENIX Annual Technical Conference 2014

usenix.org PDF

Reference 26 in Chapter 10: Sharing Memory Robustly in Message-Passing Systems

Hagit Attiya, Amotz Bar-Noy and Danny Dolev

Journal of the ACM 1995

cs.huji.ac.il PDF doi

Reference 27 in Chapter 10: Robust Emulation of Shared Memory Using Dynamic Quorum-Acknowledged Broadcasts

Nancy Lynch and Alex Shvartsman

27th Annual International Symposium on Fault-Tolerant Computing 1997

distributedprogramming.net doi

Reference 28 in Chapter 10: Introduction to Reliable and Secure Distributed Programming

Christian Cachin, Rachid Guerraoui and Luís Rodrigues

2011

Reference 29 in Chapter 10: Possible Issue with Read Repair?

Niklas Ekström, Mikhail Panchenko and Jonathan Ellis

cassandra-dev 2012

lists.apache.org

Reference 30 in Chapter 10: Wait-Free Synchronization

Maurice P. Herlihy

ACM Transactions on Programming Languages and Systems 1991

cs.brown.edu PDF doi

Reference 31 in Chapter 10: Harvest, Yield, and Scalable Tolerant Systems

Armando Fox and Eric A. Brewer

7th Workshop on Hot Topics in Operating Systems 1999

radlab.cs.berkeley.edu PDF doi

Reference 32 in Chapter 10: Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services

Seth Gilbert and Nancy Lynch

ACM SIGACT News 2002

comp.nus.edu.sg PDF doi

Reference 33 in Chapter 10: Perspectives on the CAP Theorem

Seth Gilbert and Nancy Lynch

IEEE Computer Magazine 2012

Reference 34 in Chapter 10: CAP Twelve Years Later: How the 'Rules' Have Changed

Eric A. Brewer

IEEE Computer Magazine 2012

sites.cs.ucsb.edu PDF doi

Reference 35 in Chapter 10: Consistency in Partitioned Networks

Susan B. Davidson, Hector Garcia-Molina and Dale Skeen

ACM Computing Surveys 1985

cs.rice.edu PDF gone doi

Reference 36 in Chapter 10: RFC 677: The Maintenance of Duplicate Databases

Paul R. Johnson and Robert H. Thomas

1975

tools.ietf.org

Reference 37 in Chapter 10: Sacrificing Serializability to Attain High Availability of Data in an Unreliable Network

Michael J. Fischer and Alan Michael

1st ACM Symposium on Principles of Database Systems 1982

sites.cs.ucsb.edu PDF doi

Reference 38 in Chapter 10: NoSQL: Past, Present, Future

Eric A. Brewer

QCon San Francisco 2012

infoq.com

Reference 39 in Chapter 10: Spanner, TrueTime & The CAP Theorem

Eric Brewer

2017

research.google.com PDF

Reference 40 in Chapter 10: Consistency Tradeoffs in Modern Distributed Database System Design

Daniel J. Abadi

IEEE Computer Magazine 2012

cs.umd.edu PDF doi

Reference 41 in Chapter 10: A Hundred Impossibility Proofs for Distributed Computing

Nancy A. Lynch

8th ACM Symposium on Principles of Distributed Computing 1989

Reference 42 in Chapter 10: Consistency, Availability, and Convergence

Prince Mahajan, Lorenzo Alvisi and Mike Dahlin

2011

apps.cs.utexas.edu PDF

Reference 43 in Chapter 10: Limitations of Highly-Available Eventually-Consistent Data Stores

Hagit Attiya, Faith Ellen and Adam Morrison

ACM Symposium on Principles of Distributed Computing 2015

cs.tau.ac.il PDF doi

Reference 44 in Chapter 10: Migrating to Microservices

Adrian Cockcroft

QCon London 2014

infoq.com

Reference 45 in Chapter 10: A Critique of the CAP Theorem

Martin Kleppmann

arXiv 2015

arxiv.org

Reference 46 in Chapter 10: Problems with CAP, and Yahoo’s Little Known NoSQL System

Daniel Abadi

2010

Reference 47 in Chapter 10: Hazelcast and the Mythical PA/EC System

Daniel Abadi

2017

mechanical-sympathy.blogspot.com

Reference 48 in Chapter 10: x86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors

Peter Sewell, Susmit Sarkar, Scott Owens and 2 others

Communications of the ACM 2010

cl.cam.ac.uk PDF doi

Reference 49 in Chapter 10: Memory Barriers/Fences

Martin Thompson

mechanical-sympathy.blogspot.co.uk 2011

Reference 50 in Chapter 10: What Every Programmer Should Know About Memory

Ulrich Drepper

2007

akkadia.org PDF

Reference 51 in Chapter 10: Sequential Consistency Versus Linearizability

Hagit Attiya and Jennifer L. Welch

ACM Transactions on Computer Systems 1994

courses.csail.mit.edu PDF doi

Reference 52 in Chapter 10: Universally Unique IDentifiers (UUIDs)

Kyzer R. Davis, Brad G. Peabody and Paul J. Leach

2024

rfc-editor.org

Reference 53 in Chapter 10: Announcing Snowflake

Ryan King

2010

blog.x.com

Reference 54 in Chapter 10: Universally Unique Lexicographically Sortable Identifier

Alizain Feerasta

2016

github.com

Reference 55 in Chapter 10: A Better ID Generator for PostgreSQL

Rob Conery

bigmachine.io 2014

blog.bigmachine.io gone archived copy

Reference 56 in Chapter 10: Time, Clocks, and the Ordering of Events in a Distributed System

Leslie Lamport

Communications of the ACM 1978

Reference 57 in Chapter 10: Logical Physical Clocks

Sandeep S. Kulkarni, Murat Demirbas, Deepak Madeppa and 2 others

18th International Conference on Principles of Distributed Systems 2014

cse.buffalo.edu PDF gone doi

Reference 58 in Chapter 10: On the Use of Clocks to Enforce Consistency in the Cloud

Manuel Bravo, Nuno Diegues, Jingna Zeng and 2 others

IEEE Data Engineering Bulletin 2015

sites.computer.org PDF

Reference 59 in Chapter 10: Large-Scale Incremental Processing Using Distributed Transactions and Notifications

Daniel Peng and Frank Dabek

9th USENIX Conference on Operating Systems Design and Implementation 2010

usenix.org PDF

Reference 60 in Chapter 10: Paxos Made Live—An Engineering Perspective

Tushar Deepak Chandra, Robert Griesemer and Joshua Redstone

26th ACM Symposium on Principles of Distributed Computing 2007

read.seas.harvard.edu PDF doi

Reference 61 in Chapter 10: Lessons Learned from Implementing Paxos

Will Portnoy

2012

blog.willportnoy.com

Reference 62 in Chapter 10: Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems

Brian M. Oki and Barbara H. Liskov

7th ACM Symposium on Principles of Distributed Computing 1988

pmg.csail.mit.edu PDF doi

Reference 63 in Chapter 10: Viewstamped Replication Revisited

Barbara H. Liskov and James Cowling

2012

pmg.csail.mit.edu PDF

Reference 64 in Chapter 10: The Part-Time Parliament

Leslie Lamport

ACM Transactions on Computer Systems 1998

Reference 65 in Chapter 10: Paxos Made Simple

Leslie Lamport

ACM SIGACT News 2001

microsoft.com

Reference 66 in Chapter 10: Paxos Made Moderately Complex

Robbert van Renesse and Deniz Altinbuken

ACM Computing Surveys 2015

people.cs.umass.edu PDF doi

Reference 67 in Chapter 10: Consensus: Bridging Theory and Practice

Diego Ongaro

2014

github.com

Reference 68 in Chapter 10: Raft Refloated: Do We Have Consensus?

Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy and Jon Crowcroft

ACM SIGOPS Operating Systems Review 2015

cl.cam.ac.uk PDF doi

Reference 69 in Chapter 10: ZooKeeper’s Atomic Broadcast Protocol: Theory and Practice

André Medeiros

2012

tcs.hut.fi PDF

Reference 70 in Chapter 10: Vive la Différence: Paxos vs. Viewstamped Replication vs. Zab

Robbert van Renesse, Nicolas Schiper and Fred B. Schneider

IEEE Transactions on Dependable and Secure Computing 2014

arxiv.org doi

Reference 71 in Chapter 10: Paxos vs Raft: Have We Reached Consensus on Distributed Consensus?

Heidi Howard and Richard Mortier

7th Workshop on Principles and Practice of Consistency for Distributed Data 2020

arxiv.org doi

Reference 72 in Chapter 10: Practical Byzantine Fault Tolerance and Proactive Recovery

Miguel Castro and Barbara H. Liskov

ACM Transactions on Computer Systems 2002

microsoft.com PDF doi

Reference 73 in Chapter 10: SoK: Consensus in the Age of Blockchains

Shehar Bano, Alberto Sonnino, Mustafa Al-Bassam and 4 others

1st ACM Conference on Advances in Financial Technologies 2019

smeiklej.com PDF gone doi

Reference 74 in Chapter 10: Impossibility of Distributed Consensus with One Faulty Process

Michael J. Fischer, Nancy Lynch and Michael S. Paterson

Journal of the ACM 1985

Reference 75 in Chapter 10: Unreliable Failure Detectors for Reliable Distributed Systems

Tushar Deepak Chandra and Sam Toueg

Journal of the ACM 1996

courses.csail.mit.edu PDF doi

Reference 76 in Chapter 10: Another Advantage of Free Choice: Completely Asynchronous Agreement Protocols

Michael Ben-Or

2nd ACM Symposium on Principles of Distributed Computing 1983

homepage.cs.uiowa.edu PDF doi

Reference 77 in Chapter 10: Consensus in the Presence of Partial Synchrony

Cynthia Dwork, Nancy Lynch and Larry Stockmeyer

Journal of the ACM 1988

citeseerx.ist.psu.edu doi

Reference 78 in Chapter 10: Total Order Broadcast and Multicast Algorithms: Taxonomy and Survey

Xavier Défago, André Schiper and Péter Urbán

ACM Computing Surveys 2004

dspace.jaist.ac.jp PDF doi

Reference 79 in Chapter 10: Distributed Computing: Fundamentals, Simulations and Advanced Topics

Hagit Attiya and Jennifer Welch

2004

doi.org doi

Reference 80 in Chapter 10: Revisiting the Relationship Between Non-Blocking Atomic Commitment and Consensus

Rachid Guerraoui

9th International Workshop on Distributed Algorithms 1995

Reference 81 in Chapter 10: Consensus on Transaction Commit

Jim N. Gray and Leslie Lamport

ACM Transactions on Database Systems 2006

dsf.berkeley.edu PDF doi

Reference 82 in Chapter 10: Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial

Fred B. Schneider

ACM Computing Surveys 1990

cs.cornell.edu PDF doi

Reference 83 in Chapter 10: Calvin: Fast Distributed Transactions for Partitioned Database Systems

Alexander Thomson, Thaddeus Diamond, Shu-Chun Weng and 3 others

ACM International Conference on Management of Data 2012

cs.yale.edu PDF doi

Reference 84 in Chapter 10: Tango: Distributed Data Structures over a Shared Log

Mahesh Balakrishnan, Dahlia Malkhi, Ted Wobber and 7 others

24th ACM Symposium on Operating Systems Principles 2013

Reference 85 in Chapter 10: CORFU: A Shared Log Design for Flash Clusters

Mahesh Balakrishnan, Dahlia Malkhi, Vijayan Prabhakaran and 3 others

9th USENIX Symposium on Networked Systems Design and Implementation 2012

usenix.org PDF

Reference 86 in Chapter 10: There Is More Consensus in Egalitarian Parliaments

Iulian Moraru, David G. Andersen and Michael Kaminsky

24th ACM Symposium on Operating Systems Principles 2013

dl.acm.org doi

Reference 87 in Chapter 10: Odyssey: the Impact of Modern Hardware on Strongly-Consistent Replication Protocols

Vasilis Gavrielatos, Antonios Katsarakis and Vijay Nagarajan

16th European Conference on Computer Systems 2021

vasigavr1.github.io PDF doi

Reference 88 in Chapter 10: Flexible Paxos: Quorum Intersection Revisited

Heidi Howard, Dahlia Malkhi and Alexander Spiegelman

20th International Conference on Principles of Distributed Systems 2016

drops.dagstuhl.de PDF doi

Reference 89 in Chapter 10: Distributed Systems

Martin Kleppmann

University of Cambridge 2024

cl.cam.ac.uk PDF

Reference 90 in Chapter 10: Jepsen: Elasticsearch 1.5.0

Kyle Kingsbury

2015