Distributed Systems

Clocks

1. Time, Clocks, and the Ordering of Events in a Distributed System : Leslie Lamport's 1978 paper on ordering of events in a distributed system.
2. Distributed Systems: Physical, Logical, and Vector Clocks: Nice post by Joe Honour explaining logical and vector clocks

CAP Theorem

1. Towards Robust Distributed Systems : Eric Brewer's original paper on CAP theorem.
2. Brewer's Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services : Gilbert and Lynch's proof of the CAP theorem
3. DBMS Musings: Problems with CAP, and Yahoo’s little known NoSQL system: Daniel Abadi's post about how to use PASELC instead of CAP to understand the tradeoffs in design. A paper/article on this is available here as well .
4. Please stop calling databases CP or AP: Martin Kleppmann's post critiquing the CAP theorem. This post has a good section on explaining linearizable consistency.
5. CAP Theorem: You don’t need CP, you don’t want AP, and you can’t have CA : A really good talk by Siddhartha Reddy introducing CAP and PASELC

Consistency models

1. Strong consistency models: Excellent post by Kyle Kingsbury about various consistency models.
2. Linearizability: A Correctness Condition for Concurrent Objects : Paper on Linearizable consistency
3. Consistency in Non-Transactional Distributed Storage Systems : A paper covering all kinds of consistency models

Icons used:

• : Paper
• : Youtube video
• : PDF file