教師節(jié)特別篇：致敬那些“牛逼閃閃”的計(jì)算機(jī)領(lǐng)域大神

　　教師節(jié)特別篇

　　今天是教師節(jié)

　　我們向每一位教師

　　致以誠摯的問候

　　祝老師們節(jié)日快樂

　　本期我們將致敬

　　幾位計(jì)算機(jī)領(lǐng)域的院士

　　他們代表了最頂尖的

　　計(jì)算機(jī)科研成果

　　但他們同時(shí)也是一名普普通通、受人尊敬的教師，他們的職業(yè)始終是教育科研工作者，他們在奮戰(zhàn)在科研一線的同時(shí)，也一直在教書育人，傳承知識。

　　向大神致敬!

　　陳國良

　　并行算法、高性能計(jì)算大神

　　1938年出生。中國科學(xué)院院士、深圳大學(xué)和南京郵電大學(xué)教授。

　　主要成就

　　主要從事并行算法，計(jì)算機(jī)體系結(jié)構(gòu)，計(jì)算機(jī)網(wǎng)絡(luò)和神經(jīng)計(jì)算等研究。在高性能計(jì)算及其應(yīng)用研究方面，提出了“并行算法—并行機(jī)結(jié)構(gòu)—并行編程”一體化的研究方法。上世紀(jì)90年代，他開始從事高性能計(jì)算及其應(yīng)用研究，率先在國內(nèi)成立了第一個(gè)國家高性能計(jì)算中心。

　　重要觀點(diǎn)

　　國產(chǎn)計(jì)算機(jī)已經(jīng)不依賴進(jìn)口，應(yīng)乘勝追擊實(shí)現(xiàn)高水平科技自立自強(qiáng)，同時(shí)，國產(chǎn)計(jì)算機(jī)一定要服務(wù)于國民經(jīng)濟(jì)主戰(zhàn)場。

　　何積豐

　　計(jì)算機(jī)軟件大神

　　1943年出生，中國科學(xué)院院士、同濟(jì)大學(xué)教授。

　　主要成就

　　主要從事計(jì)算機(jī)軟件理論及應(yīng)用研究，針對軟件的復(fù)雜性、正確性和可靠性等問題開展系統(tǒng)性的研究。1986年和C.A.R.Hoare提出了“程序分解算子”。1995年與C.A.R.Hoare提出了程序設(shè)計(jì)統(tǒng)一理論和連接各類程序理論的數(shù)學(xué)法則。

　　重要觀點(diǎn)

　　對有海量用戶的軟件，證明技術(shù)的安全可信很有必要。如果零部件的安全性沒有保證，信息安全就做不到，現(xiàn)在是把可信軟件理論、人工智能與各行各業(yè)結(jié)合的好時(shí)機(jī)。

　　陸汝今

　　人工智能大神

　　1935年出生，中國科學(xué)院院士、復(fù)旦大學(xué)教授。

　　主要成就

　　主要以人工智能、知識工程和基于知識的軟件工程為主要研究方向，是中國該領(lǐng)域研究的開拓者之一，在國際上率先研究異構(gòu)型分布式人工智能(DAI)，把機(jī)器辯論引進(jìn)人工智能，設(shè)計(jì)并主持實(shí)現(xiàn)分布式邏輯推理和基于分布式推理的城市交通管理軟件等成果應(yīng)用。

　　重要觀點(diǎn)

　　對于一個(gè)人來說，想像力比知識更重要。如果一個(gè)人沒有想象力的話，就只能跟著別人后面走。應(yīng)該想別人沒想過的事情，走別人沒有走過的道路 。

　　楊芙清

　　計(jì)算機(jī)軟件大神和教育家

　　1932年出生。中國科學(xué)院院士、北京大學(xué)教授。

　　主要成就

　　長期從事系統(tǒng)軟件、軟件工程、軟件工業(yè)化生產(chǎn)技術(shù)和系統(tǒng)等方面的教學(xué)與研究工作。主持研制成功我國第一臺百萬次集成電路計(jì)算機(jī)多道運(yùn)行操作系統(tǒng)和第一個(gè)全部用高級語言書寫的操作系統(tǒng)。倡導(dǎo)和推動(dòng)成立北京大學(xué)計(jì)算機(jī)科技系。在國內(nèi)率先倡導(dǎo)軟件工程研究，創(chuàng)辦了國內(nèi)第一個(gè)軟件工程學(xué)科。

　　重要觀點(diǎn)

