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

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

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

Например, если сеть разделилась, можно:

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

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

Что такое CAP-теорема и в чём её суть?