Kaj so modeli skladnosti (強 v nasproti končna)?

Question

Accepted Answer

**Modeli skladnosti** opredelijo jamstva o tem, kdaj in kako so posodobitve podatkov vidne v distribuiranem sistemu — od **močne skladnosti** (vsi vidijo najnovejše podatke takoj) do **končne skladnosti** (posodobitve se razširijo sčasoma). Izbira vključuje kompromise z razpoložljivostjo in zmogljivostjo.

## Močna v nasproti končna skladnost

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

## Drugi modeli in nianse

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

## Zakaj je to pomembno

Razumevanje modelov skladnosti je dragoceno, ker je **kompromis med skladnostjo in razpoložljivostjo/zmogljivostjo temeljni za distribuirane sisteme**, zato je to pomembno znanje o oblikovanju sistemov.

Modeli skladnosti opredeljujejo, kdaj so posodobitve podatkov vidne v distribuiranem sistemu, in ključna razlika — **močna skladnost** (vsako branje vrne najnovejšo pisanje, vsi vozlišča se takoj strinjajo) v nasproti **končni skladnosti** (posodobitve se razširijo sčasoma, brani rezultati so lahko kratek čas zastareli, vendar konvergirajo) — predstavlja temeljni kompromis.

Razumevanje tega je pomembno, ker **močna skladnost** zagotavlja pravilnost in preprostost (vedno aktualni podatki), vendar zahteva usklajevanje, ki povečuje latenco in zmanjšuje razpoložljivost (primerno za podatke, ki morajo biti pravilni, kot so finančna stanja, zaloga in rezervacije), medtem ko **končna skladnost** ponuja visoko razpoložljivost, nizko latenco in skalabilnost na račun začasne zastarelosti (primerno za podatke, kjer je kratka zastarelost sprejemljiva, kot so društveni kanali, všečki in števci ogledov).

Razumevanje **kompromisa** (močnejša skladnost pomeni več usklajevanja, višjo latenco in nižjo razpoložljivost; šibkejša skladnost pomeni hitrejšo, bolj razpoložljivo in skalabilno, vendar s starejšimi bralni — povezano s CAP teoremom) je ključna spoznanja, ki vodi izbiro pravega modela za vsak primer uporabe.

Razumevanje **nianse** — da obstaja spekter modelov (preberi-svoje-pisanje, vzročna skladnost itd.), da številni sistemi ponujajo **nastavljivo skladnost** (izbira na operacijo), in da sistemi pogosto **mešajo modele** (močno tam, kjer to zahtevajo korektnost, končno tam, kjer so razpoložljivost in obseg pomembni) — odraža sofisticiran pogled.

Primerna izbira skladnosti je ključna odločitev pri oblikovanju, ki vpliva na pravilnost, razpoložljivost in zmogljivost.

Ker je kompromis med skladnostjo in razpoložljivostjo/zmogljivostjo temeljni za distribuirane sisteme in ker izbira pravilnega modela skladnosti (močna v nasproti končna, pogosto mešana) znatno vpliva na pravilnost, razpoložljivost in zmogljivost, in ker je razumevanje modelov in njihovih kompromisov pomembno za oblikovanje distribuiranih sistemov in izbiro baz podatkov, je razumevanje modelov skladnosti dragoceno, praktično relevantno znanje o oblikovanju sistemov — temeljni kompromis distribuiranih sistemov (skladnost v nasproti razpoložljivosti/zmogljivosti), pomembno za izbiro ustreznega ravnanja s podatki na podlagi zahtev pravilnosti in osrednje za oblikovanje distribuiranih sistemov ter izbiro baz podatkov s pravimi jamstvi skladnosti.