В чём суть CAP-теоремы?

CAP-теорема утверждает, что распределённая система не может одновременно гарантировать все три свойства:

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

При сетевых разделениях система должна выбирать между согласованностью и доступностью.

Примеры:

• CP-системы (Consistency + Partition tolerance): например, базы данных с жёсткой согласованностью, такие как HBase или MongoDB в режиме с write concern, где при разделении сети система может стать недоступной, чтобы сохранить согласованность.
• AP-системы (Availability + Partition tolerance): например, Cassandra или DynamoDB, которые обеспечивают доступность и устойчивость к разделениям, но могут допускать временную несогласованность данных (eventual consistency).

Выбор зависит от требований приложения: критична ли мгновенная согласованность или важнее непрерывная доступность.