主要事跡
1992年度的圖靈獎(jiǎng)授予當(dāng)時(shí)任DEC公司高級(jí)研究員和主任設(shè)計(jì)師的巴特勒·拉姆潑遜(ButlerWrightLampson)。
對(duì)于中國(guó)讀者來(lái)說(shuō),拉姆潑遜的名字已并不陌生,因?yàn)樗?998年6月曾與R.Reddy(雷蒂見(jiàn)“圖靈獎(jiǎng)得主簡(jiǎn)介”之六)一起到北京參加了由《計(jì)算機(jī)世界》和微軟中國(guó)研究院主辦的“21世紀(jì)的計(jì)算學(xué)術(shù)研討會(huì)”暨“中美頂級(jí)計(jì)算機(jī)科學(xué)家高峰對(duì)話(huà)”。會(huì)上,他發(fā)表了“21世紀(jì)的計(jì)算研究”的精彩演講。
拉姆潑遜首次接觸計(jì)算機(jī)是在哈佛上物理課的時(shí)候。當(dāng)時(shí)他的老師手里有個(gè)課題,要用計(jì)算機(jī)分析火花塞的照片,老師讓拉姆潑遜在PDP1上編制有關(guān)程序,從此他喜歡上了計(jì)算機(jī)。進(jìn)伯克利以后他上的是物理系,那時(shí)伯克利正研制第一個(gè)商用的分時(shí)系統(tǒng)SDS940,拉姆潑遜從一個(gè)朋友處知道了這一情況,極感興趣,并積極爭(zhēng)取參加了這一項(xiàng)目。從此,他放棄了物理而進(jìn)入計(jì)算機(jī)這一殿堂。
拉姆潑遜是一個(gè)興趣廣泛、多才多藝的計(jì)算機(jī)專(zhuān)家。他在硬件、軟件、程序設(shè)計(jì)語(yǔ)言、應(yīng)用系統(tǒng)、網(wǎng)絡(luò)……諸多方面都有許多成果,他擁有的專(zhuān)利數(shù)量就多達(dá)25項(xiàng)。由于篇幅所限,本文在此不可能一一列出他的成果,下面只 給出拉姆潑遜主持或參與開(kāi)發(fā)的主要產(chǎn)品和系統(tǒng)的一個(gè)小清單:
硬件系統(tǒng):在PARC時(shí)有以太網(wǎng),Alto和Dorado計(jì)算機(jī)。其中,Alto是世界上第一臺(tái)個(gè)人計(jì)算機(jī)系統(tǒng)?上erox公司沒(méi)有將其商品化,但Apple公司的人在參觀了Alto以后開(kāi)發(fā)出了著名的Apple電腦流行于世。在DEC時(shí),拉姆潑遜主持了Alpha工作站體系結(jié)構(gòu)的設(shè)計(jì),這是當(dāng)前世界上最負(fù)盛名、最快的64位工作站。
軟件系統(tǒng):SDS940和Alto的操作系統(tǒng)。
程序設(shè)計(jì)語(yǔ)言:LISP,Mesa,Euclid,SNOBOL。
應(yīng)用系統(tǒng):Bravo編輯器,Star辦公系統(tǒng)。網(wǎng)絡(luò):Dover網(wǎng)絡(luò)打印機(jī),Grapevine電子郵件系統(tǒng)。
大家都知道,C語(yǔ)言是在B(BCPL)語(yǔ)言的基礎(chǔ)上發(fā)展起來(lái)的。但據(jù)拉姆潑遜自己在一次接受采訪(fǎng)時(shí)透露,他和PeterDeutsch還設(shè)計(jì)過(guò)一種語(yǔ)言,并實(shí)現(xiàn)了這種語(yǔ)言的編譯器,也是C語(yǔ)言的前身。
拉姆潑遜之所以有如此豐碩的成果,除了他的勤奮以外,一個(gè)很重要的因素是他既十分重視學(xué)習(xí)和繼承,又敢于和善于創(chuàng)新。以拉姆潑遜在70年代開(kāi)發(fā)的第一個(gè)交互式的編輯器/格式化器Bravo為例,據(jù)拉姆潑遜本人介紹,就是他在Engelbart(見(jiàn)“圖靈獎(jiǎng)得主簡(jiǎn)介”之二)推出的“在線(xiàn)系統(tǒng)”NLS(ONLineSystem,這是一個(gè)用鼠標(biāo)定位和操作的全屏幕顯示的結(jié)構(gòu)化文本編輯器)的基礎(chǔ)上,加上他在解決“文本如何表示”和“如何更有效地對(duì)文本進(jìn)行修改”這兩個(gè)問(wèn)題上的新的構(gòu)思而開(kāi)發(fā)成功的。Bravo后來(lái)被進(jìn)一步發(fā)展成為“所見(jiàn)即所得”(WYSIWYG)的系統(tǒng)。
重要著作
拉姆潑遜發(fā)表了不少論文,但出版著作不多,見(jiàn)到的重要著作是《分布式系統(tǒng)——體系結(jié)構(gòu)和實(shí)現(xiàn):高級(jí)課程》(《DistributedSystem—ArchitectureandImplementation:anAdvancedCourse》,Springer1,1981)
成就與貢獻(xiàn)
拉姆潑遜從1987年起就一直擔(dān)任MIT的兼職教授,被選為美國(guó)科學(xué)院和美國(guó)工程院院士。
除了在系統(tǒng)開(kāi)發(fā)方面的諸多貢獻(xiàn)之外,拉姆潑遜在解決計(jì)算機(jī)文件系統(tǒng)和分布式系統(tǒng)的技術(shù)問(wèn)題上也有許多突出的貢獻(xiàn)。例如,70年代中期,拉姆潑遜在設(shè)計(jì)一個(gè)文件系統(tǒng)時(shí)就提出了“原子事務(wù)”(atomictransaction)的概念。在1979年舉行的一次可靠分布計(jì)算會(huì)議上,拉姆潑遜提出了采用“三明治式的提交協(xié)議”(sandwichcommitprotocol)提高系統(tǒng)可靠性的方案,等等在獲得圖靈獎(jiǎng)之前,拉姆潑遜1948年就曾獲得過(guò)ACM的另一個(gè)獎(jiǎng)項(xiàng)——軟件系統(tǒng)獎(jiǎng)。1996年他又獲得了IEEE的一個(gè)崇高獎(jiǎng)項(xiàng):計(jì)算機(jī)先鋒獎(jiǎng)(ComputerPioneerAward),綜觀拉姆潑遜的成就和貢獻(xiàn)。