Paxos

The original distributed consensus algorithm (Lamport, 1989). Correct but notoriously hard to implement — every production system using Paxos has its own subtle variant. Named after a Greek island where Lamport set a fictional parliamentary procedure as a teaching device.