CAP Theorem & Consistency Models

44 lessons in System Design & Architecture

• Tunable Consistency in Real SystemsSlides / Video
• Why Partition Tolerance Is Non-NegotiableSlides / Video
• Defining C, A, P in CAPSlides / Video
• Quorum Consistency: R + W > NSlides / Video
• Monotonic Reads & Writes GuaranteesSlides / Video
• Read-Your-Writes & Session ConsistencySlides / Video
• Causal Consistency ExplainedSlides / Video
• Sequential Consistency SemanticsSlides / Video
• Linearizability: Strong Consistency SemanticsSlides / Video
• PACELC Theorem ExplainedSlides / Video
• CP vs AP Trade-offsSlides / Video
• PACELC Theorem ExtensionQuiz
• Why CA Is Not AchievableQuiz
• CP vs AP vs CA ClassificationQuiz
• Linearizability SemanticsQuiz
• Choosing a Consistency ModelQuiz
• Client-Centric Session GuaranteesQuiz
• Consistency vs Availability Under PartitionQuiz
• Consensus Protocols: Paxos and RaftQuiz
• Conflict Resolution StrategiesQuiz
• Bounded Staleness ConsistencyQuiz
• Monotonic Reads and WritesQuiz
• Read-Your-Writes ConsistencyQuiz
• Causal Consistency OrderingQuiz
• Sequential ConsistencyQuiz
• Consistency in Geo-Replicated SystemsQuiz
• Consistency Models in Real DatabasesSlides / Video
• Conflict Resolution: LWW, Vector Clocks, CRDTsSlides / Video
• CA Systems and Their UnrealismFlashcard
• Causal ConsistencyFlashcard
• CP SystemsFlashcard
• Conflict Resolution StrategiesFlashcard
• Monotonic Reads and WritesFlashcard
• AP SystemsFlashcard
• Linearizability vs SerializabilityFlashcard
• Bounded Staleness ConsistencyFlashcard
• Strong (Linearizable) ConsistencyFlashcard
• Why Partition Tolerance Is Non-NegotiableFlashcard
• Consensus Algorithms RoleFlashcard
• Consistency vs Availability Trade-offFlashcard
• Read-Your-Writes ConsistencyFlashcard
• Eventual ConsistencyFlashcard
• Sequential ConsistencyFlashcard
• Common CAP MisconceptionsFlashcard