The Forced Choice: CAP, PACELC, and the trade every database already made
The Forced Choice is Episode 1 of Learning Maps, a new Napkin Films series that turns system design into story. A storm takes down the phone line between two librarians, and what happens next is the deepest fact in distributed systems: the CAP theorem, its honest twin PACELC, and the trade every database has already made. Hand drawn on a napkin, narrated by two cloned voices, scored with a 14 Hz focus layer. CC BY 4.0.
The Forced Choice
Watch on YouTube. Imagine two librarians, in two buildings, on opposite sides of town. Every book in one is copied in the other. Then a storm takes down the phone line between them, and a reader walks in wanting to change a record. What do you do? That question is the whole first room of a new map.
Licensed CC BY 4.0.
A new series
This is Episode 1 of Learning Maps, a new Napkin Films series. It turns the thing I am studying, system design, into something you can absorb the way you absorb a good story. Audio first, so it works on a walk with your eyes closed. The pictures are drawn on a napkin and reward watching, but they are never required.
It is the third documentary series running at once. The Language of Sound teaches how sound is made. How Napkin Films Works teaches how the studio is made. Learning Maps teaches how systems are made. Same studio, same voices, same napkin.
The idea
Every serious system keeps your data in more than one place. That is just how the cloud works: copies, in different buildings. Sometimes those copies cannot talk to each other. That is the storm. Its real name is a partition.
And the moment a partition hits, you are forced to choose. Keep answering, and risk being wrong. Or stay correct, and stop answering. You cannot have both. That is the CAP theorem, from Eric Brewer in the year 2000, proven by Seth Gilbert and Nancy Lynch in 2002.
The episode spends its time making one thing land for a beginner: the partition is not optional, the choice is. The network will break. Not if, but when. So every database has already picked its side, before the storm ever comes. Once you can see that choice, you can read any system in the cloud.
Then there is the honest twin, PACELC, from Daniel Abadi in 2010. Even with no storm, perfect agreement between copies still costs you waiting. So consistency is never free. Under a partition you pay for it in availability. Every other day you pay for it in milliseconds.
Keep the principle, rent the label
The signature move of the whole series is a single beat: separate the principle you keep forever from the label you are only renting. The principle here is yours for good. When a system cannot talk to itself, it has to trade agreement for answers. That is true of two librarians, two bank branches, two anything.
The labels are this season's stickers. A textbook calls it CAP. An interviewer says AP versus CP. The cloud calls it DynamoDB versus Aurora. Learn the storm once. The stickers peel off, and the cloud will rename them.
The picture
The visuals are hand drawn ink that sketches itself on warm napkin paper, locked frame by frame to the narration so the slide lands on the word. The palette is a cartographer's field notebook: deep indigo ink, terracotta for the storm, teal for what to keep. The CAP triangle, the keep versus rent split, and the PACELC sentence all draw themselves as they are spoken. It is Python, PIL, and FFmpeg. No GPU.
The two voices, and a focus score
Two of my own cloned voices carry it. I host the open, the your-turn, and the sign off. Der Gouverneur, the measured Bavarian narrator, carries the teaching. Under the whole thing is a focus edition score: an ambient pad in the key of D whose harmony follows the lesson's arc, plus a subliminal 14 Hz binaural layer for calm focus. Put on headphones.
More from Napkin Films
- The Language of Sound, the synthesis series.
- Direct Connect, SAA-C03, a 12 minute study film for the same exam.
- Making Complexity Legible, the Cartographer of Complexity.
License
This film is licensed CC BY 4.0 (Creative Commons Attribution 4.0 International). Remix it, repost it, drop it into your own thing. Credit Napkin Films / Organic Arts LLC and link CC BY 4.0. The engine code, Napkin Films and ChipForge, is GPL-3.0-or-later. ElevenLabs voice audio is licensed content and is not redistributed. The CAP theorem and PACELC are credited to Brewer, to Gilbert and Lynch, and to Abadi. No copyrighted material was sampled.