这篇文章关于两阶段提交和Paxos讲的很好

Posted 笨鸟居士的博客

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了这篇文章关于两阶段提交和Paxos讲的很好相关的知识,希望对你有一定的参考价值。

 

http://blog.chinaunix.net/uid-16723279-id-3803058.html

两阶段提交协议与paxos投票算法

 

 

点评:2PC绝对是CP的死党,是分布式情况下强一致性算法,因此缺点也是很明显的,

    单点coordinator是个严重问题:

  1. 没有热备机制,coordinator节点crash了或者连接它的网路坏了会阻塞该事务;

  2. 吞吐量不行,没有充分发动数量更多的participants的力量,一旦某个participant第一阶段投了赞成票就得在他上面加独占锁,其他事务不得介入,直到当前事务提交or回滚

 

注:3PC能解决coordinator和participants都挂掉的情况。

 

paxos

Paxos算法是莱斯利·兰伯特(Leslie Lamport,就是 LaTeX 中的"La",此人现在在微软研究院)于1990年提出的一种基于消息传递且具有高度容错特性的一致性算法。

 

算法的核心过程分为两阶段

  1. prepare阶段:

  • a:proposer 选择一个提案编号 n 并将 prepare 请求发送给 足够多的acceptors

  • b:acceptor 收到 prepare 消息后,如果提案的编号大于它已经回复的所有 prepare 消息,则 acceptor 将自己上次接受的提案[2b]回复给 proposer,并承诺不再回复小于 n 的提案

  1. accept阶段:

  • a:当一个 proposor 收到了 acceptors 对 prepare 的回复后,就进入批准阶段。它要向回复 prepare 请求的 acceptors 发送 accept 请求,包括编号 n 和一个suitable value(下文会讲这个value的来头)

  • b:在不违背自己向其他 proposer 的承诺[1b]的前提下,acceptor 收到 accept 请求后丢弃曾经accept过的value[2b]接着接受这个请求并持久化

    本来还有第三阶段:proposer最终提交事务,它跟2PC的第二阶段基本一样:proposer收到过半的accept后向所有acceptor发布最终的决议(有的实现版本是由learner负责统计accept票数并发布决议,这里为了跟2PC作比较不特别区分)

 

proposer选择一个会自增的编号n,这个编号可以由一个统一的机构颁发,但是一定得保证从这里取得的编号是自增且唯一的(即多个proposer取到的编号存在时序关系);

名词解释

  1. 一个锁:当acceptor收到prepare消息后,当且仅当这是它见过的最大的编号n时,持久化该n,并将最近一次接受提案的value返回给propose,并加锁:在1b阶段只回复大于n的prepare消息,2b阶段不接受小于n的accept请求,对于大于n的的accept请求会被接受并导致该acceptor之前所接受过的value被清空

  2. suitable value:proposer收到足够多的prepare回复后,会决定出一个suitable value作为提案:在1b中如果收集到的每一种回复都不能形成多数派,也就是说acceptor的情况有点类似乌合之众,那么proposer就可以按照它的意愿来进行投票,即可以任意设置suitable value;如果收集到的某种value过半了,则将这个value作为suitable value发起accept请求

总结

paxos虽然也是分布式情况下强一致性算法,但他在2PC上至少有两点改进

  1. 不存在说网路问题导致事务阻塞甚至失败,尤其是连接coordinator的,因为paxos的角色是可以互串的,必要时participant也能充当coordinator

  2. 加在任何一个在1b2b阶段投了赞成票的participant上的锁是可以被砸开:只要新提案的编号更大,这样就提高吞吐量了,当然频繁的产生新proposer可能会导致活锁:永远无法达成协议,最好设置一个超时机制,过了一定的时间才产生一个proposer

 

 

以上是关于这篇文章关于两阶段提交和Paxos讲的很好的主要内容,如果未能解决你的问题,请参考以下文章

关于分布式事务两阶段提交协议三阶提交协议

关于分布式事务两阶段提交协议三阶提交协议

关于分布式事务两阶段提交协议三阶提交协议(转)

[高级]关于分布式事务两阶段提交协议三阶提交协议

最终一致性Basic-Paxos算法

MarsTalk | 如何给老婆讲懂两阶段提交