echd — Echo on Encore · E0.3
The Strategy Catalogue
Four ways to cope with the impossibility — each with a named system that proved it in production, each with the platform tier that buys it here.
echd speaks in the present tense over a build ladder. Every module, verb, key, and port named on this page is real; the composition into one standing platform is the vision the ladder builds.
The module
echd.course.md §4 — the contributorsThe paper's §4 is a catalogue of survivors — systems that shipped anyway, each coping with the theorem a different way, and the platform of this course names its debt to each. Best-effort availability guarantees consistency and optimizes responsiveness: Chubby, the lock service at the heart of Google's infrastructure, runs a Paxos-replicated database inside one datacenter — correct always, unavailable only when the cluster splits. Best-effort consistency guarantees the answer and bounds the freshness: the web caching tier pioneered by Akamai serves close to the reader, tolerating a slightly stale page because a stopped one is worse. Trading the trade makes the tolerance a number: Yu and Vahdat's TACT toolkit meters conits — units of continuous consistency — so an airline can loosen the bound while the plane is empty and tighten it seat by seat.
And segmenting — the strategy that shapes this platform — splits one system into parts that each choose differently, along five dimensions the paper walks with named exemplars: data (the shopping cart loose, the billing record strict), operation (PNUTS serving reads always while some writes wait), function (Chubby for locks beside DNS for names), user (Craigslist splitting coasts so each side stays close and coherent), and hierarchy (looser toward the root, tighter toward the leaves). The whole guarantees neither property; every part guarantees exactly what it owes. That sentence is this platform's blueprint — the tiers of E3–E6 are its five dimensions, cashed.
The catalogue
hover a strategyversion<>value and the as_of stamp: the drift is always visible, so the bound is always honest.Hover or focus a strategy to read it; click to pin. Without scripting, all four read in sequence.
The dives
three moves downDoors
the deeper argumentBest-effort consistency, at length
The lineage page holding the availability-first stance this module compresses to one row.
folds into this module — served beside it until the dives ship.
/redis-patternsRedis Patterns, Applied
The pattern-level craft under the availability-first seats — caching, queues, streams.
the same seats, bought pattern by pattern in the sibling course.
References
sources · relatedSources
- Gilbert & Lynch (2012) — Perspectives on the CAP Theorem§4 — the catalogue and every contributor this module names
- Burrows (2006) — The Chubby lock servicethe best-effort-availability contributor, at its source
Related
- E0 — The Platform, Standingthe chapter
- E0.4 — One Frame, Standingthe catalogue, placed on the master frame
- E4 — The Memorythe dial, held in one table