3 ms·
Can the framework model the leader election though?
by yxhuvud 8y ago
Can the framework model the leader election though?
- DannyBee 8y agoThey do, effectively. They show what is necessary for quorums, and show that a large number of algorithms meet these requirements. Hence, the single leader election is not actually necessary (and this is one of their points - the existing algorithms require much stronger quorum guarantees than are actually necessary for correctness)