　　信息科學(xué)技術(shù)是一門交叉性、應(yīng)用性極強(qiáng)的學(xué)科，它跟其他學(xué)科領(lǐng)域相結(jié)合，可以促進(jìn)各個(gè)領(lǐng)域的信息化，從而促進(jìn)工業(yè)、農(nóng)業(yè)和國防等各個(gè)領(lǐng)域的現(xiàn)代化。

　　鄭緯民

　　網(wǎng)絡(luò)存儲和超算大神

　　1946年出生。中國工程院院士、清華大學(xué)教授。

　　主要成就

　　長期從事并行/分布處理、大規(guī)模數(shù)據(jù)存儲系統(tǒng)領(lǐng)域的科研與教學(xué)工作。帶領(lǐng)團(tuán)隊(duì)用一年的時(shí)間研制成功了中國當(dāng)時(shí)運(yùn)行頻率最高的高性能嵌入式CPU-THUMP107。在網(wǎng)絡(luò)存儲方面，研制的“高可擴(kuò)展海量存儲網(wǎng)絡(luò)系統(tǒng)TH-MSNS”，“帶外虛擬存儲技術(shù)、大容量內(nèi)存虛擬磁盤技術(shù)進(jìn)入國際領(lǐng)先行列”。

　　重要觀點(diǎn)

　　互聯(lián)網(wǎng)正在以更快的速度，向著更能夠表達(dá)人類思想、更類似于人腦思維構(gòu)造的知識網(wǎng)絡(luò)發(fā)展。知識網(wǎng)絡(luò)數(shù)據(jù)規(guī)模大、來源豐富、類型復(fù)雜，圖數(shù)據(jù)庫作為一種全新的數(shù)據(jù)庫類型提供了新的思路。

　　還有一位計(jì)算機(jī)領(lǐng)域的院士非常值得一提：

　　李凱

　　分布式計(jì)算大神。

　　1954年出生。中國工程院外籍院士，美國工程院院士、普林斯頓大教授。

　　他是分布式計(jì)算科學(xué)家，因提出分布式共享存儲技術(shù)而聞名，并在1990年代成為國際計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)領(lǐng)域研究的熱點(diǎn)。同時(shí)，他也被稱為“華人教授首富”。

　　2001年，李凱與合伙人抓住重復(fù)數(shù)據(jù)刪除市場的空白，共同創(chuàng)辦Data Domain公司，并研制出世界上第一款商用重復(fù)數(shù)據(jù)刪除存儲系統(tǒng)，大獲成功。憑借出色的市場表現(xiàn)，Data Domain被EMC以21億美元的價(jià)格收購。

　　針對重復(fù)數(shù)據(jù)刪除所需要的性能要求，Data Domain采用的方案是運(yùn)用高性能計(jì)算節(jié)點(diǎn)。采用NUMA計(jì)算架構(gòu)，高性能處理器構(gòu)成重復(fù)數(shù)據(jù)刪除控制器。

　　由于采用了NUMA架構(gòu)，整個(gè)控制器可以管理容量很大的內(nèi)存空間，可以做到90%以上的Fingerprint信息緩存在內(nèi)存中。因此，磁盤級的重復(fù)數(shù)據(jù)查找轉(zhuǎn)變成了內(nèi)存查找。和其他技術(shù)路線相比，這是一個(gè)硬件架構(gòu)的革新。采用這個(gè)架構(gòu)，還有一個(gè)好處就是可以隨著CPU處理能力的增強(qiáng)而不斷提升重復(fù)數(shù)據(jù)刪除的性能。

　　這個(gè)架構(gòu)的革新，使得Data Domain牢牢占據(jù)專用備份設(shè)備市場的半壁江山。而Data Domain與Avamar，一個(gè)作為目標(biāo)端重復(fù)數(shù)據(jù)刪除技術(shù)，另一個(gè)作為源端重復(fù)數(shù)據(jù)刪除技術(shù)，兩者形成完美互補(bǔ)，構(gòu)成了EMC在重復(fù)數(shù)據(jù)刪除領(lǐng)域的銅墻鐵壁。

　　李凱是華人的驕傲，他在計(jì)算機(jī)領(lǐng)域特別是分布式計(jì)算取得杰出的研究成就，提出了分布式存儲(Distributed Shared Memory，DSM)的設(shè)計(jì)思想，對后來的分布式計(jì)算，并行計(jì)算甚至今天的云計(jì)算都有深遠(yuǎn)的影響。

　　如今，李凱在普林斯頓大學(xué)任職教授，和其他計(jì)算機(jī)領(lǐng)域的院士一樣，致力于培養(yǎng)計(jì)算機(jī)科學(xué)人才。