I came across this algorithm used for generating a consensus among distributed systems, recording the material I liked/groked among it all
- The original paper by Leslie Lamport: http://www.cs.utexas.edu/users/lorenzo/corsi/cs380d/past/03F/notes/paxos-simple.pdf
- The Wikipedia page, with some examples: http://en.wikipedia.org/wiki/Paxos_(computer_science)
- A blogpost: http://blog.aetherworks.com/2013/05/paxos-by-example/ – A comment on Reddit mentions that this might be the cleanest explanations around, and I agree.
- Any list of links on Paxos cannot be complete without a reference to the FLP impossibility explained at http://the-paper-trail.org/blog/a-brief-tour-of-flp-impossibility/ and the original paper is available at http://cs-www.cs.yale.edu/homes/arvind/cs425/doc/fischer.pdf
- A blogpost that would make sense after I’ve slept over this algorithm a little, and tried implementing it: http://blog.willportnoy.com/2012/06/lessons-learned-from-paxos.html. These are the experiences of implementing it for Windows Azure.
- Yet another paper that talks about an implementation, this time by Google: http://dl.acm.org/citation.cfm?id=1281103
I’m still looking for an example of how this is done in databases though.