一、paxos 算法是什么
解决分布式系统一致性的问题的算法
paxos(帕克索斯)
二、为什么有这个算法
1、分布式必然替代集中式。
2、分布式系统必然会出现节点故障、通信异常、网络分区等问题
3、分布式种种问题、必然会导致数据一致性的问题。
4、必然就要解决一致性问题。
三、Paxos如何解决一致性问题
只要达到以下目标,就能解决
1、有提案必须选定一个
2、只选定一个
3、选定后,可以获取到
四、为什么Paxos难理解
因为对原论文(Paxos made simple)的翻译偏差导致
看到推导过程就蒙了
原论文 推导过程P1、P2、P2a、P2b、 P2c
五、开始推导
提案: proposal,也就是要达成一致的值
三种角色
proposers :发出提案
acceptor :表决提案
leaner (可以先忽略)
1、P1咋来的?为了先满足目标1(有提案就必须选定一个)
P1:一个acceptor 必须接受第一个收到的提案
解读:因为存