PACELC Theorem
PACELC Theorem governs latency consistency tradeoff, shaping system behavior under specific failure modes and workloads.
Definition
PACELC Theorem is a design property concerning latency consistency tradeoff. It defines how the system behaves under specific conditions — what guarantees hold, what trade-offs apply, and how the mechanism interacts with related techniques. The property is only meaningful when its preconditions are met; outside those conditions it provides no benefit and may add cost.
Context and scope
Apply PACELC Theorem when designing systems where latency consistency tradeoff matters. It is most useful under partial failure, high load, or correctness requirements. Pair it with observability to verify the claimed behavior in production. Do not assume the property holds without testing the specific configuration and workload.
Common misconceptions
- PACELC Theorem eliminates all problems in its domain — it only bounds or shapes specific failure modes, not all pathologies.
- PACELC Theorem is free once you adopt the right tool — the property depends on configuration, workload, and failure pattern, not the product label alone.
Anti-patterns
- Enabling PACELC Theorem without measuring its cost in latency, availability, or operational complexity under production-like conditions.
- Assuming PACELC Theorem composes safely with other guarantees — combining mechanisms can introduce new failure modes or negate benefits.
Related concepts
Authoritative source
What it is
PACELC Theorem is a design property concerning latency consistency tradeoff. It defines how the system behaves under specific conditions — what guarantees hold, what trade-offs apply, and how the mechanism interacts with related techniques. The property is only meaningful when its preconditions are met; outside those conditions it provides no benefit and may add cost.
When to use
Apply PACELC Theorem when designing systems where latency consistency tradeoff matters. It is most useful under partial failure, high load, or correctness requirements. Pair it with observability to verify the claimed behavior in production. Do not assume the property holds without testing the specific configuration and workload.
Common misconceptions
- PACELC Theorem eliminates all problems in its domain — it only bounds or shapes specific failure modes, not all pathologies.
- PACELC Theorem is free once you adopt the right tool — the property depends on configuration, workload, and failure pattern, not the product label alone.
Anti-patterns to avoid
- Enabling PACELC Theorem without measuring its cost in latency, availability, or operational complexity under production-like conditions.
- Assuming PACELC Theorem composes safely with other guarantees — combining mechanisms can introduce new failure modes or negate benefits.
Related concepts
- CAP Theorem (cap-theorem)
- Latency Percentiles and Histograms (latency-percentiles)