Hi.

During the evaluation of different databases one of the major criteria for us is passing Jepsen test suite. Passing Jepsen test suite confirms some confidence level in testing different quite complicated scenarios in distributed systems.

I did not find any mention of passing Jepsen test suite in the documentation. I have checked Jepsen site and found that the last Jepsen run (at least an official one) was at 2013-12-10 so I guess it is kinda outdated.

My questions are: - What is the current state of Jepsen tests for Redis? - Do you plan to invest your time into the Jepsen tests? Maybe your current test suite covers all Jepsen cases (or maybe perform even more checks)? - If the database pass (or not pass) Jepsen test suite, would be awesome if you put this information somewhere into the documentaion. It is really important for the end-users

Thanks in advance!

Comment From: madolson

@zamazan4ik Can you add more context about what you mean about "passing" jepsen. Jepsen is a suite for understanding the ways a distributed system can fail. Redis intentionally does not pass Jepsen in some respects, because it makes very deliberate tradeoffs that break what Jepsen is testing for in favor of performance.

Comment From: zamazan4ik

Redis intentionally does not pass Jepsen in some respects, because it makes very deliberate tradeoffs that break what Jepsen is testing for in favor of performance.

That is completely fine if you do it intentionally. Could I somewhere check the current Jepsen run results for the fresh Redis? I am just interested which checks are not passing. Thank you.

Comment From: madolson

We don't actively run such tests, since we don't aim to pass them. You can check out this post, https://aphyr.com/posts/283-jepsen-redis, which has some more information on jepsen.