Jepsen is the actual benchmark for a distributed system. And it deserves the popularity.