惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

Engineering at Meta
Engineering at Meta
Microsoft Azure Blog
Microsoft Azure Blog
I
InfoQ
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
人人都是产品经理
人人都是产品经理
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
T
Tailwind CSS Blog
MongoDB | Blog
MongoDB | Blog
Google DeepMind News
Google DeepMind News
WordPress大学
WordPress大学
量子位
美团技术团队
大猫的无限游戏
大猫的无限游戏
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
Last Week in AI
Last Week in AI
博客园 - 司徒正美
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
小众软件
小众软件
C
Check Point Blog
博客园 - 三生石上(FineUI控件)
N
Netflix TechBlog - Medium
Recent Announcements
Recent Announcements
有赞技术团队
有赞技术团队
月光博客
月光博客

DEV Community

Authentication Security Deep Dive: From Brute Force to Salted Hashing (With Java Examples) Why AI Systems Don’t Fail — They Drift Spilling beans for how i learn for exam😁"Reinforcement Learning Cheat Sheet" I Replaced Chrome with Safari for AI Browser Automation. Here's What Broke (and What Finally Worked) How Python Borrows Other People's Work The $40 Architecture: Processing 1 Billion API Requests with 99.99% Uptime Vibe Coding: A Workflow Guide (From Zero to SaaS) Most webhook security guides protect the wrong side. The scary part is delivery. Headless CMS for TanStack Start: Build a Blog with Cosmic EU Age Verification App "Hacked in 2 Minutes" — What Actually Happened Comfy Cloud’s delete function does not actually remove files Running AI Models on GPU Cloud Servers: A Beginner Guide Event-driven media intelligence with AWS Step Functions and Bedrock I scored 500 AI prompts across 8 quality dimensions — here's what broke How to Call Google Gemini API from Next.js (Free Tier, No Backend Needed) The Portal Protocol: Reclaiming Human Connection in the Age of AI How to Fix Your Team's Scattered Knowledge Problem With a Self-Hosted Forum Intro to tc Cloud Functors: A Graph-First Mental Model for the Modern Cloud Designing Multi-Tenant Backends With Both Ownership and Team Access I Built a Neumorphic CSS Library with 77+ Components — Here's What I Learned PostgreSQL Performance Optimization: Why Connection Pooling Is Critical at Scale Cómo construí un SaaS multi-rubro para gestionar expensas en Argentina con FastAPI + Vue 3 🚀 I Built an Ethical Hacking Scanner Tool – Open Source Project I Replaced /usage and /context in Claude Code With a Single Statusline A Pythonic Way to Handle Emails (IMAP/SMTP) with Auto-Discovery and AI-Ready Design I Collected 8.9 Million Polymarket Price Points — Here's What I Found About How Markets Really Move EcoTrack AI — Carbon Footprint Tracker & Dashboard Everyone's Using AI. No One Agrees How. 5 self-hosted ebook managers worth trying in 2026 Building Your First AI Agent with LangChain: From Chatbot to Autonomous Assistant
CAP Theorem Explained: What I Learned Setting Up MySQL Re...
Gauransh Gup · 2026-05-09 · via DEV Community

I recently started my journey into system design and data-intensive applications. This experience has completely changed how I look at software — especially around the hard tradeoffs of consistency, availability, and what happens when things go wrong at scale.

Let me start with a scenario that surprised me when I first encountered it:

Imagine you just inserted a record in your app. A millisecond later, a read on a different server returns the old data. How? Welcome to distributed systems.


What is CAP Theorem?

CAP stands for Consistency, Availability, and Partition Tolerance. The theorem states that a distributed system can only guarantee 2 out of these 3 properties at any given time.

Consistency — Every read returns the most recent write, or an error. All nodes in the system see the same data at the same time.

Availability — Every request gets a response (not an error), even if some nodes are down. The system is always up.

Partition Tolerance — The system keeps running even when network communication between nodes is lost or delayed.


The Real Choice: CP vs AP

Here is the most important thing to understand: you cannot actually drop Partition Tolerance.

Network partitions are not a design choice — they are a reality. Hardware fails, packets drop, data centers lose connectivity. Any system that runs across multiple machines will eventually face a partition.

So the real decision every distributed system makes is: when a partition happens, do you stay consistent or stay available?


A Simple Analogy: The Bank Branch

Imagine a bank with its HQ in New York and a branch in Boston. The branch always calls HQ before confirming any transaction.

A customer in Boston deposits $500. Right at that moment, the network between Boston and New York goes down.

The Boston branch now has two options:

Option 1 — CP (Consistency + Partition Tolerance):
The branch refuses to process any transactions until it can reach HQ. The data stays consistent, but the service is unavailable during the outage. If you walk up to the counter, you get turned away.

Option 2 — AP (Availability + Partition Tolerance):
The branch processes the deposit locally and syncs with HQ once the network recovers. The service stays available, but if someone checks the account balance at the New York branch before the sync, they see the old amount — temporarily inconsistent data.

Neither option is wrong. The right choice depends entirely on what your application can tolerate.


Hands-On: MySQL Replication as an AP System

To make this concrete, I built a small master-slave replication setup using Docker to see these tradeoffs in action.

You can find the full setup in this repository.

How it works:

  • One MySQL container acts as the master — it accepts all writes
  • A second container acts as the slave — it monitors the master and replays every change
  • The master records every write to a binary log (binlog)
  • The slave runs two threads: an IO thread that pulls the binlog from the master, and a SQL thread that replays those events locally

What I observed:

When I inserted rows on the master, they showed up on the slave within milliseconds under normal conditions. But when I inserted 10,000 rows rapidly, I could watch the Seconds_Behind_Master value in SHOW SLAVE STATUS grow and then shrink back to zero as the slave caught up.

That gap — replication lag — is the tradeoff in action. During those seconds, a read on the slave returns stale data. The slave is always available to serve reads, but it cannot guarantee it has the latest write.

This makes the setup an AP system: Available and Partition Tolerant, but not strongly Consistent.

If you wanted CP behaviour, you would switch to synchronous replication — the master waits for the slave to confirm every write before acknowledging it to the client. You get consistency, but every write now pays the latency cost of that round-trip.


When to Choose CP vs AP

Prefer CP when a wrong answer is worse than no answer:

  • Bank balances and financial transactions
  • Seat reservation systems (cinema, flights)
  • Distributed locks and coordination

Prefer AP when brief staleness is acceptable:

  • Social media feeds
  • Product catalogs and shopping carts
  • DNS resolution
  • Caching layers

Beyond CAP: Consistency is a Spectrum

CAP theorem is a useful mental model, but it is a simplification. In practice, consistency is not binary — there is a whole spectrum:

  • Linearizability — the strongest guarantee; reads always reflect the latest write
  • Sequential consistency — operations appear in the same order across all nodes, but may lag
  • Eventual consistency — all nodes will converge to the same value, given enough time (this is what MySQL async replication gives you)

If you want to go deeper, Designing Data-Intensive Applications by Martin Kleppmann covers replication in Chapter 5 and consistency models in Chapter 9. It is genuinely the best resource I have found on this topic.


Conclusion

CAP is not a theorem you apply once and move on — it is a lens for thinking about tradeoffs. Every distributed system you design makes a CAP choice, whether you make it explicitly or not. Understanding that choice, and being able to justify it, is what separates a system that works in production from one that only works in theory.