Вопрос углубляется в ограничения CAP-теоремы для распределенных систем.
При сетевом разделении (P) система должна выбрать:
Либо отвечать (A), рискуя несогласованностью
Либо ждать восстановления связи (C), теряя доступность
Невозможно одновременно гарантировать и мгновенную согласованность, и полную доступность при партишенах.
Доказательство от противного:
Предположим, система обеспечивает все три свойства (CAP)
Происходит сетевой раздел (P)
Узел A пытается записать данные
Узел B не может получить обновления из-за партишена
Если система отвечает B (A), данные будут несогласованны (¬C)
Если ждет восстановления связи (C), становится недоступной (¬A)
Практические следствия:
Все распределенные системы делают выбор между CP и AP
Реальные системы часто ослабляют требования (например, eventual consistency)
