Các consistency model (strong vs eventual) là gì?

Question

Accepted Answer

**Consistency model** định nghĩa các đảm bảo về việc khi nào và như thế nào các cập nhật dữ liệu trở nên hiển thị xuyên suốt một distributed system — từ **strong consistency** (mọi người thấy dữ liệu mới nhất ngay lập tức) đến **eventual consistency** (cập nhật lan truyền theo thời gian). Lựa chọn này kéo theo trade-off với availability và performance.

## Strong vs eventual consistency

```text
STRONG CONSISTENCY → mọi lần đọc trả về bản ghi MỚI NHẤT (tất cả node đồng thuận ngay lập tức):
  ✓ dễ suy luận; dữ liệu luôn đúng/hiện thời
  ✗ đòi hỏi phối hợp → latency cao hơn, availability thấp hơn (đặc biệt trong lúc partition)
  → cho: dữ liệu phải đúng/hiện thời (số dư tài chính, tồn kho, đặt chỗ)
EVENTUAL CONSISTENCY → cập nhật lan truyền theo thời gian; đọc CÓ THỂ trả về dữ liệu cũ tạm thời,
  nhưng tất cả node HỘI TỤ cuối cùng:
  ✓ availability cao, latency thấp, scalable
  ✗ đọc có thể cũ tạm thời (phải chịu đựng được điều này)
  → cho: dữ liệu mà độ cũ tạm thời chấp nhận được (social feed, like, lượt xem, cache)
```

## Trade-off

```text
Consistency vs availability/performance (liên quan đến CAP):
  → consistency MẠNH HƠN → phối hợp nhiều hơn → latency cao hơn, availability thấp hơn
  → consistency YẾU HƠN (eventual) → nhanh hơn, available hơn, scalable hơn, nhưng đọc cũ
→ chọn dựa trên việc dữ liệu CÓ CẦN nhất quán ngay lập tức để đảm bảo tính đúng đắn hay không.
```

## Các model khác và sắc thái

```text
→ tồn tại một PHỔ: read-your-writes, monotonic reads, causal consistency, v.v.
→ Nhiều hệ thống cung cấp consistency CÓ THỂ TINH CHỈNH (chọn theo operation/query)
→ Dùng STRONG nơi tính đúng đắn đòi hỏi; EVENTUAL nơi availability/scale quan trọng và
  độ cũ chấp nhận được → thường PHA TRỘN trong cùng một hệ thống
```

## Tại sao điều này quan trọng

Hiểu consistency model là giá trị vì **trade-off consistency vs availability/performance là cơ bản đối với distributed system**, nên đây là kiến thức system design quan trọng.

Consistency model định nghĩa khi nào cập nhật dữ liệu trở nên hiển thị xuyên suốt một distributed system, và sự phân biệt then chốt — **strong consistency** (mọi lần đọc trả về bản ghi mới nhất, tất cả node đồng thuận ngay) so với **eventual consistency** (cập nhật lan truyền theo thời gian, đọc có thể cũ tạm thời nhưng hội tụ) — đại diện cho một trade-off cơ bản.

Hiểu điều này là quan trọng vì **strong consistency** mang lại tính đúng đắn và sự đơn giản (dữ liệu luôn hiện thời) nhưng đòi hỏi phối hợp làm tăng latency và giảm availability (phù hợp dữ liệu phải đúng, như số dư tài chính, tồn kho và đặt chỗ), trong khi **eventual consistency** mang lại availability cao, latency thấp và scalability với cái giá là độ cũ tạm thời (phù hợp dữ liệu mà độ cũ tạm thời chấp nhận được, như social feed, like và lượt xem).

Hiểu **trade-off** (consistency mạnh hơn nghĩa là phối hợp nhiều hơn, latency cao hơn và availability thấp hơn; consistency yếu hơn nghĩa là nhanh hơn, available hơn và scalable hơn nhưng đọc cũ — liên quan đến CAP theorem) là nhận định then chốt hướng dẫn việc chọn model đúng cho từng use case.

Hiểu **sắc thái** — rằng tồn tại một phổ các model (read-your-writes, causal consistency, v.v.), rằng nhiều hệ thống cung cấp **consistency có thể tinh chỉnh** (chọn theo operation), và rằng hệ thống thường **pha trộn các model** (strong nơi tính đúng đắn đòi hỏi, eventual nơi availability và scale quan trọng) — phản ánh hiểu biết tinh tế.

Chọn consistency phù hợp là một quyết định thiết kế then chốt ảnh hưởng đến tính đúng đắn, availability và performance.

Vì trade-off consistency vs availability/performance là cơ bản đối với distributed system và chọn consistency model đúng (strong vs eventual, thường pha trộn) ảnh hưởng đáng kể đến tính đúng đắn, availability và performance, và vì hiểu các model cùng trade-off của chúng là quan trọng để thiết kế distributed system và chọn database, nên hiểu consistency model là kiến thức system design có giá trị, liên quan thực tế — một trade-off distributed-systems cơ bản (consistency vs availability/performance), quan trọng để chọn cách xử lý dữ liệu phù hợp dựa trên nhu cầu tính đúng đắn, và trung tâm của việc thiết kế distributed system cùng chọn database với các đảm bảo consistency đúng.