News for hackers. Stuff that matters.

A comment on How you could have come up with Paxos yourself. Parent comment

Re:How you could have come up with Paxos yourself by compyman on Tuesday October 27, 2020 @10:18AM (#24907639)
I think it's interesting that Lamport chose this style for Paxos Made Simple[0] Which iteratively goes through a process of proposing a solution for a problem (proposal 0: accept the first value the acceptor comes across) and then reveals the problem with it, and amends the proposal to fix the problem

[0] https://lamport.azurewebsites.net/pubs/paxos-simple.pdf

[ Parent | on HN ]
Re:How you could have come up with Paxos yourself by ryukafalz on Tuesday October 27, 2020 @12:52PM (#24909254)
This Kerberos explanation does something similar at a high level through dialogue. Always did like it.

https://web.mit.edu/kerberos/www/dialogue.html

[ Parent | on HN ]