Что такое теорема CAP?

Question

Accepted Answer

**Теорема CAP** утверждает, что распределённая система может гарантировать максимум **два из трёх** свойств — **Согласованность** (Consistency), **Доступность** (Availability) и **Устойчивость к разделению** (Partition tolerance) — одновременно. Поскольку сбои сети неизбежны, реальный выбор лежит между согласованностью и доступностью во время разделения сети.

## Три свойства

```text
CONSISTENCY (C) → every read sees the latest write (all nodes agree on the data)
AVAILABILITY (A) → every request gets a response (the system stays responsive)
PARTITION TOLERANCE (P) → the system keeps working despite network partitions
  (communication breaks between nodes)
→ CAP: you can only fully guarantee TWO of these three simultaneously.
```

## Реальный компромисс: C vs A (P обязателен)

```text
In distributed systems, network PARTITIONS WILL happen → P is NOT optional (you must
tolerate partitions) → so the real choice during a partition is C vs A:
  CP (consistency over availability) → during a partition, refuse requests that can't be
    consistent (sacrifice availability to keep data correct) — e.g. financial systems
  AP (availability over consistency) → during a partition, stay available but may return
    stale/inconsistent data (eventual consistency) — e.g. social feeds, many NoSQL stores
→ choose based on whether CONSISTENCY or AVAILABILITY matters more for the use case.
```

## Нюансы и практика

```text
→ CAP is about behavior DURING a partition (normally you can have both C and A)
→ It's not strictly binary → many systems offer TUNABLE consistency (per-operation choices)
→ Related: EVENTUAL CONSISTENCY (AP systems converge to consistency over time)
→ Understand the trade-off to choose databases/designs appropriately
```

## Почему это важно

Понимание теоремы CAP ценно, потому что это **фундаментальная концепция для распределённых систем**, которая формализует ключевой компромисс, поэтому это важное знание при проектировании систем.

Теорема CAP — что распределённая система может гарантировать максимум два из свойств Согласованность, Доступность и Устойчивость к разделению одновременно — отражает фундаментальное ограничение в распределённых системах.

Понимание **трёх свойств** (согласованность: чтения видят последнюю запись; доступность: каждый запрос получает ответ; устойчивость к разделению: работа несмотря на сбои сети) — это основание.

Самое важное — понимание **реального компромисса** — это ключевое практическое знание: поскольку **сбои сети неизбежны** в распределённых системах (P обязателен), реальный выбор во время разделения лежит между **согласованностью и доступностью** — **CP-системы** жертвуют доступностью для сохранения корректности данных во время разделения (подходит финансовым системам, где корректность критична), тогда как **AP-системы** остаются доступными, но могут возвращать устаревшие данные (итоговая согласованность, подходит лентам социальных сетей и многим хранилищам NoSQL, где доступность важнее).

Понимание компромисса C-vs-A и выбор на основе того, что важнее для вашего случая использования — согласованность или доступность — необходимо для проектирования распределённых систем и правильного выбора баз данных.

Понимание **нюансов** — что CAP касается поведения во время разделения (обычно можно иметь и C, и A), что это не строго бинарный выбор (многие системы предлагают настраиваемую согласованность), и связанная концепция итоговой согласованности — отражает глубокое понимание за пределами упрощённой версии.

CAP — это фундаментальная концепция, часто упоминаемая при проектировании распределённых систем и выборе баз данных.

Поскольку теорема CAP формализует фундаментальный компромисс в распределённых системах (согласованность vs доступность во время разделений), который влияет на проектирование систем и выбор баз данных, и поскольку понимание свойств, реального компромисса C-vs-A и нюансов важно для проектирования распределённых систем, понимание теоремы CAP — это ценное, практически применимое знание при проектировании систем — фундаментальная концепция распределённых систем, формализующая компромисс между согласованностью и доступностью, важная для проектирования распределённых систем и выбора баз данных, и часто упоминаемая при проектировании систем, отражающая понимание ограничений распределённых систем.