Recall that Paxos is a distributed system algorithm with the goal that the processes participating in its protocol will reach consensus on one of the valid values.
I was studying Paxos from:
and I was wondering, what is so special about a majority of nodes having a value? Why is that the key fact for consensus to work on Paxos?
It says on the paper that "any two majorities have at least one acceptor in common, this works if an acceptor can accept at most one value" (page 2). Its true that if we have two majorities then at least one node between the two must be the same one, but I was not entirely sure if I fully appreciated why that was special for consensus. How does this guarantee that a single value gets accepted? Or how does it aid in that goal?
Author: Leslie Lamport
Title: Paxos made simple
Institution: Microsoft Research