Wat zijn consistentiemodellen (strong vs eventual)?

Question

Accepted Answer

**Consistentiemodellen** definiëren garanties over wanneer en hoe data-updates zichtbaar worden in een gedistribueerd systeem — variërend van **sterke consistentie** (iedereen ziet onmiddellijk de nieuwste gegevens) tot **uiteindelijke consistentie** (updates verspreiden zich in de loop der tijd). De keuze brengt afwegingen mee met beschikbaarheid en prestaties.

## Sterke versus uiteindelijke consistentie

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

## De afweging

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

## Andere modellen en 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
```

## Waarom het belangrijk is

Het begrijpen van consistentiemodellen is waardevol omdat **de afweging tussen consistentie en beschikbaarheid/prestaties fundamenteel is voor gedistribueerde systemen**, dus het is belangrijk kennisgebied voor systeemontwerp.

Consistentiemodellen definiëren wanneer data-updates zichtbaar worden in een gedistribueerd systeem, en het sleutelonderscheid — **sterke consistentie** (elke lezing retourneert de nieuwste schrijfbewerking, alle knooppunten zijn onmiddellijk het eens) versus **uiteindelijke consistentie** (updates verspreiden zich in de loop der tijd, lezingen kunnen tijdelijk verouderd zijn maar convergeren) — vertegenwoordigt een fundamentele afweging.

Het begrijpen hiervan is belangrijk omdat **sterke consistentie** correctheid en eenvoud biedt (altijd actuele gegevens) maar coördinatie vereist die latentie verhoogt en beschikbaarheid vermindert (geschikt voor gegevens die correct moeten zijn, zoals financiële saldi, inventaris en reserveringen), terwijl **uiteindelijke consistentie** hoge beschikbaarheid, lage latentie en schaalbaarheid biedt tegen de prijs van tijdelijke veroudering (geschikt voor gegevens waar korte veroudering aanvaardbaar is, zoals sociale feeds, likes en weergavetellingen).

Het begrijpen van **de afweging** (sterkere consistentie betekent meer coördinatie, hogere latentie en lagere beschikbaarheid; zwakkere consistentie betekent sneller, meer beschikbaar en schaalbaar maar met verouderde lezingen — gerelateerd aan de CAP-stelling) is het sleutelinzicht dat de keuze van het juiste model voor elk gebruik geval leidt.

Het begrijpen van de **nuance** — dat er een spectrum van modellen bestaat (read-your-writes, causale consistentie, enz.), dat veel systemen **instelbare consistentie** bieden (kiezen per bewerking) en dat systemen vaak **modellen mengen** (sterke waar correctheid dit vereist, uiteindelijke waar beschikbaarheid en schaal belangrijk zijn) — weerspiegelt geavanceerd begrip.

Het op passende wijze kiezen van consistentie is een belangrijke ontwerpbeslissing die correctheid, beschikbaarheid en prestaties beïnvloedt.

Omdat de afweging tussen consistentie en beschikbaarheid/prestaties fundamenteel is voor gedistribueerde systemen en het kiezen van het juiste consistentiemodel (sterk versus uiteindelijk, vaak gemengd) aanzienlijk correctheid, beschikbaarheid en prestaties beïnvloedt, en omdat het begrijpen van de modellen en hun afwegingen belangrijk is voor het ontwerpen van gedistribueerde systemen en het kiezen van databases, is het begrijpen van consistentiemodellen waardevol, praktisch relevant kennisgebied voor systeemontwerp — een fundamentele gedistribueerde-systeemafweging (consistentie versus beschikbaarheid/prestaties), belangrijk voor het kiezen van passende gegevensverwerking op basis van correctheidsvereisten en centraal voor het ontwerpen van gedistribueerde systemen en het selecteren van databases met de juiste consistentiegaranties.