Хорошая подборка моделей согласованности. Линии показывают отношения моделей согласованости. Например, строгая сериализуемость подразумевает как сериализуемость, так и линеаризуемость и т.д. Цвета обозначают доступность модели в различных ситуациях, возникающих в распределенных системах. https://jepsen.io/consistency