Consistency models (strong กับ eventual) คืออะไร?

Question

Accepted Answer

**Consistency models** กำหนดการรับประกันว่าการอัปเดตข้อมูลจะมองเห็นได้เมื่อใดและอย่างไรทั่วระบบกระจาย — ตั้งแต่ **strong consistency** (ทุกคนเห็นข้อมูลล่าสุดทันที) ไปจนถึง **eventual consistency** (การอัปเดตแพร่กระจายไปตามเวลา) การเลือกเกี่ยวข้องกับ trade-off กับ availability และ performance

## Strong กับ eventual consistency

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

## Trade-off

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

## โมเดลอื่น ๆ และความละเอียดอ่อน

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

## ทำไมจึงสำคัญ

การเข้าใจ consistency models มีคุณค่า เพราะ **trade-off ระหว่าง consistency กับ availability/performance เป็นพื้นฐานของระบบกระจาย** จึงเป็นความรู้ด้าน system design ที่สำคัญ

Consistency models กำหนดว่าการอัปเดตข้อมูลจะมองเห็นได้เมื่อใดทั่วระบบกระจาย และความแตกต่างสำคัญ — **strong consistency** (ทุกการ read คืน write ล่าสุด ทุก node เห็นตรงกันทันที) เทียบกับ **eventual consistency** (การอัปเดตแพร่กระจายไปตามเวลา การ read อาจล้าสมัยชั่วครู่แต่จะ converge) — แสดงถึง trade-off พื้นฐาน

การเข้าใจสิ่งนี้สำคัญ เพราะ **strong consistency** ให้ความถูกต้องและความเรียบง่าย (ข้อมูลปัจจุบันเสมอ) แต่ต้องอาศัยการประสานงานที่เพิ่ม latency และลด availability (เหมาะกับข้อมูลที่ต้องถูกต้อง เช่น ยอดเงินทางการเงิน inventory และ booking) ในขณะที่ **eventual consistency** ให้ availability สูง latency ต่ำ และ scalability โดยแลกกับความล้าสมัยชั่วคราว (เหมาะกับข้อมูลที่ความล้าสมัยชั่วครู่ยอมรับได้ เช่น social feed, like และ view count)

การเข้าใจ **trade-off** (consistency ที่แข็งแกร่งกว่าหมายถึงการประสานงานที่มากขึ้น latency ที่สูงขึ้น และ availability ที่ต่ำลง; consistency ที่อ่อนกว่าหมายถึงเร็วกว่า available กว่า และสเกลได้ แต่มีการ read ที่ล้าสมัย — เกี่ยวข้องกับ CAP theorem) เป็นข้อคิดสำคัญที่ชี้นำการเลือกโมเดลที่เหมาะสมสำหรับแต่ละ use case

การเข้าใจ **ความละเอียดอ่อน** — ว่ามีสเปกตรัมของโมเดลอยู่ (read-your-writes, causal consistency ฯลฯ) ว่าหลายระบบให้ **tunable consistency** (เลือกได้ต่อ operation) และว่าระบบมัก **ผสมโมเดล** (strong ที่ความถูกต้องเรียกร้อง eventual ที่ availability และสเกลสำคัญ) — สะท้อนความเข้าใจที่ลึกซึ้ง

การเลือก consistency อย่างเหมาะสมเป็นการตัดสินใจออกแบบที่สำคัญซึ่งส่งผลต่อความถูกต้อง availability และ performance

เนื่องจาก trade-off ระหว่าง consistency กับ availability/performance เป็นพื้นฐานของระบบกระจาย และการเลือก consistency model ที่เหมาะสม (strong เทียบกับ eventual มักผสมกัน) ส่งผลอย่างมีนัยสำคัญต่อความถูกต้อง availability และ performance และเนื่องจากการเข้าใจโมเดลและ trade-off ของพวกมันสำคัญต่อการออกแบบระบบกระจายและการเลือกฐานข้อมูล การเข้าใจ consistency models จึงเป็นความรู้ด้าน system design ที่มีคุณค่าและเกี่ยวข้องในเชิงปฏิบัติ — เป็น trade-off พื้นฐานของระบบกระจาย (consistency เทียบกับ availability/performance) สำคัญต่อการเลือกการจัดการข้อมูลที่เหมาะสมโดยพิจารณาจากความต้องการด้านความถูกต้อง และเป็นหัวใจของการออกแบบระบบกระจายและการเลือกฐานข้อมูลที่มีการรับประกัน consistency ที่ถูกต้อง