Mik azok a konzisztenciamodellek (erős vs eventual)?

Question

Accepted Answer

**Konzisztenciamodellek** olyan garanciákat határoznak meg, hogy az adatfrissítések mikor és hogyan válnak láthatóvá egy elosztott rendszerben — az **erős konzisztenciától** (mindenki azonnal látja a legfrissebb adatokat) az **eventual konzisztenciáig** (frissítések idővel terjednek). A választás a rendelkezésre állás és a teljesítmény közötti kompromisszumokkal jár.

## Erős vs eventual konzisztencia

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

## A kompromisszum

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

## Egyéb modellek és árnyalatok

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

## Miért számít

A konzisztenciamodellek megértése értékes, mivel **a konzisztencia vs rendelkezésre állás/teljesítmény közötti kompromisszum alapvető az elosztott rendszerekben**, így fontos rendszertervezési tudás.

A konzisztenciamodellek azt határozzák meg, hogy az adatfrissítések mikor válnak láthatóvá egy elosztott rendszerben, és a kulcsfontosságú megkülönböztetés — az **erős konzisztencia** (minden olvasás a legfrissebb írást adja vissza, az összes csomópont azonnal egyetért) versus az **eventual konzisztencia** (frissítések idővel terjednek, az olvasások rövid ideig elavultak lehetnek, de konvergálnak) — alapvető kompromisszumot képvisel.

Ennek megértése fontos, mivel az **erős konzisztencia** helyességet és egyszerűséget biztosít (mindig aktuális adatok), de összehangolást igényel, amely megnöveli a késleltetést és csökkenti a rendelkezésre állást (olyan adatokra alkalmas, amelyeknek helyesnek kell lenniük, mint pénzügyi egyenlegek, készlet és foglalások), míg az **eventual konzisztencia** magas rendelkezésre állást, alacsony késleltetést és méretezhetőséget kínál az ideiglenes elavulás árán (olyan adatokra alkalmas, ahol az átmeneti elavulás elfogadható, mint közösségi adatfolyamok, kedvelések és nézetek száma).

A **kompromisszum** megértése (erősebb konzisztencia több koordinációt, nagyobb késleltetést és alacsonyabb rendelkezésre állást jelent; gyengébb konzisztencia gyorsabb, elérhetőbb és skálázhatóbb, de elavult olvasásokkal — a CAP tételhez kapcsolódik) az az alapvető felismerés, amely végigvezet az egyes felhasználási esetek megfelelő modelljének kiválasztásán.

A **nuanszáltsági** megértése — hogy egy modellek spektruma létezik (olvasd-amit-írtál, okozati konzisztencia stb.), hogy sok rendszer **hangolható konzisztenciát** kínál (műveleti kiválasztás), és hogy a rendszerek gyakran **keverik a modelleket** (erőset, ahol a helyesség megköveteli, eventualt, ahol a rendelkezésre állás és a skála számít) — kifinomult megértést tükröz.

A konzisztencia megfelelő megválasztása kulcsfontosságú tervezési döntés, amely befolyásolja a helyességet, a rendelkezésre állást és a teljesítményt.

Mivel a konzisztencia vs rendelkezésre állás/teljesítmény közötti kompromisszum alapvető az elosztott rendszerekben, és a megfelelő konzisztenciamodell kiválasztása (erős vs eventual, gyakran vegyes) jelentősen befolyásolja a helyességet, a rendelkezésre állást és a teljesítményt, és mivel a modellek és azok kompromisszumainak megértése fontos az elosztott rendszerek tervezéséhez és az adatbázisok kiválasztásához, a konzisztenciamodellek megértése értékes, gyakorlatilag releváns rendszertervezési tudás — alapvető elosztott rendszerek közötti kompromisszum (konzisztencia vs rendelkezésre állás/teljesítmény), fontos a megfelelő adatkezelés kiválasztásához a helyesség igényei alapján, és központi az elosztott rendszerek tervezéséhez és a megfelelő konzisztenciagyarantálást nyújtó adatbázisok kiválasztásához.