paxos运用场景看懂了一些

paxos算法之前就听说过,一直知道是个高大上的算法,但是一直都没看懂用在什么地方.

今天看了一些,懂了一点点,在这里做个记录.

算法的内容大概写一下(一些术语需要看看原文):

1.准备(prepare):Proposer首先选择一个提议序号n给其他的acceptor节点发送prepaer消息.Acceptor收到prepaer消息后,如果提议的序号大于他已经回复的所有prepare消息,则acceptor将自己上次接受的提议回复给proposer,并承诺不再回复小于n的提议.

2.批准(accept):Proposer收到了acceptor中的多数派对prepare的回复后,就进入批准阶段.如果在之前的prepaer阶段acceptor回复了上次接受的提议,那么proposer选择其中序号最大的提议值发给acceptor批准;否则,proposer生成一个新的提议值发给acceptor批准.Acceptor在不违背他之前在prepare阶段的承诺前提下,接受这个请求

3.确认(acknowledge):如果超过一般的acceptor接受,提议值生效.Proposer发送acknowledge消息通知所有acceptor提议生效(自己的理解应该是通知learner,去学习acceptor通过的这次决议,学习成功则完成这一次决议的提交.)

以前一直不知道这个算法的具体用途,今天可能理解到了一些,如有不对请不吝指正.该算法时保证数据的一致性的,特别是有多副本的情况下.举一个列子,一个分布式存储系统中,存储的副本数量为N,在写入操作时(流程类似GFS),需要选择一个主副本,然后主副本需要将写入的内容推送到其他从副本中去,只有大多数副本写成功,才会返回成功.那么如果出现两个写操作同时写同一个内容,那么就会出现不一致,因为两个写操作可能选择了不同的副本作为主副本,那么这两个住副本同时去向其他从副本推送修改的内容,就会出现不一致,所以paxos算法就是解决类似这样的问题.