Paxos made simple 论文导读

Posted 木鸟杂记

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Paxos made simple 论文导读相关的知识,希望对你有一定的参考价值。

引子

Paxos 是分布式系统中绕不过去的一个算法,但出了名的难以理解。因此我看到 Paxos 也是一直绕着走,但是绕的多了总感觉有些遗憾。于是过去一周闲暇时间搜集了很多资料,尝试了很多打开方式,总算初窥门径。便趁着新鲜,将脑中的理解赶到纸上,做个小结,以备后日不时之需。

Paxos 算法的发明人 Leslie Lamport  是分布式系统的奠基人之一,轶事颇多,从 Paxos 这个名字也能窥得一斑:Paxos 是 Lamport 为了引出分布式系统共识问题,所虚拟的一个古希腊城邦。在最初的相关论文 The Part-Time Parliament 发表于 1998 年后,很多人都表示理解不能。于是 Lamport 在  2001 年,又使用相对简练的语言和逻辑,将其主干思想重新阐述了一遍,便有了 Paxos made simple。

Lamport 在 Paxos made simple 论文的摘要只有一句话:

The Paxos algorithm, when presented in plain English, is very simple

然而,我却无法理解这种 simple。

以上是关于Paxos made simple 论文导读的主要内容,如果未能解决你的问题,请参考以下文章

【翻译】paxos made simple

Paxos Made Simple(译)

Paxos Made Simple(译)

《Paxos Made Simple》翻译

理解Paxos Made Practical

[Coding Made Simple] Box Stacking