Знаком ли ты с теоремой CAP? Как реализовать распределённую систему, которая удовлетворяет всем свойствам CAP? Назови все три свойства и объясни как они совмещаются по парам.

Теорема CAP утверждает, что распределённая система не может одновременно гарантировать все три свойства:

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

По теореме, при сетевом разделении (Partition) система должна выбирать между согласованностью и доступностью.

• CP (Consistency + Partition tolerance): Система жертвует доступностью, чтобы обеспечить согласованность. Например, при разделении часть узлов может не отвечать, чтобы не допустить рассогласования данных.
• AP (Availability + Partition tolerance): Система жертвует согласованностью, отвечая на запросы даже при разделении, что может привести к временным рассогласованиям.
• CA (Consistency + Availability): Такой режим возможен только при отсутствии сетевых разделений, то есть в однородной среде без сбоев сети.

Реализовать систему, которая удовлетворяет всем трём свойствам одновременно, невозможно в условиях реальных сетевых разделений.

Пример:

• База данных, ориентированная на CP, при разделении сети может блокировать запросы, чтобы сохранить согласованность.
• База данных, ориентированная на AP, будет отвечать на запросы, даже если данные могут быть не полностью согласованы.

Таким образом, проектируя распределённую систему, нужно определить, какие свойства важнее для конкретного случая и выбрать соответствующую архитектуру.