Paxos算法
简介
Paxos算法是Leslie Lamport在1990年提出的一种基于消息传递的一致性算法。由于算法难以理解，起初并没有引起大家的重视，Lamport在1998年将论文重新发表到TOCS上，即便如此Paxos算法还是没有得到重视，2001年Lamport用可读性比较强的叙述性语言给出算法描述。
2006年Google发布了三篇论文，其中在Chubby锁服务使用Paxos作为Chubby Cell中的一致性算法，Paxos的人气从此一路狂飙。
基于Paxos协议的数据同步与传统主备方式最大的区别在于：
Paxos只需超过半数的副本在线且相互通信正常，就可以保证服务的持续可用，且数据不丢失。