骁龙总部在装修的时候,考虑到公司内部要经常举办各种技术讲座,把会议室造的很宽敞,会议桌也由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以及微软争夺国内的高端人才了……