I believe that Zookeeper + Curator were entirely consistent with their documentation as well as linearizable: https://aphyr.com/posts/291-jepsen-zookeeper https

I believe that Zookeeper + Curator were entirely consistent with their documentation as well as linearizable: https://aphyr.com/posts/291-jepsen-zookeeper https://aphyr.com/posts/291-jepsen-zookeeper . Now, of course, Zookeeper is built as a state management / coordination service more than a full-fledged database system, so it's not quite apples to apples, but it did offer a similarly strong showing. I also believe Riak was entirely consistent with its documentation when using CRDTs: https://aphyr.com/posts/285-jepsen-riak https://aphyr.com/posts/285-jepsen-riak . I think ElasticSearch is also now consistent with its documentation... although the documentation basically says "here be dragons." As an aside, re-reading these makes miss the old Aphyr work before he worked on contract. The goofy image memes and 100% irreverent tone made for good times.