Теорема CAP (CAP theorem)

Теорема CAP гласит: когда распределённая система разделена — часть узлов не может связаться с другими из-за сетевого сбоя, — приходится выбирать между согласованностью (каждое чтение видит последнюю запись) и доступностью (каждый запрос всё равно получает ответ). Одновременно и то и другое во время разделения невозможно. Поскольку на масштабе разделения неизбежны, CAP по сути — вынужденный выбор между поведением CP и AP, когда сеть ломается. CP-система скорее откажет в запросе, чем вернёт устаревшие данные; AP-система продолжает отвечать, допуская, что реплики временно расходятся и согласуются позже (конечная согласованность). Для SaaS-разработчиков CAP — это линза для чтения гарантий вашей базы: банковский реестр тяготеет к CP, корзина покупок или лента — обычно к AP. На практике: CAP кусается только во время разделения — в остальное время доступны оба свойства, — и большинство реальных систем настраивают это по операциям, а не выбирают одно глобально.