🤔 Докажи CAP теорему

CAP-теорема (Consistency, Availability, Partition Tolerance) утверждает, что в распределенной системе невозможно одновременно обеспечить три свойства:

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

🚩Доказательство

Рассмотрим сценарий с распределенной системой, состоящей из двух узлов (A и B), которые могут обмениваться данными.

🟠Предположим, что произошел сетевой раздел (Partition Tolerance, P)
узлы A и B больше не могут обмениваться данными.
Теперь у нас есть выбор
🟠Обеспечить согласованность (C)
это значит, что данные на A и B должны оставаться идентичными. Однако, так как они не могут обмениваться данными, запросы к B не могут быть обработаны до восстановления связи (нарушается доступность).
🟠Обеспечить доступность (A)
это значит, что оба узла должны продолжать отвечать на запросы. Однако, так как они не могут синхронизироваться, данные на A и B могут отличаться (нарушается согласованность). Так как разделение сети (P) может произойти в реальных условиях, система вынуждена выбирать между C и A. Таким образом, невозможно одновременно обеспечить все три свойства (C, A, P).

Ставь 👍 и забирай 📚 Базу знаний