ingloriousB

4 ms·

1. 1.▲
   by ingloriousB 1y ago

   Per the site guidelines[1], please avoid gratuitous negativity. [1] https://www.ycombinator.com/blog/new-hacker-news-guideline > https://www.ycombinator.com/blog/new-hacker-news-guideline Certa
2. 2.▲
   by ingloriousB 1y ago

   For related, I would list two papers. If you really want to understand these algorithms, start with these two: 1) https://lamport.azurewebsites.net/pubs/pubs.html#time-clocks Lamport's 1978 "Time, Clocks, an
3. 3.▲
   by ingloriousB 1y ago

   :) I'm only using "seem" to indicate the limits of my knowledge. I was just hoping someone would chime in with a link to stronger/formal proof for VSR. Are you aware of any? So, yes, to my limited knowledge, I've no
4. 4.▲
   by ingloriousB 1y ago

   The Raft authors didn't "miss" it, they just decided that randomized was simpler--and simplicity was a deliberate design goal. They found randomized was easier to reason about compared to trying to figure out how to explain
5. 5.▲
   by ingloriousB 1y ago

   There is only one version of the committed log. That's the definition of committed. So you won't get a committed write or read from a partitioned "zombie" leader. In good (non-buggy) Raft implementations, things are set