CAP Теорема — это фундаментальная концепция в распределённых системах и базах данных, которая формулирует ограничения, с которыми сталкиваются разработчики при проектировании таких систем. Название «CAP» происходит от трёх ключевых свойств, которые система может обеспечить:

• Consistency (Согласованность)
• Availability (Доступность)
• Partition Tolerance (Устойчивость к разделению сети)

Что означает каждое свойство?

Consistency (Согласованность)

Каждый запрос к системе возвращает либо последнее записанное значение, либо ошибку. То есть все узлы системы видят одни и те же данные одновременно. Система всегда находится в согласованном состоянии.

Availability (Доступность)

Каждый запрос к системе получает корректный ответ (успех или ошибка), без гарантии того, что данные будут последними обновлёнными. Система всегда готова ответить, без простоев.

Partition Tolerance (Устойчивость к разделению сети)

Система продолжает работать, даже если произошёл сбой связи между некоторыми узлами сети. Она способна правильно функционировать в условиях сетевых разделений (partition).

Основная идея CAP теоремы:

В распределённой системе невозможно одновременно гарантировать все три свойства — Consistency, Availability и Partition Tolerance. В случае сетевого разделения (что неизбежно в больших системах), приходится выбирать между согласованностью и доступностью.

Пример выбора:

• Если система выбирает Consistency и Partition Tolerance (CP), то в случае сетевого разделения она может перестать быть доступной, чтобы сохранить согласованность.
• Если выбирает Availability и Partition Tolerance (AP), то система всегда отвечает, но данные могут быть временно несогласованными.
• Если выбирает Consistency и Availability (CA), то она не будет устойчива к разделениям сети, что в реальных условиях распределённых систем встречается редко.

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

CAP теорема помогает понять компромиссы, которые необходимо учитывать при проектировании распределённых баз данных, облачных сервисов и систем с высокой доступностью. Она определяет фундаментальные ограничения и помогает выбрать правильную архитектуру для конкретных задач.