想……
这个新闻太有意思了,我得想个劲爆点的标题……
如果杜秋有透视思维的能力,一定很欣赏这名记者的想象力,因为从某种意义上来说,Paxos算法不管是重要性还是故事性,确实和相对论有点类似――相对论是现代物理学的基石,催生出了量子物理,改变了世界,Paxos算法则是分布式系统的基石,催生出了云计算,改变了互联网。
甚至Paxos算法的发明人莱斯利-兰伯特也和爱因斯坦有相似的地方,不仅学术成就非凡,硕果累累,而且特立独行,个性鲜明,1990年他提出Paxos算法的时候,虚构了一个希腊城邦,以讲故事的形式推演算法,ACM-TOCS的评审看不懂,让他修改,他以“为什么搞基础理论的人一点幽默感都没有呢?”为理由拒绝了,然后把论文直接放在了互联网上。
90年代初互联网的影响力还不够大,这篇论文发出之后石沉大海,无人问津,直到1996年的时候,图灵奖得主巴特勒-兰普森发现了这篇论文,他看懂了,然后向业内大力推荐,这才引起了重视,1998年ACM-TOCS重新刊发了这篇论文的时候,莱斯利-兰伯特根本不鸟编辑,坚持一字不改,编辑无可奈何,只好写了个注解自嘲,说不是他们当年没看懂,只是忘记发表了……
然而Paxos算法确实深奥难懂,论文发表之后业内普遍反应看不懂,根本没法实现,于是莱斯利-兰伯特在2001年重新写了个《Paxos化繁为简》的论文,一个数学公式都不用,以逻辑推理的方式把Paxos算法解释了一遍,这才让Paxos算法变得比较容易理解了。
事实上“比较容易理解”仅限于那些技术牛人,对普通程序员和在校学生来说,哪怕到了2016年,Paxos算法仍旧是令人深恶痛绝的玩意,所以业内有句话广为流传:过去的十几年里,把分布式一致性协议做对了的只有一个,那就是paxos自己。
然而Paxos算法是分布式系统中最重要的基础算法,所以另外还有一句话同样广为流传:世界上只有一种一致性算法,那就是Paxos,其它的算法都是残次品。
为了解决Poxas算法难以理解的困局,在2013年的时候,斯坦福大学的两名博士写了一篇《寻找一种易于理解的一致性算法》的论文,推出了一种名为Raft的算法,它其实是Poxas算法的改进型简化版,因为简单、易懂、易实现,一经推出,立刻受到了业界的欢迎,很快得到了应用。
杜秋为了给自己刷声望,5月份从笔记本电脑里翻出《Paxos化繁为简》和《寻找一种易于理解的一致性算法
请收藏:https://m.jmss.cc
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)