Paxos Made Simple 读后感
近来在Cousera上学习 Cloud Computing Concept Part 1,其中涉及到了对Paxos算法的介绍。Paxos算法固然是比较难懂的,但是幸好有简化版论文 Paxos Made Simple,相对好理解很多,分享一下自己的理解。
Paxos算法的问题背景
分布式系统进程模型:多个分布式进程节点,彼此只能通过网络消息通信;整个系统是异步的,时钟可能不同步,时间流速也可能不同,消息可能丢失,乱序到达,也可能无限延迟,任一进程可能失败退出(但是至少超过半数节点存活并可以互相通信)。
分布式一致性问题:分布式系统中每个进程都有一个变量y,最初处于为未初始化状态,一旦变量y的值被确定,就不允许被修改;经过有限步骤,使得所有活着的进程都确定同一个y值,这就是一致性问题