Как в 2025 году приблизиться к полному CAP (не AP/CP/CA), а именно к CAP?

Question

[John Bourne]

Я изучаю распределённые системы и CAP-теорему. Как известно, классически можно выбрать только два из трёх свойств (Consistency, Availability, Partition Tolerance). Однако есть решения, которые почти достигают всех трёх:
Google Cloud Spanner (CP, но за счёт TrueTime минимизирует простои, приближаясь к CA+P).

Вопрос:

1. Существуют ли в 2025 году self-hosted решения, способные так же эффективно маскировать CAP-компромиссы, как Spanner?
   
2. Какие технологии или алгоритмы позволяют максимально приблизиться к CAP без привязки к облаку (как TrueTime в Google)?
   
3. Есть ли примеры систем с "логическими часами" или другими методами, которые дают баланс C+A при партициях?
   

Интересуют именно практические реализации, а не теоретические рассуждения.

Comments

[Василий Банников]

к полному CAP (не AP/CP/CA), а именно к CAP?

Никак. По определению
Ибо если твоя система толерантна к разделению на уровне сети и при этом остаётся доступна - она по определению не может быть на 100% консистентной, ибо тогда на разных узлах будут разные данные, ибо нет сетевой связности.

А если оставлять 100% консистетность, то тогда при разделении должна теряться доступность - узлы должны переходить в read only, пока не вернётся связность.

Так что максимум чего можно достичь - Eventual Consistency, когда в моменте данные не консистентны, но со временем изменения распределяются по всем узлам и достигается полная консистетность, либо чтобы была консистентность на основе консенсуса, а отвалившиеся узлы без возможности собрать консенсус пусть становятся недоступными.

Собственно те самые компромиссы.

Из практического:
1. Для консенсуса и автоматического выбора ведущего узла есть Raft протокол, который реализован достаточно много где. (https://raft.github.io/)
2. Для автоматического восстановления есть Viewstamped Replication Revisited (pmg.csail.mit.edu/papers/vr-revisited.pdf)

Answer 1

[Василий Банников]

Глянь TigerBeetle - заявляется, что там есть и доступность, и жёсткая консистентность, и переживает мигающую сеть.
И оно self hosted и умеет в много дц.

Есть ещё вот такая бумага: pmg.csail.mit.edu/papers/vr-revisited.pdf

Достигается за счёт детерминизма операций