Vad är CAP-teoremet?

Question

Accepted Answer

**CAP-teoremet** säger att ett distribuerat system kan garantera högst **två av tre** egenskaper — **Consistency** (konsekvens), **Availability** (tillgänglighet) och **Partition tolerance** (partitionstolerans) — samtidigt. Eftersom nätverkspartitioner är oundvikliga är det verkliga valet mellan konsekvens och tillgänglighet under en partition.

## De tre egenskaperna

```text
CONSISTENCY (C) → every read sees the latest write (all nodes agree on the data)
AVAILABILITY (A) → every request gets a response (the system stays responsive)
PARTITION TOLERANCE (P) → the system keeps working despite network partitions
  (communication breaks between nodes)
→ CAP: you can only fully guarantee TWO of these three simultaneously.
```

## Det verkliga avvägandet: C vs A (P är obligatoriskt)

```text
In distributed systems, network PARTITIONS WILL happen → P is NOT optional (you must
tolerate partitions) → so the real choice during a partition is C vs A:
  CP (consistency over availability) → during a partition, refuse requests that can't be
    consistent (sacrifice availability to keep data correct) — e.g. financial systems
  AP (availability over consistency) → during a partition, stay available but may return
    stale/inconsistent data (eventual consistency) — e.g. social feeds, many NoSQL stores
→ choose based on whether CONSISTENCY or AVAILABILITY matters more for the use case.
```

## Nyansering och praktik

```text
→ CAP is about behavior DURING a partition (normally you can have both C and A)
→ It's not strictly binary → many systems offer TUNABLE consistency (per-operation choices)
→ Related: EVENTUAL CONSISTENCY (AP systems converge to consistency over time)
→ Understand the trade-off to choose databases/designs appropriately
```

## Varför det är viktigt

Att förstå CAP-teoremet är värdefullt eftersom det är ett **grundläggande begrepp för distribuerade system** som formulerar en nyckelkompromiss, så det är viktig systemdesignkunskap.

CAP-teoremet — att ett distribuerat system kan garantera högst två av Consistency, Availability och Partition tolerance samtidigt — fångar en grundläggande begränsning i distribuerade system.

Att förstå **de tre egenskaperna** (consistency: läsningar ser den senaste skrivningen; availability: varje begäran får ett svar; partition tolerance: fungerar trots nätverkspartitioner) är grunden.

Viktigast av allt är att förstå **det verkliga avvägandet** — det är den praktiska huvudinsikten: eftersom **nätverkspartitioner är oundvikliga** i distribuerade system (P är obligatoriskt) är det verkliga valet under en partition mellan **konsekvens och tillgänglighet** — **CP-system** offrar tillgänglighet för att hålla data korrekt under partitioner (passar finanssystem där korrekthet är överskuggande viktig), medan **AP-system** förblir tillgängliga men kan returnera inaktuell data (eventual consistency, passar sociala flöden och många NoSQL-lager där tillgänglighet är viktigare).

Att förstå denna C-vs-A-kompromiss och välja baserat på om konsekvens eller tillgänglighet är viktigare för användningsfallet är essentiellt för att designa distribuerade system och välja databaser lämpligt.

Att förstå **nyansen** — att CAP handlar om beteende under en partition (du kan normalt ha både C och A), att det inte är strikt binärt (många system erbjuder justerbar konsekvens) och det relaterade konceptet eventual consistency — reflekterar sofistikerad förståelse bortom den förenklade versionen.

CAP är ett grundläggande koncept som ofta refereras i distribuerad systemdesign och databasval.

Eftersom CAP-teoremet formulerar en grundläggande kompromiss i distribuerade system (konsekvens vs tillgänglighet under partitioner) som informerar systemdesign och databasval, och eftersom att förstå egenskaperna, det verkliga C-vs-A-avvägandet och nyanserna är viktigt för att designa distribuerade system, är förståelse för CAP-teoremet värdefullt, praktiskt relevant systemdesignkunskap — ett grundläggande distribuerat-system-koncept som formulerar konsekvens-tillgänglighet-kompromissen, viktigt för att designa distribuerade system och välja databaser, och ett vanligt refererat koncept i systemdesign som reflekterar förståelse för distribuerade-systems-begränsningar.