骁龙总部在装修的时候，考虑到公司内部要经常举办各种技术讲座，把会议室造的很宽敞，会议桌也由6个独立的小桌子组合而成，拆开之后给每个小桌子配上5个无靠背的塑料凳子，几分钟就可以把会议室变成能容纳30多人听讲的多功能教室。

“狭义上的分布式系统是指通过网络连接的计算机系统，每个计算节点承担独立的计算和存储，通过网络协同工作，其中以异步网络为主，根据flp原理，异步网络默认是不可靠的，因此我们需要采取一种机制解决consensus问题，以保证每个主机的状态最终达成相同一致性……”

“consensus问题包含以下三个方面，第一，termination，所有进程最终会在有限步数中结束并选取一个值，算法不会无尽执行下去；第二，agreement，所有非故障进程必须同意同一个值；第三，validity，最终达成一致的值必须是v1到vn其中一个，如果所有初始值都是vx，那么最终结果也必须是vx……”

骁龙总部面积有限，无法应付几百个网友同时参观，所以采取了分时段参观的策略，在互联网大会举办期间，每天早、中、晚各安排一辆大巴车接网友过来，这样三天下来，每个人都有充足的时间来参观。

8月18日这天早上本来只安排专家和记者来参观，不过有些心急的网友自己打车过来了，其中有不少是想来骁龙工作或者实习的程序员和在校学生，他们听说杜秋写了两篇厉害的论文之后，也像金山三人组一样产生了很大的好奇，因此当学术研讨会正式开始的时候，会议室里涌进去了50多人，很多网友只能贴在墙边站着听。

“8老板说的到底是什么东西？每个字我都懂，合在一起却不知道什么意思。”

“听不懂正常，你看王师兄不也一脸迷糊么，他可是硕博连读的高材生。”

“算了，我们还是去三江大学玩吧，别在这里当木偶丢人现眼，8老板刚才说了，听不懂随时可以走人。”

当杜秋对照提前准备好的幻灯片，说完分布式系统中非常重要的flp不可能原理之后，会议室里的听众已经少了一大半，只剩下不足30个人了，其中一名40岁左右的教授开口说道：“小杜，这些基础知识我们都知道，别浪费时间了，直接讲你研究的那个paxos算法和raft算法。”

“老潘你不要催，这个paxos算法有点绕，不太容易理解，让杜秋说细一点，不然等会我这两个学生可能听不懂。”

网友们走了之后，会议室里最迷糊的就是各种专业媒体的记者了，他们虽然挂着专业媒体的头衔，其实都来自《电脑报》《中国计算机报》《电脑爱好者》之类的通俗刊物，并不是真正的专业人士，同样听不懂充斥着英文术语和数学公式的学术论文。

但是这些记者一个都没走，因为在研讨会开始之前，刘运来给他们每人发了一份参加会议的专家名单，每位专家后面列了一大排学历、头衔、职称、获奖记录等光鲜亮丽的信息，其中履历最短的都是一流名校的在读博士，而且是出国渡过金的那种。

这么多牛逼的专家，不远千里来到云城，听杜秋这么一个小学毕业证都没有的人讲课，居然还有教授担心带的博士听不懂……

这可是个非常有噱头，非常能吸引眼球的大新闻！

有个女记者趁着杜秋喝水的间隙，拍了拍前排一名20多岁，看起来像是在读博士的专家，轻声问道：“杜秋研究的东西很厉害？”

“他的论文学术价值很高，得到了好几位国际顶级学者的肯定，其中包括1992年图灵奖获得者巴特勒-兰普森。”

图灵奖是美国计算机协会于1966年设立的奖项，专门表彰对计算机事业做出重要贡献的个人，获奖条件要求很高，评选程序极为严格，因此有“计算机界诺贝尔奖”之称，每一个获奖者都是了不起的科学巨人，那名记者这才明白这些专家为什么会来云城了，于是又问道：“杜秋的论文发在哪个权威期刊上？”

“互联网。”那名专家言有些不耐烦，头也不回的提醒道：“别说话，杜秋要开始正式讲paxos算法了。”

