VIP小说 通过搜索各大小说站为您自动抓取各类小说的最快更新供您阅读!

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

VIP小说推荐阅读:都市极品医神叶辰拒绝我表白,咋疯狂爱上我了?沈先生,你的黑心小祖宗回来了迎良人石柱成精世间恶魔皆为我所创我只是个医圣而已盛宴吞噬黑暗法师!我即是天魔明日超凡外卖小哥都市奢华生活大佬压力大寒门崛起之从少校晋升将军超级返现:冰山美人爱上我高武:吾既修罗,杀戮成神娱乐:谁说渔民就不能搞艺术了?父母被杀后,我化身恶魔复仇万古神帝穿越六零,我疯狂点亮技能神瞳弃少妾要休夫:冷情王爷快放手三界时空旁听生emo:开局吐槽前女友暴君的醋坛子又翻了娱乐没有圈:重生影后,狠嚣张爱若繁花盛开重生甜蜜蜜:老婆,乖一点!穿越,我在异世做反派很晚遇见你都市无敌战兵华娱之出道即巅峰盛宠医妃:十九爷,别撩火异虫迷城:触手娘的养育手册重返风华年代我扶男二上位后寻锦春穿成恶毒女配后我成功洗白这没名没分的日子我不过了开局被催债,眼睛突然能扫码退婚后,病娇王爷宠我如珠似宝渔夫逆袭:开局救美,渔获满舱古穿今之武戏女王我有一个工业世界土拨鼠拨土重生之重来的话我来到这个年代病娇女总裁爱上我婚约对象是七位师姐,我要退婚!赐光系列一捻暗女院长的私房高手
VIP小说搜藏榜:纵横港综:你管这叫差佬?香江:王者崛起神瞳弃少妾要休夫:冷情王爷快放手三界时空旁听生emo:开局吐槽前女友暴君的醋坛子又翻了娱乐没有圈:重生影后,狠嚣张爱若繁花盛开重生甜蜜蜜:老婆,乖一点!穿越,我在异世做反派很晚遇见你都市无敌战兵华娱之出道即巅峰盛宠医妃:十九爷,别撩火异虫迷城:触手娘的养育手册重返风华年代我扶男二上位后寻锦春穿成恶毒女配后我成功洗白这没名没分的日子我不过了开局被催债,眼睛突然能扫码退婚后,病娇王爷宠我如珠似宝渔夫逆袭:开局救美,渔获满舱古穿今之武戏女王我有一个工业世界土拨鼠拨土重生之重来的话我来到这个年代病娇女总裁爱上我婚约对象是七位师姐,我要退婚!赐光系列一捻暗女院长的私房高手末世:我靠空间农场娇养女神军团乡村神医:树先生护花狂龙圣幕之下:我收到一封信开始空间锦鲤:带着全家穿六零劈天斩神秦时明月之无限打卡陆先生余生请多指教直播之随身厨房极品尤物军团暴富人生都市之极道魔医囚禁了,女尊的双生病娇好可怕!清穿直播后我靠美食火了驭手亮剑:云龙兄,我魏大勇又升官了
VIP小说最新小说:大文豪的日常生活罗家大院分流技校后:转身成为高武状元失恋小伙闯非洲我用兔字来筑基灵界搅屎棍豪门战神:我的穿越复仇路我,唯一异能者,缔造超凡组织御灵师:开局一修女,经验全靠奶皓月和正义觉醒狼人系统,一统美利坚护国十二神枪,请随我踏阵斩鬼西南往事:三十年江湖风云黑神话:华夏无3A?天命惊全球一剑断山河,你管这叫异能?重生获得男神系统,但变身女生大一开学:我开启神豪生活逼我叛出家门,为什么又求我回来墨浅绘流年校花强制奔现?神级天赋我摊牌了官路问鼎:一个农家子弟的逆袭万亿打赏金,我在抖音称王!游戏:我的哥布林有点不一样官场争锋:我上京告御状天命主角,谁说配角不能逆袭重生之白手起家:我要做大富豪爱意回声被小妈羞辱后,我彻底无敌了盘古纪元重生1995年,从拒绝当油耗子开始我在校园当最强关系户地龙做驭兽最终化成龙女友小我12岁又娇又辣被天道意志坑了的我海洋捕鱼:一网下去全是哥斯拉重生幼儿园,系统让我攻略青梅?我活到了三千年造化领主:一天一个传说兵种!神豪:从手撕未婚妻一家开始高武:我的金手指是地球亿万观众卡牌:少年的救赎直播:我一天一个女嘉宾嫡姐清高了不起,这次换我来逆袭神豪奶爸:校花给我生了对龙凤胎震惊:你开劳斯跑网约车?蒸蒸日上,全力氪金,言贵者斩让你寻宝,你却寻这么多红粉佳人不要叫我院士,叫我宗主大人!吾建立御兽学院,阻魔神大夏之外绑架小天后,把她捧成国际巨星