分布式协议——paxos算法

一、paxos算法的背景 Paxos算法是莱斯利·兰伯特(Leslie Lamport)1990年提出的一种基于消息传递的一致性算法,是目前公认的解决分布式一致性问题最有效的算法之一,其解决的问题就是在分布式系统中如何就某个值(决议)达成一致。 Paxos算法的前提假设是不存在拜占庭将军问题,即:信道是安全的(信道可靠),发出的信号不会被篡改。 二、Paxos算法 在Paxos算法中,有三种角色: proposer:提案Proposal提出者 Acceptor:决策者,可以批准议案 Learner:最终决策的学习者 Paxos算法安全性前提如下: 只有被提出的value才能被选定。 只有