3 ms·
What then would you specify as the clearly defined storage fault model for non-Byzantine protocols such as Paxos/RAFT that rely on stable storage for correctnes
by _vvhw 4y ago
What then would you specify as the clearly defined storage fault model for non-Byzantine protocols such as Paxos/RAFT that rely on stable storage for correctness?
- remram 4y agoAnything is possible with Byzantine faults, on the specific failed node. It will not remember voting, it will not remember to vote, it will not remember its identity, etc. PAXOS/Raft are not tolerant to a minority of nodes exhibiting those kinds of faults, only to a minority of nodes being unreachable or partitioned. Remember that the Byzantine generals had traitors among them, not merely communication issues.
- _vvhw 4y agoWhat I mean is, if you're implementing Paxos/RAFT—what do you expect of the disk, that it's perfect?