Что такое CAP-теорема и как понимать согласованность, доступность и устойчивость к разделению?

CAP-теорема: согласованность, доступность и устойчивость к разделению

• теория распределённых систем, связанная с консенсусом и отказоустойчивостью
• согласованность (Consistency): после обновления все узлы сразу отображают одинаковые данные
• доступность (Availability): система отвечает на каждый запрос, в том числе при сбоях
• устойчивость к разделению (Partition tolerance): система сохраняет работоспособность при потере связи между узлами
• во время сетевых сбоев невозможно одновременно гарантировать все три свойства
• в зависимости от требований приложения выбирают два свойства из трёх
• практическая ценность: позволяет находить баланс между консистентностью и отказоустойчивостью распределённых БД и сервисов

Подробный ответ

Основной ответ

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

• Под согласованностью (Consistency) понимается получение последних записанных данных при чтении: все узлы системы должны показывать одинаковое состояние в один и тот же момент.
• Доступность (Availability) означает, что система отвечает на любой запрос, даже если возвращаемая информация может быть не самой свежей, и не завершает его ошибкой или тайм-аутом.
• Устойчивость к разделению (Partition Tolerance) — это способность системы продолжать функционировать, когда сеть распадается на отдельные части, а сообщения между ними теряются либо могут задерживаться на неопределённо долгий срок.

Ключевые моменты

• В распределённых системах, работающих в условиях сетевых разрывов (partition), на практике приходится выбирать между строгой согласованностью данных и доступностью сервиса.
• В CP-системах (Consistency + Partition Tolerance) обеспечивается возврат актуальных данных, однако при сетевом разделении некоторые запросы могут временно стать недоступными.
• В AP-системах (Availability + Partition Tolerance) система продолжает отвечать на запросы, но узлы не обязательно синхронизируются мгновенно, поэтому возможна временная несогласованность данных.
• Современные базы данных и системы, включая Cassandra, MongoDB и Spanner, по-разному распределяют компромисс в рамках CAP и предлагают настройки уровня согласованности и доступности.

Практический контекст

Для проектов с критичной бизнес-логикой и финансовыми операциями часто выбирают Consistency и Partition Tolerance: это снижает риск потери данных, хотя при сетевых ошибках доступность может ухудшиться. В системах с большим потоком запросов и требованием высокой доступности, например в социальных сетях и кэшировании, обычно предпочитают Availability и Partition Tolerance, чтобы сервис продолжал работать даже при временной рассинхронизации данных.