paxos-分布式一致性协议.pptVIP

* 人们在研究Paxos时，很容易在这几个问题上纠结： 1）Paxos算法本身把一致性问题描述成了一个“游戏”场景，但是一致性问题究竟是个什么样的计算机系统问题？ 2）一致性问题的难点是什么呢？Paxos算法是怎样解决这些难点的？ Paxos算法分成两个阶段，那每个阶段都在做什么？ 3）Paxos算法解决的一致性问题和分布式存储有啥关系？怎么进行应用呢？ 我们今天首先会描述清楚Paxos希望解决的一致性问题。 以及如何在分布式存储系统里应用。 然后会按照循序渐进的方式，不断解决Paxos算法的难点， 直到最后引入Paxos算法。 那首先来看一下Paxos算法希望解决的计算机系统问题是什么，这个问题怎样应用再分布式存储系统里呢？ * 我们把确定Paxos希望解决的一致性问题定义为确定一个不可变变量的取值。 这个变量的取值可以为任意二进制数据。 初始为空，一旦被确定以后，不再更改。 因为变量取值确定后，不能再更改，所以我们称此值为不可变变量 那确定一个不可变变量在分布式存储系统里能干什么呢？ 我们知道分布式存储系统里数据是可变的，可以让多用户并发的增删改查。 如果各节点的初始状态一致，每个节点都执行相同的操作序列，那么他们最后能得到一个一致的状态。 即给并发乱序的更新操作定序，让多个副本按照 固定的操作序列【Op1, Op2, …, Opn】依次执行。 为保证每个节点执行相同