Paxos 算法的理解-基于原论文和各种中文解读

一、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 必须接受第一个收到的提案

解读：因为存