《美国计算机学管帐算机体系汇刊》是计算机行业里最权威的国际顶级期刊之一，天下上竟然另有连他们评审委员都看不懂的论文，难怪刚才有传授担忧本身的门生听不懂……
这么多牛逼的专家，不远千里来到云城，听杜秋这么一个小学毕业证都没有的人讲课，竟然另有传授担忧带的博士听不懂……
“老潘你不要催，这个Paxos算法有点绕，不太轻易了解，让杜秋说细一点，不然等会我这两个门生能够听不懂。”
如果杜秋有透视思惟的才气，必然很赏识这名记者的设想力，因为从某种意义上来讲，Paxos算法不管是首要性还是故事性，确切和相对论有点近似――相对论是当代物理学的基石，催生出了量子物理，窜改了天下，Paxos算法例是漫衍式体系的基石，催生出了云计算，窜改了互联网。
“何经理对Raft算法的工程实现很故意得，上个月写了一篇论文，巴特勒-兰普森看过以后以为很有代价，保举他向《IEEE-Transaction-on-Computers》投稿。”
“Consensus题目包含以下三个方面，第一，termination，统统过程终究会在有限步数中结束并拔取一个值，算法不会无尽履行下去；第二，agreement，统统非毛病过程必须同意同一个值；第三，validity，终究达成分歧的值必须是V1到Vn此中一个，如果统统初始值都是vx，那么终究成果也必须是vx……”
“8老板说的到底是甚么东西？每个字我都懂，合在一起却不晓得甚么意义。”
但是这些记者一个都没走，因为在研讨会开端之前，刘运来给他们每人发了一份插手集会的专家名单，每位专家前面列了一大排学历、头衔、职称、获奖记录等鲜敞亮丽的信息，此中经历最短的都是一流名校的在读博士，并且是出国度过金的那种。
究竟上“比较轻易了解”仅限于那些技术牛人，对浅显法度员和在校门生来讲，哪怕到了2016年，Paxos算法仍旧是令人深恶痛绝的玩意，以是业内有句话广为传播：畴昔的十几年里，把漫衍式分歧性和谈做对了的只要一个，那就是paxos本身。
这个消息太成心机了，我得想个劲爆点的题目……
这但是个非常有噱头，非常能吸引眼球的大消息！
当杜秋对比提早筹办好的幻灯片，说完漫衍式体系中非常首要的FLP不成能道理以后，集会室里的听众已经少了一大半，只剩下不敷30小我了，此中一名40岁摆布的传授开口说道：“小杜，这些根本知识我们都晓得，别华侈时候了，直接讲你研讨的阿谁Paxos算法和Raft算法。”
90年代初互联网的影响力还不敷大，这篇论文收回以后石沉大海，无人问津，直到1996年的时候，图灵奖得主巴特勒-兰普森发明了这篇论文，他看懂了，然后向业内大力保举，这才引发了正视，1998年ACM-TOCS重新刊发了这篇论文的时候，莱斯利-兰伯特底子不鸟编辑，对峙一字不改，编辑无可何如，只好写了个注解自嘲，说不是他们当年没看懂，只是健忘颁发了……
但是Paxos算法确切通俗难懂，论文颁发以后业内遍及反应看不懂，底子没法实现，因而莱斯利-兰伯特在2001年重新写了个《Paxos化繁为简》的论文，一个数学公式都不消，以逻辑推理的体例把Paxos算法解释了一遍，这才让Paxos算法变得比较轻易了解了。