,最快更新刺激1995 !
驍龍總部在裝修的時(shí)候,考慮到公司內(nèi)部要經(jīng)常舉辦各種技術(shù)講座,把會(huì)議室造的很寬敞,會(huì)議桌也由6個(gè)獨(dú)立的小桌子組合而成,拆開之后給每個(gè)小桌子配上5個(gè)無靠背的塑料凳子,幾分鐘就可以把會(huì)議室變成能容納30多人聽講的多功能教室。
“狹義上的分布式系統(tǒng)是指通過網(wǎng)絡(luò)連接的計(jì)算機(jī)系統(tǒng),每個(gè)計(jì)算節(jié)點(diǎn)承擔(dān)獨(dú)立的計(jì)算和存儲(chǔ),通過網(wǎng)絡(luò)協(xié)同工作,其中以異步網(wǎng)絡(luò)為主,根據(jù)FLP原理,異步網(wǎng)絡(luò)默認(rèn)是不可靠的,因此我們需要采取一種機(jī)制解決Consensus問題,以保證每個(gè)主機(jī)的狀態(tài)最終達(dá)成相同一致性……”
“Consensus問題包含以下三個(gè)方面,第一,termination,所有進(jìn)程最終會(huì)在有限步數(shù)中結(jié)束并選取一個(gè)值,算法不會(huì)無盡執(zhí)行下去;第二,agreement,所有非故障進(jìn)程必須同意同一個(gè)值;第三,validity,最終達(dá)成一致的值必須是V1到Vn其中一個(gè),如果所有初始值都是vx,那么最終結(jié)果也必須是vx……”
驍龍總部面積有限,無法應(yīng)付幾百個(gè)網(wǎng)友同時(shí)參觀,所以采取了分時(shí)段參觀的策略,在互聯(lián)網(wǎng)大會(huì)舉辦期間,每天早、中、晚各安排一輛大巴車接網(wǎng)友過來,這樣三天下來,每個(gè)人都有充足的時(shí)間來參觀。
8月18日這天早上本來只安排專家和記者來參觀,不過有些心急的網(wǎng)友自己打車過來了,其中有不少是想來驍龍工作或者實(shí)習(xí)的程序員和在校學(xué)生,他們聽說杜秋寫了兩篇厲害的論文之后,也像金山三人組一樣產(chǎn)生了很大的好奇,因此當(dāng)學(xué)術(shù)研討會(huì)正式開始的時(shí)候,會(huì)議室里涌進(jìn)去了50多人,很多網(wǎng)友只能貼在墻邊站著聽。
“8老板說的到底是什么東西?每個(gè)字我都懂,合在一起卻不知道什么意思。”
“聽不懂正常,你看王師兄不也一臉迷糊么,他可是碩博連讀的高材生。”
“算了,我們還是去三江大學(xué)玩吧,別在這里當(dāng)木偶丟人現(xiàn)眼,8老板剛才說了,聽不懂隨時(shí)可以走人。”
當(dāng)杜秋對(duì)照提前準(zhǔn)備好的幻燈片,說完分布式系統(tǒng)中非常重要的FLP不可能原理之后,會(huì)議室里的聽眾已經(jīng)少了一大半,只剩下不足30個(gè)人了,其中一名40歲左右的教授開口說道:“小杜,這些基礎(chǔ)知識(shí)我們都知道,別浪費(fèi)時(shí)間了,直接講你研究的那個(gè)Paxos算法和Raft算法。”
“老潘你不要催,這個(gè)Paxos算法有點(diǎn)繞,不太容易理解,讓杜秋說細(xì)一點(diǎn),不然等會(huì)我這兩個(gè)學(xué)生可能聽不懂。”
網(wǎng)友們走了之后,會(huì)議室里最迷糊的就是各種專業(yè)媒體的記者了,他們雖然掛著專業(yè)媒體的頭銜,其實(shí)都來自《電腦報(bào)》《中國(guó)計(jì)算機(jī)報(bào)》《電腦愛好者》之類的通俗刊物,并不是真正的專業(yè)人士,同樣聽不懂充斥著英文術(shù)語(yǔ)和數(shù)學(xué)公式的學(xué)術(shù)論文。
但是這些記者一個(gè)都沒走,因?yàn)樵谘杏憰?huì)開始之前,劉運(yùn)來給他們每人發(fā)了一份參加會(huì)議的專家名單,每位專家后面列了一大排學(xué)歷、頭銜、職稱、獲獎(jiǎng)記錄等光鮮亮麗的信息,其中履歷最短的都是一流名校的在讀博士,而且是出國(guó)渡過金的那種。
這么多牛逼的專家,不遠(yuǎn)千里來到云城,聽杜秋這么一個(gè)小學(xué)畢業(yè)證都沒有的人講課,居然還有教授擔(dān)心帶的博士聽不懂……
這可是個(gè)非常有噱頭,非常能吸引眼球的大新聞!
有個(gè)女記者趁著杜秋喝水的間隙,拍了拍前排一名20多歲,看起來像是在讀博士的專家,輕聲問道:“杜秋研究的東西很厲害?”
“他的論文學(xué)術(shù)價(jià)值很高,得到了好幾位國(guó)際頂級(jí)學(xué)者的肯定,其中包括1992年圖靈獎(jiǎng)獲得者巴特勒-蘭普森。”
圖靈獎(jiǎng)是美國(guó)計(jì)算機(jī)協(xié)會(huì)于1966年設(shè)立的獎(jiǎng)項(xiàng),專門表彰對(duì)計(jì)算機(jī)事業(yè)做出重要貢獻(xiàn)的個(gè)人,獲獎(jiǎng)條件要求很高,評(píng)選程序極為嚴(yán)格,因此有“計(jì)算機(jī)界諾貝爾獎(jiǎng)”之稱,每一個(gè)獲獎(jiǎng)?wù)叨际橇瞬黄鸬目茖W(xué)巨人,那名記者這才明白這些專家為什么會(huì)來云城了,于是又問道:“杜秋的論文發(fā)在哪個(gè)權(quán)威期刊上?”
“互聯(lián)網(wǎng)。”那名專家言有些不耐煩,頭也不回的提醒道:“別說話,杜秋要開始正式講Paxos算法了。”
“Paxos算法是美國(guó)著名分布式系統(tǒng)專家萊斯利-蘭伯特于1990年提出的,因?yàn)锳CM-TOCS——也就是《美國(guó)計(jì)算機(jī)學(xué)會(huì)計(jì)算機(jī)系統(tǒng)匯刊》——的評(píng)審委員們沒有看懂他的論文,拒絕刊登,于是他把論文發(fā)布在了互聯(lián)網(wǎng)上,我3月份去美國(guó)出差的時(shí)候,因?yàn)闀r(shí)差的原因,晚上睡不著覺,就下載了這篇論文……”
記者們本來被枯燥而又深?yuàn)W的論文折磨的昏昏欲睡,聽了這番話立刻精神大振,因?yàn)檫@又是一個(gè)非常有噱頭的新聞素材。
《美國(guó)計(jì)算機(jī)學(xué)會(huì)計(jì)算機(jī)系統(tǒng)匯刊》是計(jì)算機(jī)行業(yè)里最權(quán)威的國(guó)際頂級(jí)期刊之一,世界上居然還有連他們?cè)u(píng)審委員都看不懂的論文,難怪剛才有教授擔(dān)心自己的學(xué)生聽不懂……
可是杜秋居然看懂了!
剛才那名女記者腦洞大開,忽然想到了愛因斯坦,據(jù)說愛因斯坦的《相對(duì)論》發(fā)表的時(shí)候也沒人看得懂,后來卻直接或者間接的催生出了好多個(gè)諾貝爾獎(jiǎng)獲得者,圖靈獎(jiǎng)是計(jì)算機(jī)界的諾貝爾獎(jiǎng),杜秋的論文既然能得到巴特勒-蘭普森的肯定,以后說不定也能拿圖靈獎(jiǎng)。
要是連小學(xué)都沒畢業(yè)的杜秋拿到了圖靈獎(jiǎng),不知道那些大學(xué)里的教授做何感想……
這個(gè)新聞太有意思了,我得想個(gè)勁爆點(diǎn)的標(biāo)題……
如果杜秋有透視思維的能力,一定很欣賞這名記者的想象力,因?yàn)閺哪撤N意義上來說,Paxos算法不管是重要性還是故事性,確實(shí)和相對(duì)論有點(diǎn)類似——相對(duì)論是現(xiàn)代物理學(xué)的基石,催生出了量子物理,改變了世界,Paxos算法則是分布式系統(tǒng)的基石,催生出了云計(jì)算,改變了互聯(lián)網(wǎng)。
甚至Paxos算法的發(fā)明人萊斯利-蘭伯特也和愛因斯坦有相似的地方,不僅學(xué)術(shù)成就非凡,碩果累累,而且特立獨(dú)行,個(gè)性鮮明,1990年他提出Paxos算法的時(shí)候,虛構(gòu)了一個(gè)希臘城邦,以講故事的形式推演算法,ACM-TOCS的評(píng)審看不懂,讓他修改,他以“為什么搞基礎(chǔ)理論的人一點(diǎn)幽默感都沒有呢?”為理由拒絕了,然后把論文直接放在了互聯(lián)網(wǎng)上。
90年代初互聯(lián)網(wǎng)的影響力還不夠大,這篇論文發(fā)出之后石沉大海,無人問津,直到1996年的時(shí)候,圖靈獎(jiǎng)得主巴特勒-蘭普森發(fā)現(xiàn)了這篇論文,他看懂了,然后向業(yè)內(nèi)大力推薦,這才引起了重視,1998年ACM-TOCS重新刊發(fā)了這篇論文的時(shí)候,萊斯利-蘭伯特根本不鳥編輯,堅(jiān)持一字不改,編輯無可奈何,只好寫了個(gè)注解自嘲,說不是他們當(dāng)年沒看懂,只是忘記發(fā)表了……
然而Paxos算法確實(shí)深?yuàn)W難懂,論文發(fā)表之后業(yè)內(nèi)普遍反應(yīng)看不懂,根本沒法實(shí)現(xiàn),于是萊斯利-蘭伯特在2001年重新寫了個(gè)《Paxos化繁為簡(jiǎn)》的論文,一個(gè)數(shù)學(xué)公式都不用,以邏輯推理的方式把Paxos算法解釋了一遍,這才讓Paxos算法變得比較容易理解了。
事實(shí)上“比較容易理解”僅限于那些技術(shù)牛人,對(duì)普通程序員和在校學(xué)生來說,哪怕到了2016年,Paxos算法仍舊是令人深惡痛絕的玩意,所以業(yè)內(nèi)有句話廣為流傳:過去的十幾年里,把分布式一致性協(xié)議做對(duì)了的只有一個(gè),那就是paxos自己。
然而Paxos算法是分布式系統(tǒng)中最重要的基礎(chǔ)算法,所以另外還有一句話同樣廣為流傳:世界上只有一種一致性算法,那就是Paxos,其它的算法都是殘次品。
為了解決Poxas算法難以理解的困局,在2013年的時(shí)候,斯坦福大學(xué)的兩名博士寫了一篇《尋找一種易于理解的一致性算法》的論文,推出了一種名為Raft的算法,它其實(shí)是Poxas算法的改進(jìn)型簡(jiǎn)化版,因?yàn)楹?jiǎn)單、易懂、易實(shí)現(xiàn),一經(jīng)推出,立刻受到了業(yè)界的歡迎,很快得到了應(yīng)用。
杜秋為了給自己刷聲望,5月份從筆記本電腦里翻出《Paxos化繁為簡(jiǎn)》和《尋找一種易于理解的一致性算法》兩篇論文,6月份去微軟工作的時(shí)候,搞到了巴特勒-蘭普森的電子郵件地址,把稍作修改之后的論文發(fā)給了他,等7月中旬離開美國(guó)的時(shí)候,兩人已經(jīng)通過電子郵件互相交流了十多次,并得到了麻省理工學(xué)院和斯坦福大學(xué)幾位教授的關(guān)注。
在回國(guó)之后,杜秋爭(zhēng)取到了這些人的同意,把電子郵件中和Paxos算法有關(guān)的內(nèi)容打印出來,通過劉運(yùn)來的運(yùn)作,傳播到中科院以及各所大學(xué)里,立刻引起了國(guó)內(nèi)很多專家的重視,一方面巴特勒-蘭普森聲名卓著,分量十足,另一方面Paxos算法的發(fā)明人萊斯利-蘭伯特并非無名小卒,早在70年代末就已經(jīng)是分布式系統(tǒng)領(lǐng)域里的大神了,學(xué)術(shù)成果很多,未來將會(huì)在2013年拿到圖靈獎(jiǎng)。
要知道隨著互聯(lián)網(wǎng)的發(fā)展,對(duì)計(jì)算和存儲(chǔ)的要求越來越高,傳統(tǒng)的單機(jī)服務(wù)器肯定無法滿足需要,分布式系統(tǒng)是未來發(fā)展的方向,而一致性問題是這個(gè)領(lǐng)域里熱門研究對(duì)象,現(xiàn)在忽然冒出來了一個(gè)Paxos算法,如果能抓住機(jī)會(huì),趕在其他人還沒開始研究之前,搗鼓幾篇論文出來,刊登在頂級(jí)期刊上的幾率會(huì)比較大,以后評(píng)職稱,搶經(jīng)費(fèi)就不用愁了。
“……以上就是Paxos算法的圖解和數(shù)學(xué)證明。”杜秋講解完之后,看了看時(shí)間,宣布道:“已經(jīng)11點(diǎn)半了,今天就說到這里吧,關(guān)于Raft算法,我們明天再討論。”
“哎哎哎,我說小杜,你這不是吊人胃口嘛,等明天黃花菜都涼了,今天下午繼續(xù)吧。”
“就是啊,既然是研討會(huì),你不能說完了就跑,我們憋了一肚子問題還沒討論呢。”
“我下午還要參加云城市政府舉辦的新聞發(fā)布會(huì),實(shí)在沒辦法。”杜秋關(guān)掉了幻燈片,示意一名員工把窗簾打開,然后說道:“如果大家等不及,下午就由我們公司操作系統(tǒng)研發(fā)部的何力行何經(jīng)理來講Raft算法,何經(jīng)理在卡內(nèi)基-梅隆大學(xué)深造過,比我這種半桶水要強(qiáng)得多。”
坐在前排的何力行配合著站了起來,他不善言辭,奉行少說多做的原則,什么場(chǎng)面話都沒說,鞠了個(gè)躬之后又坐了回去。
“何經(jīng)理對(duì)Raft算法的工程實(shí)現(xiàn)很有心得,上個(gè)月寫了一篇論文,巴特勒-蘭普森看過之后認(rèn)為很有價(jià)值,推薦他向《IEEE-Transaction-on-Computers》投稿。”
IEEE是電氣電子工程師學(xué)會(huì)的簡(jiǎn)寫,《IEEE-Transaction-on-Computers》是其旗下計(jì)算機(jī)領(lǐng)域里的頂級(jí)期刊,國(guó)內(nèi)能發(fā)在這本刊物上的論文少之又少,此言一出,很多專家的眼睛都亮了,杜秋則笑了。
熙來攘往,皆為名利,一手揮舞鈔票,一手握著學(xué)術(shù),高薪和榮譽(yù)雙管齊下,不愁人才不來投奔……
如果進(jìn)展順利的話,等明年的這個(gè)時(shí)候,就可以創(chuàng)辦驍龍研究院,和IBM以及微軟爭(zhēng)奪國(guó)內(nèi)的高端人才了……