Почему в распределённых системах нельзя гарантировать все три свойства CAP одновременно?

Question

При сетевом разделении (P) система должна выбрать:

Либо отвечать (A), рискуя несогласованностью
Либо ждать восстановления связи (C), теряя доступность
Невозможно одновременно гарантировать и мгновенную согласованность, и полную доступность при партишенах.

YeaHub · Accepted Answer

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