Что такое теорема Брюера

Теорема Брюера (CAP-теорема) утверждает, что в распределённой системе невозможно одновременно обеспечить все три свойства:

• Consistency (согласованность) — все узлы видят одни и те же данные в один момент времени.
• Availability (доступность) — система всегда отвечает на запросы.
• Partition tolerance (устойчивость к разделению) — система работает даже при потере связи между узлами.

При разделении сети (P) можно выбрать только C или A.

Пример:

• CP-системы (например, HBase, MongoDB в строгом режиме) — жертвуют доступностью ради согласованности.
• AP-системы (например, Cassandra, DynamoDB) — жертвуют согласованностью ради доступности.

// Пример AP-системы: Cassandra допускает временную несогласованность
session.execute("INSERT INTO users (id, name) VALUES (1, 'Alice')");
// Чтение может вернуть устаревшие данные из-за репликации
session.execute("SELECT name FROM users WHERE id = 1");