Thursday, January 01, 2015

visual: Paxos Algorithm

a simple introduction, with SVG animations, to one of the key algorithms in distributed systems 

The Algorithm by Leslie Lamport

Neat Algorithms - Paxos - Will You Harry Me
"This is an explanation and demonstration of an extraordinarily neat algorithm called Paxos. Paxos is a family of algorithms for teaching a whole bunch of decidedly unreliable processes to reliably decide on stuff. More formally: it allows a group of unreliable processors to deterministically and safely reach consensus if some certain conditions can be met, while ensuring the group remains consistent if the conditions can’t be met."

No comments: