Что такое CAP-теорема?

CAP-теорема — это фундаментальная концепция в распределённых системах, сформулированная Эриком Брюером. Она утверждает, что в распределённой системе невозможно одновременно гарантировать все три свойства:

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

В условиях сетевого разделения (partition) система должна выбирать между согласованностью и доступностью. То есть, при сбое связи между узлами:

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

Пример:

• Cassandra — AP-система.
• HBase — CP-система.

CAP-теорема помогает проектировать распределённые системы, понимая компромиссы между этими тремя свойствами.