3 ms·
The 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 comprehen
by justicezyx 7y ago
The 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.