Хорошая подборка моделей согласованности.



Линии показывают отношения моделей согласованости. Например, строгая сериализуемость подразумевает как сериализуемость, так и линеаризуемость и т.д.

Цвета обозначают доступность модели в различных ситуациях, возникающих в распределенных системах.





https://jepsen.io/consistency