发布于2020-10-25 14:16
本文链接:https://blog.openacid.com/algo/quorum/
前言paxos可以看做是2次多数派读写)完成一次强一致读写.多数派要求半数以上的参与者(paxos中的Acceptor)接受某笔操作.但多数派读写)并不一定需要多于半数的参与者,分布式系统中某些场合的优化,可以通过减少参与者数量来完成的.
多数派读写:分布式系统的基础分布式系统中,其中一个基础的问题是如何在不可靠硬件(低可用性)基础上构建可靠(高可用性)的服务,要达成这个目标,核心的手段就是复制(例如一份数据存3个副本).而复制过程中的一致性问题,最后都归结为paxos的解决方案.这些我们在paxos的直观解释中做了详细的介绍.
在paxos的直观解释slide-20中,我们了解到,paxos是通过2次多数派读写)来完成强一致的读写:
这个方法之所以能工作也是因为多数派写中,一个系统最多只能允许一个多数派写成功.paxos也是通过2次多数派读写来实现的强一致.
也就是说,多数派读写)在分布式领域是一个更基础的问题.在p 
发布于2020-10-14 14:23
本文链接:https://blog.openacid.com/algo/paxos/
前言paxos是什么?
在分布式系统中保证多副本数据强一致的算法.
paxos有啥用?
没有paxos的一堆机器,叫做分布式;有paxos协同的一堆机器,叫分布式系统.
GoogleChubby的作者MikeBurrows说过:
这个世界上只有一种一致性算法，那就是Paxos…
其他一致性算法,都可以看做paxos在实现中的变体和扩展.
另外一个经常被提及的分布式算法是raft,raft的贡献在于把一致性算法落地.因为LeslieLamport的理论很抽象,要想把他的理论应用到现实中,还需要工程师完全掌握他的理论再添加工程必要的环节才能跑起来.
经常有人问起raft和paxos的区别,或在实现中应该选择哪个,在不了解paxos之前可能会有这种疑问.对于这个问题,就像是被问及四则运算和算盘有什么区别,小店老板应该使用四则远算还是用算盘结账一样.
记得LeslieLamport2015年时来了一次北京,那时会场上有人也问 
发布于2020-11-08 21:26
本文链接:https://blog.openacid.com/algo/paxoskv/
前言写完paxos的直观解释之后,网友都说疗效甚好,但是也会对这篇教程中一些环节提出疑问(有疑问说明真的看懂了🤔),例如怎么把只能确定一个值的paxos应用到实际场景中.
既然Talkischeap,那么就Showmethecode,这次我们把教程中描述的内容直接用代码实现出来,希望能覆盖到教程中的涉及的每个细节.帮助大家理解paxos的运行机制.
这是一个基于paxos,200行代码的kv存储系统的简单实现,作为paxos的直观解释这篇教程中的代码示例部分.Paxos的原理本文不再介绍了,本文提到的数据结构使用protobuf定义,网络部分使用grpc定义.另外200行go代码实现paxos存储.
文中的代码可能做了简化,完整代码实现在paxoskv这个项目中(naive分支).
运行和使用🚀
跑一下:
gitclonehttps://github.com/openacid/paxoskv.git
cdpaxos 
发表文章
提问
