Co jsou modely konzistence (silná vs. případná)?

Question

Accepted Answer

**Modely konzistence** definují záruky o tom, kdy a jak se aktualizace dat stanou viditelné v celém distribuovaném systému — od **silné konzistence** (všichni vidí nejnovější data okamžitě) až po **případnou konzistenci** (aktualizace se šíří v průběhu času). Volba zahrnuje kompromisy s dostupností a výkonem.

## Silná vs. případná konzistence

```text
STRONG CONSISTENCY → every read returns the MOST RECENT write (all nodes agree immediately):
  ✓ simple to reason about; always correct/current data
  ✗ requires coordination → higher latency, lower availability (especially during partitions)
  → for: data that must be correct/current (financial balances, inventory, bookings)
EVENTUAL CONSISTENCY → updates propagate over time; reads MAY return stale data briefly,
  but all nodes CONVERGE eventually:
  ✓ high availability, low latency, scalable
  ✗ reads can be stale temporarily (must tolerate this)
  → for: data where brief staleness is OK (social feeds, likes, view counts, caches)
```

## Kompromis

```text
Consistency vs availability/performance (relates to CAP):
  → STRONGER consistency → more coordination → higher latency, lower availability
  → WEAKER (eventual) consistency → faster, more available, scalable, but stale reads
→ choose based on whether the data NEEDS to be immediately consistent for correctness.
```

## Další modely a nuance

```text
→ a SPECTRUM exists: read-your-writes, monotonic reads, causal consistency, etc.
→ Many systems offer TUNABLE consistency (choose per operation/query)
→ Use STRONG where correctness demands it; EVENTUAL where availability/scale matters and
  staleness is acceptable → often MIX within one system
```

## Proč je to důležité

Rozvíjení porozumění modelům konzistence je cenné, protože **kompromis mezi konzistencí a dostupností/výkonem je fundamentální pro distribuované systémy**, takže je to důležité znalosti z oblasti návrhu systémů.

Modely konzistence definují, kdy se aktualizace dat stanou viditelné v celém distribuovaném systému, a klíčová distinkce — **silná konzistence** (každé čtení vrací nejnovější zápis, všechny uzly se okamžitě shodují) versus **případná konzistence** (aktualizace se šíří v průběhu času, čtení mohou být krátce zastaralá, ale konvergují) — představuje fundamentální kompromis.

Rozvíjení porozumění je důležité, protože **silná konzistence** poskytuje korektnost a jednoduchost (vždy aktuální data), ale vyžaduje koordinaci, která zvyšuje latenci a snižuje dostupnost (vhodné pro data, která musí být správná, jako zůstatky účtů, zásoby a rezervace), zatímco **případná konzistence** nabízí vysokou dostupnost, nízkou latenci a škálovatelnost za cenu dočasného zastarání (vhodné pro data, kde krátké zastarání je přijatelné, jako jsou sociální feedy, lajky a počty zobrazení).

Rozvíjení porozumění **kompromisu** (silnější konzistence znamená více koordinace, vyšší latenci a nižší dostupnost; slabší konzistence znamená rychlejší, dostupnější a lépe škálovatelné, ale se zastaralými čteními — související s CAP teorémem) je klíčovým poznatkem, který vedou volbu správného modelu pro každý případ.

Rozvíjení porozumění **nuanci** — že existuje spektrum modelů (čti-své-zápisy, kauzální konzistence atd.), že mnoho systémů nabízí **laditelnou konzistenci** (volba na operaci), a že systémy často **kombinují modely** (silná tam, kde je korektnost vyžadována, případná tam, kde záleží na dostupnosti a měřítku) — odráží sofistikované porozumění.

Volba vhodné konzistence je klíčové rozhodnutí návrhu ovlivňující korektnost, dostupnost a výkon.

Požadavek na to, že kompromis mezi konzistencí a dostupností/výkonem je fundamentální pro distribuované systémy a volba správného modelu konzistence (silná vs. případná, často kombinované) výrazně ovlivňuje korektnost, dostupnost a výkon, a protože porozumění modelům a jejich kompromisům je důležité pro návrh distribuovaných systémů a volbu databází, je porozumění modelům konzistence cenné, prakticky relevantní znalosti z oblasti návrhu systémů — fundamentální kompromis distribuovaných systémů (konzistence vs. dostupnost/výkon), důležitý pro volbu vhodného zacházení s daty na základě požadavků na korektnost, a centrální pro návrh distribuovaných systémů a výběr databází se správnými zárukami konzistence.