按照USnews的分類(lèi)，Computer Science被分為四個(gè)大類(lèi)：AI, Programming Language, Sy
stems, Theory.。毫無(wú)疑問(wèn)，Systems是這四個(gè)大類(lèi)中最要緊也是最大的一個(gè)。根據cites
eer在2003年5月排出的所有計算機學(xué)科會(huì )議和期刊的影響因子排名[1]，在前十位中的屬于
Systems的有7個(gè)，在前15個(gè)中占據了11個(gè)。
Systems的內容十分廣泛，包括OS, Architecture, Network等等。在citeseer排名中，最
好的會(huì )議是OSDI，這是一個(gè)收錄范圍相當廣的會(huì )議。提到OSDI，就得提到排名第11的另一
個(gè)會(huì )議： SOSP。這兩個(gè)是OS最好的會(huì )議，每?jì)赡觊_(kāi)一次，輪流開(kāi)，比如今年是OSDI，那么
明年就是SOSP。由于這兩個(gè)會(huì )議方向很廣，因此影響很大。除此之外，在OS方向還有一些
方向比較專(zhuān)一，但是水平仍然很高的會(huì )議，比如FAST就是File and storage system最好的
會(huì )議，NSDI偏重Networked System Design and Implementation，2004年才第一次，USEN
IX Sponsor，號稱(chēng)要辦成Network最好的System的會(huì )議。RTSS是Real system最好的會(huì )議。
在A(yíng)rchitecture領(lǐng)域，最好的會(huì )議是ISCA，HPCA和MICRO。還有像ASPLOS則是OS, Archite
cture, Programming language三個(gè)領(lǐng)域交叉的最好會(huì )議，近年來(lái)貌似被Architecture霸占
。
可以說(shuō)Systems的會(huì )議非常多，一直是計算機的熱門(mén)領(lǐng)域。本文僅僅針對OSDI和SOSP這兩個(gè)
最top的OS會(huì )議，尤其是OSDI來(lái)了解一下這個(gè)最頂級的會(huì )議都是哪些人物，哪些組在上面發(fā)
表論文，這些牛人現在又在研究什么，我們中國人在這個(gè)會(huì )議上又有什么表現。
【會(huì )議歷史】
OSDI 一個(gè)年輕的會(huì )議，它的全稱(chēng)是Operating Systems Design and Implementation。它
是由USENIX主辦的。USENIX是一個(gè)于1975年成立的Advanced Computing Systems Associa
tion。它所舉辦的都是一些非常好的會(huì )議，比如前面提到的OSDI，FAST等等。OSDI是USEN
IX于1994年創(chuàng )辦的，基本上是兩年一次，至今為止舉辦了7屆(94，96，99，2000，2002，
2004，2006)。每屆會(huì )議舉行3天，早期的OSDI每屆收錄20篇左右的文章，從2002年開(kāi)始穩
定在27篇，一般是每個(gè)小方向有3篇文章。
而SOSP是一個(gè)相對古老的會(huì )議，它是由ACM下屬的SIGOPS （the ACM Special Interest G
roup on Operating Systems）于1967年創(chuàng )辦的。這個(gè)會(huì )議也是兩年一次，迄今為止已經(jīng)舉
辦了20屆，每屆收錄的文章在20篇左右。
【統計數據】
我對OSDI所有收錄的文章的作者，單位進(jìn)行了人工統計?？僧斘医y計完之后發(fā)現UIUC的一
個(gè)馬同學(xué)對OSDI和SOSP兩者一起進(jìn)行了統計 [2]。所幸的是，他并沒(méi)有單獨統計，而且有
些東西統計的不是很細致。下面主要以我自己統計的OSDI為基準，結合馬同學(xué)的數據進(jìn)行
闡述。
首先我發(fā)現，很多文章都是由好幾個(gè)單位合寫(xiě)而成的。于是我做了一個(gè)統計，計算每一屆
所有文章的單位數。比如某篇文章是由MIT和Washington合寫(xiě)的，那么這篇文章的單位數就
是2。每一屆的單位數的值如下：
由此可見(jiàn)，每一屆的單位數基本都在上升，到了2006年更達到了44，平均每篇文章由1.62
963個(gè)單位寫(xiě)成。這其中有學(xué)校和學(xué)校的合作，有企業(yè)和學(xué)校的合作，可見(jiàn)至少是在OS領(lǐng)域
，合作是發(fā)表得高水平文章的基礎。
下面分析一下哪些研究單位在OSDI上面發(fā)表的文章數最多：
MIT
14
Microsoft
13
Princeton
12
Washington
12
Stanford
11
Berkeley
10
CMU
10
Michigan
7
Arizona
6
Rice
6
Utah
6
Duke
5
Umass
5
OSDI，SOSP與美國著(zhù)名計算機系的調查（一）2
以下是在OSDI和SOSP（97年之后）發(fā)表文章最多的單位[2]：
MIT
31
Microsoft
24
Stanford
23
Washington
20
Berkeley
17
CMU
15
Michigan
15
Princeton
14
Duke
10
Rice
9
HP
8
Utah
8
IBM
7
Wisconsin
7
Intel
6
對比USnews在Systems方向上的排名[3]：
1. University of California?CBerkeley
2. Massachusetts Institute of Technology
3. Carnegie Mellon University (PA)
4. Stanford University (CA)
5. University of Illinois?CUrbana-Champaign
6. University of Washington
7. University of Wisconsin?CMadison
8. University of Texas?CAustin
9. University of California?CSan Diego
10. Princeton University (NJ)
11. University of Michigan?CAnn Arbor
12. Cornell University (NY)
13. Georgia Institute of Technology
University of California?CLos Angeles
15. Rice University (TX)
16. Purdue University?CWest Lafayette (IN)
University of Maryland?CCollege Park
可見(jiàn)，MIT不愧為理工科的老大。在USnews排行榜上的四牛校：MIT, Stanford，Berkelet
y，CMU名不虛傳。
此外在OS方向很強的微軟老巢Washington, 在USnews上Systems方向比較強的Princeton，
Michigan都有入圍十強。比較意外的是Systems榜上第五的UIUC并沒(méi)有很好的表現，這所硬
件巨牛的學(xué)校在OS上比較令人失望。
還有像新興的UCSD，雖然沒(méi)有入圍但是它已經(jīng)連續三年(04-06)在OSDI和SOSP上都有斬獲，
勢頭直逼傳統牛校。值得一題的還有各大公司的研發(fā)機構，微軟以?xún)身椀诙某煽?jì)證明了
自己的研發(fā)能力堪比四大牛校，據說(shuō)它在圖形學(xué)的第一會(huì )議： SIGGRAPH上更是所向披靡。
HP，IBM和Intel也不甘示弱，在OSDI和SOSP的總排行榜上分別名列11，13，15位。新生的
google也已3篇OSDI（06年的best paper），1篇SOSP在強勢追趕。
以上是一些數據和總體印象，下面我將著(zhù)重介紹一下我所調查的OSDI文章數前6的學(xué)校（M
IT, Princeton, Stanford，Washington，Berkeley，CMU）的情況和一些知名的教授，以
及中國人特別是清華師兄師姐們在這些學(xué)校中的表現。
【MIT】
作為工程的第一牛校，MIT在各個(gè)方向都是非常強的。在OSDI上發(fā)表了14篇文章。分別在9
4年發(fā)表4篇，99年1篇，00年3篇，02年1 篇，04年3 篇和06年的2篇。在這14篇中，Profe
ssor M. Frans Kaashoek發(fā)表了4篇，Professor Robert Morris發(fā)表了3篇，他們都是MIT
的PDOS組的，后文還會(huì )提到這個(gè)組培養出了很多偉大的人物。還有Professor Barbara Li
skov教授和Professor Miguel Castro（后去了微軟）也是三篇，他們是在MIT的PMG組。據
馬同學(xué)的統計[3]，Frans Kaashoek教授在OSDI和SOSP中的發(fā)文數是第一名（15篇），而B(niǎo)
arbara Liskov教授發(fā)文數第四（13篇），Miguel Castro排名第8，Robert Morris排名20
。
可見(jiàn)，PDOS和PMG是MIT在OSDI上發(fā)文的兩個(gè)大組，下面簡(jiǎn)要介紹一下這兩個(gè)組。PDOS全稱(chēng)
是Parallel & Distributed Operating Systems Group。它和PMG組一樣，都是隸屬于MIT
Computer Science and Artificial Intelligence Laboratory。由于MIT是人智的發(fā)祥地
，所以MIT把什么都歸到人智的帳下……比如所有的System都是這個(gè)實(shí)驗室管。PDOS組主要
由 Frans Kaashoek和Robert Morris主持。他們組最近比較熱門(mén)的是在做P2P方面的研究，
他們2006年的文章大部分都是P2P計算，主要是IRIS和Chord兩個(gè)P2P的項目。
另一個(gè)是Barbara Liskov教授的PMG（The Programming Methodology Group），他們組最
近研究的東西也是給予哈希表的分布式計算，也是在IRIS項目上進(jìn)行研究。
此外，像在OSDI上發(fā)表了兩篇文章的Hari Balakrishnan教授，他所在的Networks and Mo
bile Systems組也有很好的文章。另外一些從MIT出去的比如Miguel Castro無(wú)論是在MIT還
是在微軟，都發(fā)表了高水平的論文，他02年在微軟發(fā)表了兩篇OSDI，05年寫(xiě)了一篇SOSP。
總之，MIT的Syst
em 絕對是世界領(lǐng)先的，不過(guò)很遺憾，在這些牛人中幾乎沒(méi)有中國人的身
影。
【Princeton Univ】
有人說(shuō) Princeton是一所夢(mèng)一樣的學(xué)校。這所座落在紐約邊上小鎮的學(xué)校以它的學(xué)術(shù)水平
蜚聲世界。在50-60年代，著(zhù)名的高等研究中心吸引了一大批歐洲的科學(xué)家，愛(ài)因斯坦，外
爾，陳省身都在那里留下了自己的足跡。在計算機系，這個(gè)只有17個(gè)Professor的小系，卻
在USnews上長(cháng)期霸占前十的位置。Princeton在OSDI上一共發(fā)表了12篇文章，值得一題的是
它是唯二的兩個(gè)在每一屆的OSDI上面都有文章發(fā)表的學(xué)校（另一個(gè)是 Washington）。值得
一題的是，在普林斯頓的System方向，我們中國人做出了非凡的成績(jì)。
在12篇文章中，主要是由兩位教授完成的，每人完成6篇，可能方向不太一致，兩位高產(chǎn)教
授居然沒(méi)有在OSDI中合作過(guò)。這兩位是系主任 Larry Peterson和中國教授Kai Li(李凱)。
李凱教授在OSDI上發(fā)表過(guò)6篇文章，不僅如此，他還指導了許多中國學(xué)生在OSDI上嶄露頭角
。其中來(lái)自清華計算機系的學(xué)生就至少有： Pei Cao,Yu xiang, Xiaohu Qie。他們分別在
94，2000和2002年的OSDI上和李凱教授發(fā)表文章。不僅如此，Pei Cao師姐在1996年又以W
isconsin副教授的身份發(fā)表了一篇OSDI。
在李凱教授的眾多學(xué)生中，最著(zhù)名的莫過(guò)于現在在UIUC當教授的 Yuanyuan Zhou。Yuanyu
an Zhou是北大計算機本科畢業(yè)的，她跟李凱教授的第一篇論文就是發(fā)表在OSDI上面。她到
UIUC后，發(fā)表了UIUC在OSDI上面的第一篇論文?，F在 Prof. Zhou獨自扛起了UIUC里OS的大
梁，她已經(jīng)在OSDI和SOSP上發(fā)表了4篇論文。
System方向的另一位教授 Larry Peterson比起李凱教授可能更加活躍。Larry Peterson在
OSDI和SOSP上共發(fā)表了11篇文章，名列第6名。同樣的，他指導了很多中國學(xué)生的研究工作
。比如來(lái)自上海交大的Ruoming Pang，來(lái)自北大的Limin Wang，還有Ming Zhang, Chi Zh
ang，Zhe Wang都和Larry Peterson發(fā)表過(guò)OSDI。在普林斯頓總共發(fā)表的11篇OSDI中就有1
0篇是和中國人有關(guān)的。
兩位教授近年來(lái)也在做一些比較有意思的事情。李凱教授前些年在做一個(gè)Scalable Displ
ay Wall 用很多臺投影儀搭建一個(gè)超大尺寸的視頻墻。今年李凱教授過(guò)來(lái)講座，得知最近
他在開(kāi)一個(gè)公司，關(guān)于數據備份壓縮的研究。
Larry Peterson一直在領(lǐng)導一個(gè)很大的項目PlanetLab。這個(gè)項目是一個(gè)超大的分布式平臺
，把很多實(shí)驗室，工業(yè)界的計算資源整合起來(lái)，在全球已經(jīng)有了722個(gè)結點(diǎn)。包括David C
uller，Larry Peterson在內很多教授都參與了這個(gè)項目。最近的進(jìn)展是12.13號發(fā)布了Pl
anetLab Services。
【U.Washington】
作為位于微軟老巢的學(xué)校，Washington在System領(lǐng)域自然是不甘落后，甚至有和四大叫板
的實(shí)力。一個(gè)有意思的現象是，我所介紹的6 所學(xué)校中，除了4大牛校之外，剩下兩所學(xué)校
的系主任都是搞System的，而且都是發(fā)文狂人，這也從一個(gè)側面說(shuō)明了System在這兩所學(xué)
校中的地位吧。
和普林斯頓一樣，Washington也是在每屆OSDI中都有收獲的學(xué)校。在Washington中，有兩
位教授在OSDI上都發(fā)表過(guò)4篇文章，他們是：系主任Henry M. Levy和Steven D. Gribble
。另兩位教授Thomas Anderson，Brian N. Bershad在Washington發(fā)表了3篇文章，其中Br
ian N. Bershad還在CMU當教授期間發(fā)了一篇OSDI，這兩位教授都是Washington畢業(yè)的，而
且都是Henry M. Levy的學(xué)生。Henry M. Levy不僅培養出優(yōu)秀的學(xué)生，自己的工作也十分
的出色。在OSDI和SOSP發(fā)文排行榜上，Henry M. Levy以15篇文章和MIT的M. Frans Kaash
oek并列第一位。在排行榜的前6位中，Henry M. Levy， Brian N. Bershad，Thomas And
erson師徒三人分別名列第1，3，6位，這是多么厲害的數字。另一位Steven D. Gribble教
授不是來(lái)自Washington，他是來(lái)自OS牛校Berkeley。Steven D. Gribble在Berkeley導師是
Eric Brewer，后面會(huì )提到Eric Brewer也是我們系師兄周楓的導師。Steven D. Gribble在
做學(xué)生的時(shí)候于97年發(fā)了一篇SOSP，2000年又發(fā)了一篇OSDI。
上述四位教授主要都是在Systems, Networking, and Security Research組工作。他們組
的項目很多，正在做的就有17項，包括分布式系統和網(wǎng)絡(luò )、安全，操作系統等等。在分布
式領(lǐng)域，他們和普林斯頓一樣，都參加了PlantLab項目。其他的幾個(gè)項目都是和網(wǎng)絡(luò )相關(guān)
：比如Internet Astronomy是要檢測互聯(lián)網(wǎng)的每一處行為，并構建下一代互聯(lián)網(wǎng)協(xié)議；Wi
reless Network Design主要是討論未來(lái)無(wú)線(xiàn)網(wǎng)的協(xié)議。在安全方面，Spyware and Worms
項目主要是檢測和防御蠕蟲(chóng)和間諜軟件。Electronic Voting主要是加強電子投票器的安全
問(wèn)題。在操作系統方面，Denali和Nooks這兩個(gè)操作系統使他們關(guān)注的熱點(diǎn)。其中Nooks主
要是解決操作系統中經(jīng)常出現的驅動(dòng)失敗的問(wèn)題?？偠灾?，網(wǎng)絡(luò )和安全（包括修復錯誤
）是Washington近期的研究的熱點(diǎn)，他們最近的文章也都是這方面的內容。很遺憾，和MI
T一樣，在Washington沒(méi)有看見(jiàn)中國人的身影。
【Stanford Univ.】
斯坦福大學(xué)位于信息世界的心臟地帶--硅谷，它是所有學(xué)CS人心目中的dream school。Su
n, Yahoo, Google等等公司都是由斯坦福的學(xué)生創(chuàng )辦的。斯坦福在OSDI上發(fā)了11篇文章，
其中有5篇是由Dawson Engler教授發(fā)表的，此外Dawson Engler還發(fā)表了5篇SOSP，以10篇
的成績(jì)名列第8位。
Dawson Engler畢業(yè)于大名鼎鼎的MIT的PDOS組，他是前面提到的MIT大牛人Frans Kaashoe
k的學(xué)生，可謂名師出高徒。他所研究的就是查找一些真實(shí)代碼中的bug， 比如他做的Met
a-Level Compilation項目，這個(gè)東西主要是用來(lái)檢查，優(yōu)化，修改操作系統代碼中。它能
夠查處500多處出現在Linux, OpenBSD, Xok, 和Stanford FLASH machine中的錯誤。它主
要是由一個(gè)compiler(xgcc)和一種編程語(yǔ)言Metal。另外他還開(kāi)了一個(gè)公司：coverity用來(lái)
推廣靜態(tài)檢查產(chǎn)品。Dawson Engler最近研究的東西是自動(dòng)生成一些輸入數據，用來(lái)覆蓋程
序中所有的分支，對所有值的檢查，用來(lái)發(fā)現代碼中的問(wèn)題。
在他的學(xué)生中，有一個(gè)很牛的清華計算機系的師兄Junfeng Yang。他和Dawson Engler合作
，以第一作者的身份發(fā)表了兩篇OSDI。他們組做的工作都是用軟件去尋找代碼中的bug，顯
得很有新意。
此外，還有一位華裔女性教授在OSDI上發(fā)表了2篇文章，在SOSP上發(fā)表了3篇文章，她就是
Monica S. Lam（林倩玲）。她做的工作之一和Dawson Engler有點(diǎn)類(lèi)似，是通過(guò)Static A
nalysis and Dynamic Instrumentation方法來(lái)提高程序的魯棒性。此外，她還提出了一種
新的體系結構，利用Virtual Appliances.技術(shù)來(lái)使計算機更容易管理。
【UC Berkeley】
Berkeley是OS的發(fā)祥地， BSD版的UNIX影響了整個(gè)OS界，伯克利的RISC技術(shù)后來(lái)成為了SU
N公司SPARC微處理器的核心技術(shù)?？赡苁且驗锽erkeley大師太多了，所以沒(méi)有像Henry M.
Levy那樣的領(lǐng)軍人物。發(fā)文數最多的Eric A. Brewer,教授有3篇OSDI和兩篇SOSP。但是，
有像David Patterson，David Culler這樣的泰斗級人物的存在，Berkeley依然是OS的領(lǐng)跑
者。在Berkeley中，有兩個(gè)方向常常在OSDI上發(fā)表文章，它們是 Computer Architecture
& Engineering (ARC)和Operating Systems (OS)。
OS 組是由Eric A. Brewer領(lǐng)導的。同時(shí)Eric A. Brewer還領(lǐng)導著(zhù)Intel Research Berkel
ey。Eric教授主要是做和網(wǎng)絡(luò )相關(guān)的OS。他現在主要做兩個(gè)項目：TIER和NEST。TIER是一
個(gè)類(lèi)似于100美金筆記本的項目，但是它不僅僅是造一臺機器。從官方主頁(yè)上來(lái)看，它包含
了無(wú)線(xiàn)，存儲，教育，醫療，語(yǔ)言和能源。這是一個(gè)非常大的項目，目前在很多非洲國家
都有部署，有美國國家自然科學(xué)基金會(huì )的資助、來(lái)自Intel、HP和微軟的協(xié)助以及聯(lián)合國計
劃開(kāi)發(fā)署、Grameen Bank和Markle Foundation的支持。另一個(gè)NEST是網(wǎng)絡(luò )嵌入式系統，它
是伯克利無(wú)線(xiàn)嵌入式系統的一部分，David Culler也參加了這個(gè)工作。值得一題的是Eric
A. Brewer有一位得意門(mén)生是來(lái)自清華計算機系的周楓師兄，周師兄在06年的OSDI上發(fā)表
了一篇論文，是關(guān)于用軟件的方法來(lái)解決Linux中驅動(dòng)崩潰的情況。解決驅動(dòng)崩潰的東西前
面提到的Washington也在做，不知道這是不是一個(gè)熱門(mén)的方向。
David Culler的涉獵范圍十分的廣泛，和Eric A. Brewer一樣，他們都畢業(yè)于MIT。Culle
r教授現在研究的項目有，前面提到的普林斯頓和華盛頓都在做的PlanetLab，和Eric教授
一起參與的Wireless Embedded Sestems，另一個(gè)網(wǎng)絡(luò )嵌入式系統TinyOS，高性能的網(wǎng)絡(luò )工
作站NOW，一種并行編程語(yǔ)言Split-C:，等等。
總之，伯克利的牛人太多了，像David Patterson這種泰斗，我都不知道怎么介紹了。另外
有意思的一點(diǎn)就是伯克利的教授一般都是自己開(kāi)公司，像Eric A. Brewer，David Culler
都有自己的公司，在加州的這片熱土上，有足夠的機遇和人才來(lái)促進(jìn)計算機的研究和發(fā)展
。
作為四大牛校之一，CMU的CS是做為一個(gè)學(xué)院存在的，我記得在top10中就CMU是這樣子的。
正因為如此，CMU的方向非常全， Programming Language更是名列USnews的第一位。在Sy
stem方向雖然不如其他三所牛校這么出色，但還是位于前列?？戳艘幌翪MU在OSDI和SOSP
上的表現會(huì )十分的奇怪。CMU在OSDI上共發(fā)了10篇文章，都是在2000年以前發(fā)的，2000年它
一口氣中了5篇OSDI，96年中了3篇，94和 99各中一篇。在SOSP上的表現也是如此，在SOS
P上中了5篇，其中有三篇是在2005年中的，在這之前就要追溯到97年。也就是說(shuō)，CMU在0
1年之后的5年里面，只在05年中了三篇SOSP，而OSDI一篇沒(méi)中。
由于CMU方向太多，人員太分散，好多組都在OSDI上發(fā)表文章，只能找到一位教授在OSDI發(fā)
了兩篇文章，他是Gregory R. Ganger。Gregory R. Ganger教授同時(shí)也是CMU在OSDI和SOS
P上發(fā)文最多的教授，發(fā)了5篇文章名列第31位。
Gregory R. Ganger所在是CMU計算機學(xué)院ECE系里的parallel data lab。Gregory R. Gan
ger主要是在做存儲系統。他最近的做的Self-* Storage Systems就是一個(gè)集群的存儲系統
。Better Security via Smarter Devices是一個(gè)能夠自動(dòng)防御各種病毒，蠕蟲(chóng)的分布式的
裝置。Survivable distributed storage (PASIS)能夠抵御successful breakins的存儲系
統。
值得一題的是Gregory R. Ganger讀博士的時(shí)候是體系結構大牛Yale Patt的學(xué)生，博士后
的時(shí)候更是去了MIT的PDOS組，是Frans Kaashoek的學(xué)生……這時(shí)候我對Frans Kaashoek的
景仰之情猶如……
【總結】
迫于精力有限，另外幾所很牛的學(xué)校像U. Michigan，Duke，Rice都來(lái)不及介紹了。誠然，
OSDI和SOSP只是System方向的冰上一角，但是從這一滴水，我還是從中看到了OS方向的進(jìn)
展和人物。
從OSDI和SOSP上的表現來(lái)看MIT，Stanford，Washington，Berkeley，Princeton確實(shí)體現
出了它們做為美國乃至世界一流名校的風(fēng)采。就專(zhuān)業(yè)角度來(lái)說(shuō)，雖然我只是扒了幾個(gè)主頁(yè)
，看了看標題，但是還是有兩點(diǎn)感觸很深。
1．網(wǎng)絡(luò )很重要。在OS領(lǐng)域取得成績(jì)的都離不開(kāi)網(wǎng)絡(luò )，MIT的P2P離不開(kāi)網(wǎng)絡(luò )。而Washingto
n的Henry M. Levy研究的項目幾乎都是網(wǎng)絡(luò )相關(guān)的，Princeton的Larry L. Peterson本身
就是著(zhù)名網(wǎng)絡(luò )教材《Computer Networks: A Systems Approach》的作者。Berkeley的Dav
id Culler教授把網(wǎng)絡(luò )納入嵌入式系統。而眾多牛校參與的PlanetLab本身就是一個(gè)超大規
模的分布式系統，當然也離不開(kāi)網(wǎng)絡(luò )。
2．系統安全很重要。我發(fā)現好幾個(gè)學(xué)校都在從事如何是操作系統或程序更加的安全，比如
Washington的Nooks系統和Berkeley 的周楓師兄不約而同的在研究如何解決系統驅動(dòng)錯誤
的問(wèn)題。斯坦福的Dawson Engler教授和Junfeng Yang師兄研究是如何自動(dòng)查找系統代碼中
的bug，如何檢測程序中的問(wèn)題。Monica S. Lam教授也在研究如何提高系統的魯棒性。還
有CMU的Gregory R. Ganger，如何防御蠕蟲(chóng)和病毒也是他目前正在研究的。系統的可靠性
，安全性已經(jīng)成為當今熱門(mén)的領(lǐng)域。
以上就是我從這段時(shí)間調查OSDI和各個(gè)名校的網(wǎng)站上得到一些淺顯的結論，可能有些地方
是不對的或有漏洞的，不正之處還請各位老師指出！
【后序】
洋洋灑灑涂了一萬(wàn)字，每個(gè)字都是自己敲的，前后歷經(jīng)了幾個(gè)星期，終于暫告一個(gè)段落。
之所以想寫(xiě)這篇東西，一是覺(jué)得讀了四年本科，連當今世界計算機的研究發(fā)展都不知道是
件挺丟臉的事情。我也很好奇究竟是哪些人，哪些組在計算機界，特別是System方向呼風(fēng)
喚雨，也特別想看☆人在這個(gè)領(lǐng)域有什么表現。二是今年正好自己申請學(xué)校，看了網(wǎng)
上介紹美國計算機系的資料很少，只有南大和復旦的前輩們寫(xiě)過(guò)，而且不夠詳細，我想清
華也該有這么一篇東西（雖然發(fā)現實(shí)在是不好寫(xiě)，只寫(xiě)了6所學(xué)校）。
正好選了高性能前沿技術(shù)這門(mén)課，有了這個(gè)機會(huì )來(lái)把我這個(gè)夢(mèng)想給實(shí)現了，于是就滿(mǎn)懷熱
情的開(kāi)始寫(xiě)了。整理資料是一件挺煩瑣的事情，不過(guò)這件事是我感興趣的，所以還算挺順
利的就寫(xiě)下來(lái)了。
名字后面加了一個(gè)（一），寓意也是很明確，有時(shí)間我會(huì )再補上幾所的（如果我以后確定
是搞OS的話(huà)……）。其實(shí)想寫(xiě)的還有很多，調查中發(fā)現 Architecture就是一個(gè)和OS很不一
樣的領(lǐng)域，ISCA，HPCA，MICRO三個(gè)頂級的會(huì )議也使我有沖動(dòng)去做一番調查，如果哪天我去
搞 Architecture的話(huà)我一定也要寫(xiě)一篇類(lèi)似的。
最后感謝薛巍老師，同意了我的這個(gè)設想，并引領(lǐng)了我進(jìn)入了研究會(huì )議的大門(mén)。感謝鄭緯
民老師，陳文光老師，余洪亮老師精彩的授課，帶著(zhù)我開(kāi)闊了視野，了結了HPC領(lǐng)域的各個(gè)
方面。感謝不曾相識的UIUC的馬同學(xué)，您的統計很漂亮，我猜想您做個(gè)這個(gè)統計估計也是
和我有差不多的動(dòng)機吧~
本文來(lái)自CSDN博客，轉載請標明出處：http://blog.csdn.net/celestialwy/archive/2008/08/04/2766402.aspx
本站僅提供存儲服務(wù)，所有內容均由用戶(hù)發(fā)布，如發(fā)現有害或侵權內容，請
點(diǎn)擊舉報。