“paxos算法是美国著名分布式系统专家莱斯利-兰伯特于1990年提出的，因为acm-tocs也就是《美国计算机学会计算机系统汇刊》的评审委员们没有看懂他的论文，拒绝刊登，于是他把论文发布在了互联网上，我3月份去美国出差的时候，因为时差的原因，晚上睡不着觉，就下载了这篇论文……”

记者们本来被枯燥而又深奥的论文折磨的昏昏欲睡，听了这番话立刻精神大振，因为这又是一个非常有噱头的新闻素材。

《美国计算机学会计算机系统汇刊》是计算机行业里最权威的国际顶级期刊之一，世界上居然还有连他们评审委员都看不懂的论文，难怪刚才有教授担心自己的学生听不懂……

可是杜秋居然看懂了！

刚才那名女记者脑洞大开，忽然想到了爱因斯坦，据说爱因斯坦的《相对论》发表的时候也没人看得懂，后来却直接或者间接的催生出了好多个诺贝尔奖获得者，图灵奖是计算机界的诺贝尔奖，杜秋的论文既然能得到巴特勒-兰普森的肯定，以后说不定也能拿图灵奖。

要是连小学都没毕业的杜秋拿到了图灵奖，不知道那些大学里的教授做何感想……

这个新闻太有意思了，我得想个劲爆点的标题……

如果杜秋有透视思维的能力，一定很欣赏这名记者的想象力，因为从某种意义上来说，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化繁为简》和《寻找一种易于理解的一致性算法》两篇论文，6月份去微软工作的时候，搞到了巴特勒-兰普森的电子邮件地址，把稍作修改之后的论文发给了他，等7月中旬离开美国的时候，两人已经通过电子邮件互相交流了十多次，并得到了麻省理工学院和斯坦福大学几位教授的关注。

在回国之后，杜秋争取到了这些人的同意，把电子邮件中和paxos算法有关的内容打印出来，通过刘运来的运作，传播到中科院以及各所大学里，立刻引起了国内很多专家的重视，一方面巴特勒-兰普森声名卓著，分量十足，另一方面paxos算法的发明人莱斯利-兰伯特并非无名小卒，早在70年代末就已经是分布式系统领域里的大神了，学术成果很多，未来将会在2013年拿到图灵奖。

要知道随着互联网的发展，对计算和存储的要求越来越高，传统的单机服务器肯定无法满足需要，分布式系统是未来发展的方向，而一致性问题是这个领域里热门研究对象，现在忽然冒出来了一个paxos算法，如果能抓住机会，赶在其他人还没开始研究之前，捣鼓几篇论文出来，刊登在顶级期刊上的几率会比较大，以后评职称，抢经费就不用愁了。

“……以上就是paxos算法的图解和数学证明。”杜秋讲解完之后，看了看时间，宣布道：“已经11点半了，今天就说到这里吧，关于raft算法，我们明天再讨论。”

“哎哎哎，我说小杜，你这不是吊人胃口嘛，等明天黄花菜都凉了，今天下午继续吧。”

“就是啊，既然是研讨会，你不能说完了就跑，我们憋了一肚子问题还没讨论呢。”

“我下午还要参加云城市政府举办的新闻发布会，实在没办法。”杜秋关掉了幻灯片，示意一名员工把窗帘打开，然后说道：“如果大家等不及，下午就由我们公司操作系统研发部的何力行何经理来讲raft算法，何经理在卡内基-梅隆大学深造过，比我这种半桶水要强得多。”

坐在前排的何力行配合着站了起来，他不善言辞，奉行少说多做的原则，什么场面话都没说，鞠了个躬之后又坐了回去。

“何经理对raft算法的工程实现很有心得，上个月写了一篇论文，巴特勒-兰普森看过之后认为很有价值，推荐他向《ieee-transaction-on-puters》投稿。”

ieee是电气电子工程师学会的简写，《ieee-transaction-on-puters》是其旗下计算机领域里的顶级期刊，国内能发在这本刊物上的论文少之又少，此言一出，很多专家的眼睛都亮了，杜秋则笑了。

熙来攘往，皆为名利，一手挥舞钞票，一手握着学术，高薪和荣誉双管齐下，不愁人才不来投奔……

如果进展顺利的话，等明年的这个时候，就可以创办骁龙研究院，和ibm以及微软争夺国内的高端人才了……