Duplicated and lost messages will happen in practice - TCP attempts to build reliable communication on an unreliable medium. Not clear from the paper if this matters.
I think the larger misunderstanding of the paper is the requirement that paxos have a leader - lamport's synod algorithm does not require a leader, the leader is an optimization!
Without a long-lived leader, the performance would be so bad that I doubt there is a single production implementation that doesn't use that optimization.
Duplicated and lost messages will happen in practice - TCP attempts to build reliable communication on an unreliable medium. Not clear from the paper if this matters.
I think the larger misunderstanding of the paper is the requirement that paxos have a leader - lamport's synod algorithm does not require a leader, the leader is an optimization!
Without a long-lived leader, the performance would be so bad that I doubt there is a single production implementation that doesn't use that optimization.