Hva er CAP-teoremet?

Question

Accepted Answer

**CAP-teoremet** sier at et distribuert system kan garantere høyst **to av tre** egenskaper — **Consistency**, **Availability**, og **Partition tolerance** — samtidig. Siden nettverkspartisjoner er uunngåelige, er det reelle valget mellom konsistens og tilgjengelighet under en partisjon.

## De tre egenskapene

```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.
```

## Den reelle avveiingen: C vs A (P er obligatorisk)

```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.
```

## Nyanse og praksis

```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
```

## Hvorfor det har betydning

Å forstå CAP-teoremet er verdifullt fordi det er et **grunnleggende konsept for distribuerte systemer** som beskriver en nøkkelavveining, så det er viktig systemdesignkunnskap.

CAP-teoremet — at et distribuert system kan garantere høyst to av Consistency, Availability, og Partition tolerance samtidig — fanger opp en grunnleggende begrensning i distribuerte systemer.

Å forstå de **tre egenskapene** (consistency: lesinger ser den nyeste skrivingen; availability: hver forespørsel får et svar; partition tolerance: fungerer til tross for nettverkspartisjoner) er grunnlaget.

Mest viktig er det å forstå **den reelle avveiingen**: siden **nettverkspartisjoner er uunngåelige** i distribuerte systemer (P er obligatorisk), er det reelle valget under en partisjon mellom **konsistens og tilgjengelighet** — **CP-systemer** ofrer tilgjengelighet for å holde data korrekte under partisjoner (passer for finansielle systemer hvor korrekthet er avgjørende), mens **AP-systemer** forblir tilgjengelige men kan returnere eldre data (eventuell konsistens, passer for sosiale feeds og mange NoSQL-lagre hvor tilgjengelighet betyr mer).

Å forstå C-vs-A-avveiingen og velge basert på om konsistens eller tilgjengelighet betyr mer for brukstilfellet ditt, er essensielt for å designe distribuerte systemer og velge databaser passende.

Å forstå **nyansen** — at CAP handler om oppførsel under en partisjon (du kan normalt ha både C og A), at det ikke er strengt binært (mange systemer tilbyr justeri bar konsistens), og det relaterte konseptet eventuell konsistens — gjenspeiler sofistikert forståelse utover den forenklede versjonen.

CAP er et grunnleggende konsept som refereres hyppig i distribuert systemdesign og databasevalg.

Siden CAP-teoremet beskriver en grunnleggende avveining i distribuerte systemer (konsistens vs tilgjengelighet under partisjoner) som påvirker systemdesign og databasevalg, og siden forståelse av egenskapene, den reelle C-vs-A-avveiingen, og nyansene er viktig for å designe distribuerte systemer, er forståelse av CAP-teoremet verdifull, praktisk-relevant systemdesignkunnskap — et grunnleggende distribuert-systemer-konsept som beskriver konsistens-tilgjengeligheetsavveiingen, viktig for å designe distribuerte systemer og velge databaser, og et vanlig-referert konsept i systemdesign som gjenspeiler forståelse av distribuerte-systemer-begrensninger.