PACELC Theorem

Kind: model

Layer: Causality Core

Record: architecture:pacelc-theorem

Severity: contextual

Scope: distributed state, consistency, latency

Canonical: Ontology

A conceptual representation that extends the CAP theorem with the trade-off a healthy network still forces, between latency and consistency.

Listed in Architecture principles, after CAP Theorem and before Design by Contract.

Requires

• CAP Theorem

Reinforces

• CAP Theorem
• Latency

Enables

• Latency-Consistency Trade-off When Healthy

Conflicts with

• Consistency Assumed Free When Healthy

In tension with

• Throughput

Tensions

• PACELC Theorem / Throughput

Violated by

• Consistency Assumed Free When Healthy

Severity

• contextual

Category

• Causality / Ordering / Distributed Time

Linked from

• Causality / Ordering / Distributed Time
• Scalability / Performance / Optimization
• Causality / Ordering / Distributed Time
• Severity levels
• The resolutions