CAP theorem là gì?

Question

CAP theorem là gì?

Accepted Answer

**CAP theorem** phát biểu rằng một distributed system chỉ có thể đảm bảo tối đa **hai trong ba** thuộc tính — **Consistency**, **Availability** và **Partition tolerance** — cùng một lúc. Vì network partition là không thể tránh khỏi, lựa chọn thực sự là giữa consistency và availability trong lúc xảy ra partition.

## Ba thuộc tính

```text
CONSISTENCY (C) → mọi lần đọc đều thấy bản ghi mới nhất (tất cả các node đồng thuận về dữ liệu)
AVAILABILITY (A) → mọi request đều nhận được phản hồi (hệ thống vẫn phản hồi)
PARTITION TOLERANCE (P) → hệ thống vẫn hoạt động bất chấp network partition
  (giao tiếp giữa các node bị đứt)
→ CAP: bạn chỉ có thể đảm bảo trọn vẹn HAI trong ba thứ này cùng lúc.
```

## Trade-off thực sự: C vs A (P là bắt buộc)

```text
Trong distributed system, network PARTITION SẼ xảy ra → P KHÔNG phải tùy chọn (bạn phải
chịu đựng partition) → nên lựa chọn thực sự trong lúc partition là C vs A:
  CP (consistency hơn availability) → trong lúc partition, từ chối request không thể
    consistent (hy sinh availability để giữ dữ liệu đúng) — vd hệ thống tài chính
  AP (availability hơn consistency) → trong lúc partition, vẫn available nhưng có thể trả về
    dữ liệu cũ/không nhất quán (eventual consistency) — vd social feed, nhiều NoSQL store
→ chọn dựa trên việc CONSISTENCY hay AVAILABILITY quan trọng hơn cho use case.
```

## Sắc thái và thực tế

```text
→ CAP nói về hành vi TRONG LÚC partition (bình thường bạn có thể có cả C và A)
→ Nó không hoàn toàn nhị phân → nhiều hệ thống cung cấp consistency CÓ THỂ TINH CHỈNH (chọn theo từng operation)
→ Liên quan: EVENTUAL CONSISTENCY (hệ thống AP hội tụ về consistency theo thời gian)
→ Hiểu trade-off để chọn database/thiết kế phù hợp
```

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

Hiểu CAP theorem là giá trị vì nó là một **khái niệm cơ bản cho distributed system** đóng khung một trade-off then chốt, nên đây là kiến thức system design quan trọng.

CAP theorem — rằng một distributed system chỉ đảm bảo tối đa hai trong Consistency, Availability và Partition tolerance cùng lúc — nắm bắt một ràng buộc cơ bản trong distributed system.

Hiểu **ba thuộc tính** (consistency: đọc thấy bản ghi mới nhất; availability: mọi request nhận phản hồi; partition tolerance: hoạt động bất chấp network partition) là nền tảng.

Quan trọng nhất, hiểu **trade-off thực sự** là nhận định thực tế then chốt: vì **network partition là không thể tránh khỏi** trong distributed system (P là bắt buộc), lựa chọn thực tế trong lúc partition là giữa **consistency và availability** — **hệ thống CP** hy sinh availability để giữ dữ liệu đúng trong lúc partition (phù hợp hệ thống tài chính nơi tính đúng đắn là tối thượng), trong khi **hệ thống AP** vẫn available nhưng có thể trả về dữ liệu cũ (eventual consistency, phù hợp social feed và nhiều NoSQL store nơi availability quan trọng hơn).

Hiểu trade-off C-vs-A này và chọn dựa trên việc consistency hay availability quan trọng hơn cho use case là thiết yếu để thiết kế distributed system và chọn database phù hợp.

Hiểu **sắc thái** — rằng CAP nói về hành vi trong lúc partition (bình thường bạn có thể có cả C và A), rằng nó không hoàn toàn nhị phân (nhiều hệ thống cung cấp consistency có thể tinh chỉnh), và khái niệm liên quan là eventual consistency — phản ánh hiểu biết tinh tế vượt ra ngoài phiên bản đơn giản hóa.

CAP là một khái niệm nền tảng thường được nhắc đến trong thiết kế distributed system và chọn database.

Vì CAP theorem đóng khung một trade-off cơ bản trong distributed system (consistency vs availability trong lúc partition) định hướng system design và lựa chọn database, và vì hiểu các thuộc tính, trade-off C-vs-A thực sự, và các sắc thái là quan trọng để thiết kế distributed system, nên hiểu CAP theorem là kiến thức system design có giá trị, liên quan thực tế — một khái niệm distributed-systems cơ bản đóng khung trade-off consistency-availability, quan trọng để thiết kế distributed system và chọn database, và là một khái niệm thường được nhắc đến trong system design phản ánh hiểu biết về các ràng buộc distributed-systems.