How do you reason about a probabilistic distributed system?

In which I am stunted upon by coin flips Wasn’t too long ago that I felt pretty good about my knowledge of distributed systems. All someone really needed in order to understand them, I thought, was a thorough understanding of the paxos protocol and a willingless to reshape your brain in the image of TLA+. Maybe add a dash of conflict-free-replicated datatypes, just so you know what “eventual consistency” means. Past that it’s just some optimizations and mashups which come easily to your TLA+-addled brain. [Read More]