Apakah model ketekalan (kuat vs eventual)?

Question

Accepted Answer

**Model ketekalan** mentakrifkan jaminan tentang bila dan bagaimana kemas kini data menjadi kelihatan merentasi sistem teragih — daripada **ketekalan kuat** (semua orang melihat data terkini dengan serta-merta) kepada **ketekalan eventual** (kemas kini merebak dari masa ke masa). Pilihan ini melibatkan pertukaran dengan ketersediaan dan prestasi.

## Ketekalan kuat vs eventual

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

## Pertukaran

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

## Model lain dan nuansa

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

## Mengapa ia penting

Memahami model ketekalan adalah berharga kerana **pertukaran ketekalan vs ketersediaan/prestasi adalah asas kepada sistem teragih**, jadi ia merupakan pengetahuan reka bentuk sistem yang penting.

Model ketekalan mentakrifkan bila kemas kini data menjadi kelihatan merentasi sistem teragih, dan perbezaan utama — **ketekalan kuat** (setiap bacaan mengembalikan tulisan terkini, semua nod bersetuju dengan serta-merta) berbanding **ketekalan eventual** (kemas kini merebak dari masa ke masa, bacaan mungkin lapuk seketika tetapi menumpu) — mewakili satu pertukaran asas.

Memahami ini adalah penting kerana **ketekalan kuat** menyediakan ketepatan dan kesederhanaan (data sentiasa terkini) tetapi memerlukan penyelarasan yang meningkatkan latensi dan mengurangkan ketersediaan (sesuai untuk data yang mesti betul, seperti baki kewangan, inventori, dan tempahan), manakala **ketekalan eventual** menawarkan ketersediaan tinggi, latensi rendah, dan skalabiliti dengan kos kelapukan sementara (sesuai untuk data di mana kelapukan ringkas boleh diterima, seperti suapan sosial, suka, dan kiraan paparan).

Memahami **pertukaran** (ketekalan yang lebih kuat bermakna lebih banyak penyelarasan, latensi lebih tinggi, dan ketersediaan lebih rendah; ketekalan yang lebih lemah bermakna lebih pantas, lebih tersedia, dan boleh diskala tetapi dengan bacaan lapuk — berkait dengan teorem CAP) ialah wawasan utama yang memandu pemilihan model yang tepat untuk setiap kes penggunaan.

Memahami **nuansa** — bahawa terdapat spektrum model (read-your-writes, ketekalan kausal, dll.), bahawa banyak sistem menawarkan **ketekalan yang boleh ditala** (memilih bagi setiap operasi), dan bahawa sistem selalunya **mencampurkan model** (kuat di mana ketepatan menuntutnya, eventual di mana ketersediaan dan skala penting) — mencerminkan pemahaman yang canggih.

Memilih ketekalan dengan sewajarnya ialah keputusan reka bentuk utama yang mempengaruhi ketepatan, ketersediaan, dan prestasi.

Memandangkan pertukaran ketekalan vs ketersediaan/prestasi adalah asas kepada sistem teragih dan memilih model ketekalan yang tepat (kuat vs eventual, selalunya dicampurkan) ketara mempengaruhi ketepatan, ketersediaan, dan prestasi, dan memandangkan memahami model-model dan pertukarannya adalah penting untuk mereka bentuk sistem teragih dan memilih pangkalan data, memahami model ketekalan adalah pengetahuan reka bentuk sistem yang berharga dan berkaitan secara praktikal — pertukaran sistem teragih yang asas (ketekalan vs ketersediaan/prestasi), penting untuk memilih pengendalian data yang sesuai berdasarkan keperluan ketepatan, serta teras kepada mereka bentuk sistem teragih dan memilih pangkalan data dengan jaminan ketekalan yang tepat.