Причинная согласованность
Модель согласованности, гарантирующая порядок только между причинно связанными операциями (если A вызвало B, все видят A раньше B), тогда как несвязанные операции разные узлы могут видеть в разном порядке. Сильнейшая модель, совместимая с высокой доступностью при разделении сети.
Идея: глобальный порядок нужен не всем событиям, а только тем, между которыми есть причинно-следственная связь. Если вы опубликовали сообщение (A), а кто-то ответил (B), все должны увидеть A раньше B — иначе ответ появится без вопроса. А два несвязанных (конкурентных) поста разным пользователям можно показывать в любом порядке — это неважно. Отслеживание ведётся через векторные часы или учёт зависимостей. Выигрыш: модель достаточно сильна, чтобы исключить самые запутывающие аномалии («виден ответ, но не вопрос»), и достаточно слаба, чтобы оставаться доступной при разделении сети (в отличие от линеаризуемости, которую CAP в этом случае запрещает). Применяется в COPS, причинных сессиях MongoDB и как значение по умолчанию во многих современных системах. Родственна последовательной и итоговой согласованности.