Что такое теорема CAP?

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

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

В условиях сетевого разделения ($P$), система вынуждена выбирать между согласованностью ($C$) и доступностью ($A$).

• CA система: Предполагает отсутствие сетевых разделений. При их возникновении система становится либо недоступной, либо несогласованной. Примеры: классические реляционные ба