News for hackers. Stuff that matters.

A comment on Paxos vs. Raft: Have we reached consensus on distributed consensus?. Parent comment

Re:Paxos vs. Raft: Have we reached consensus on distributed ... by justicezyx on Monday April 27, 2020 @08:14PM (#23001840)
Just figure out what to test in a weekend probably would be worth some Lamport-level smartness...
[ Parent | on HN ]
Re:Paxos vs. Raft: Have we reached consensus on distributed ... by hangonhn on Monday April 27, 2020 @09:25PM (#23002308)
Or Ousterhout level since we're talking about Raft. His career is amazing with contribution in many different areas of CS -- not to say Lamport's hasn't been.
[ Parent | on HN ]
Re:Paxos vs. Raft: Have we reached consensus on distributed ... by justicezyx on Monday April 27, 2020 @09:55PM (#23002511)
The comments in this list seem from really smart people.

I used to follow Jepsen https://jepsen.io/ closely. Those tests are quite comprehensive. But I think even those are not sufficient to quantify the quality of Paxos/Raft.

Tools like TLA+ probably require a few months to learn and become proficient.

[ Parent | on HN ]