Jepsen: Redis-Raft 1b3fbf6

Redis is a popular in-memory data structure server. Historically, Redis has supported a number of ad hoc replication mechanisms, but none guaranteed stronger than causal consistency. Redis-Raft aims to bring strict serializability to Redis by means of the Raft consensus algorithm. We found twenty-one issues in development builds of Redis-Raft, including partial unavailability in healthy clusters,

[y_uuki]

“Redis-Raft aims to bring strict serializability to Redis by means of the Raft consensus algorithm.”