It's unbelievable how hard to grasp distributed systems are. I recently implemented Paxos in Rust and at certain points I literally thought I was losing my mind.<p>When you read Paxos Made Simple it really all seems so, well, simple. But then you get inconsistent commits and look at the traces of what happened and just go "<i>How?!</i>"
Wow, Aphyr is on a roll! Mongo, PostgreSQL and Redis-Raft analyses all published in a window of ~5 weeks!<p>I really enjoy the Jepsen analyses and they've made me think a lot harder about distributed systems. Thanks!
It's awesome to see this being done in the development phase. There's so much to learn, even just from the feedback cycle between aphyr and RedisLabs.
The scrutiny this release is going through makes me confident that the Redis Labs team will deliver in the end.<p>Also, if you are looking for a linearly scalable distributed pub-sub with strong guarantees around consensus and message persistence, it might be worth looking at Apache Pulsar.
Interesting read as always!<p>Small typo, I believe the link in the sentence <i>Tangentially, we were surprised to discover that Redis Enterprise’s claim of “full ACID compliance”...</i> was copy/pasted incorrectly