3 ms·
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.
by hangonhn 7y ago
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.
- justicezyx 7y agoThe comments in this list seem from really smart people. I used to follow Jepsen https://jepsen.io/ 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.