Contradiction in Lamport’s Paxos made simple paper
You missed something in step 7. When C processes accept 100:b it sets its state to C(100:b,100). By accepting a value the node is also promising to not accept earlier values. Update. I’ve been thinking about this all month because I knew the above answer was not absolutely correct. What’s more I looked through several … Read more