Što je CAP teorem?

Question

Što je CAP teorem?

Accepted Answer

**CAP teorem** kaže da distribuirani sustav može garantirati najviše **dva od tri** svojstva — **Konzistentnost**, **Dostupnost** i **Toleranciju particija** — istovremeno. Budući da su mrežne particije neizbježne, pravi izbor je između konzistentnosti i dostupnosti tijekom particije.

## Tri svojstva

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

## Pravi kompromis: C vs A (P je obavezno)

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

## Nijanse i praksa

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

## Zašto je važno

Razumijevanje CAP teorema je dragocjeno jer je to **fundamentalni koncept za distribuirane sustave** koji oblikuje ključni kompromis, pa je važno znanje za dizajn sustava.

CAP teorem — da distribuirani sustav može garantirati najviše dva od Konzistentnosti, Dostupnosti i Tolerancije particija istovremeno — hvata fundamentalno ograničenje u distribuiranim sustavima.

Razumijevanje **tri svojstva** (konzistentnost: čitanja vide najnoviji zapis; dostupnost: svaki zahtjev dobija odgovor; tolerancija particija: rad unatoč mrežnim particijama) je temelj.

Najvažnije, razumijevanje **pravog kompromisa** je ključna praktična spoznaja: budući da su **mrežne particije neizbježne** u distribuiranim sustavima (P je obavezno), stvarni izbor tijekom particije je između **konzistentnosti i dostupnosti** — **CP sustavi** žrtvuju dostupnost da zadržu ispravnost podataka tijekom particija (odgovara financijskim sustavima gdje je ispravnost paramount), dok **AP sustavi** ostaju dostupni ali mogu vratiti zastarjele podatke (eventualna konzistentnost, odgovara društvenim mrežama i mnogim NoSQL spremištima gdje dostupnost više bitan).

Razumijevanje ovog C-vs-A kompromisa i odabir na osnovi toga je li konzistentnost ili dostupnost važnija za slučaj upotrebe ključno je za dizajn distribuiranih sustava i odabir baza podataka.

Razumijevanje **nijanse** — da je CAP o ponašanju tijekom particije (normalno možete imati i C i A), da nije strogo binaran (mnogi sustavi nude prilagodljivu konzistentnost), i povezani koncept eventualne konzistentnosti — odražava sofisticirano razumijevanje izvan pojednostavljene verzije.

CAP je fundamentalni koncept često referencirani u dizajnu distribuiranih sustava i odabiru baza podataka.

Budući da CAP teorem oblikuje fundamentalni kompromis u distribuiranim sustavima (konzistentnost vs dostupnost tijekom particija) koji informira dizajn sustava i odabir baze podataka, i budući da je razumijevanje svojstava, pravog C-vs-A kompromisa i nijanse važno za dizajn distribuiranih sustava, razumijevanje CAP teorema je dragocjeno, praktično relevantno znanje o dizajnu sustava — fundamentalni koncept distribuiranih sustava koji oblikuje kompromis između konzistentnosti i dostupnosti, važan za dizajn distribuiranih sustava i odabir baza podataka, i često referencirani koncept u dizajnu sustava koji odražava razumijevanje ograničenja distribuiranih sustava.