OSDI, SOSP與美國著名計算機系的調查（2008）

【序言】
按照USnews的分類，Computer Science被分爲四個大類：AI, Programming Language,Sy
stems,Theory.。毫無疑問，Systems是這四個大類中最要緊也是最大的一個。根據cites
eer在2003年5月排出的所有計算機學科會議和期刊的影響因子排名[1]，在前十位中的屬於
Systems的有7個，在前15箇中佔據了11個。

Systems的內容十分廣泛，包括OS, Architecture, Network等等。在citeseer排名中，最
好的會議是OSDI，這是一個收錄範圍相當廣的會議。提到OSDI，就得提到排名第11的另一
個會議： SOSP。這兩個是OS最好的會議，每兩年開一次，輪流開，比如今年是OSDI，那麼
明年就是SOSP。由於這兩個會議方向很廣，因此影響很大。除此之外，在OS方向還有一些
方向比較專一，但是水平仍然很高的會議，比如FAST就是File and storage system最好的
會議，NSDI偏重Networked System Design andImplementation，2004年才第一次，USEN
IX Sponsor，號稱要辦成Network最好的System的會議。RTSS是Real system最好的會議。

在Architecture領域，最好的會議是ISCA，HPCA和MICRO。還有像ASPLOS則是OS, Archite
cture, Programming language三個領域交叉的最好會議，近年來貌似被Architecture霸佔
。
可以說Systems的會議非常多，一直是計算機的熱門領域。本文僅僅針對OSDI和SOSP這兩個
最top的OS會議，尤其是OSDI來了解一下這個最頂級的會議都是哪些人物，哪些組在上面發
表論文，這些牛人現在又在研究什麼，我們中國人在這個會議上又有什麼表現。

 

【會議歷史】
OSDI 一個年輕的會議，它的全稱是Operating Systems Design andImplementation。它
是由USENIX主辦的。USENIX是一個於1975年成立的Advanced Computing SystemsAssocia
tion。它所舉辦的都是一些非常好的會議，比如前面提到的OSDI，FAST等等。OSDI是USEN
IX於1994年創辦的，基本上是兩年一次，至今爲止舉辦了7屆(94，96，99，2000，2002，
2004，2006)。每屆會議舉行3天，早期的OSDI每屆收錄20篇左右的文章，從2002年開始穩
定在27篇，一般是每個小方向有3篇文章。

而SOSP是一個相對古老的會議，它是由ACM下屬的SIGOPS （the ACM Special Interest G
roup on Operating Systems）於1967年創辦的。這個會議也是兩年一次，迄今爲止已經舉
辦了20屆，每屆收錄的文章在20篇左右。

 

【統計數據】
我對OSDI所有收錄的文章的作者，單位進行了人工統計。可當我統計完之後發現UIUC的一
個馬同學對OSDI和SOSP兩者一起進行了統計 [2]。所幸的是，他並沒有單獨統計，而且有
些東西統計的不是很細緻。下面主要以我自己統計的OSDI爲基準，結合馬同學的數據進行
闡述。

首先我發現，很多文章都是由好幾個單位合寫而成的。於是我做了一個統計，計算每一屆
所有文章的單位數。比如某篇文章是由MIT和Washington合寫的，那麼這篇文章的單位數就
是2。每一屆的單位數的值如下：

由此可見，每一屆的單位數基本都在上升，到了2006年更達到了44，平均每篇文章由1.62
963個單位寫成。這其中有學校和學校的合作，有企業和學校的合作，可見至少是在OS領域
，合作是發表得高水平文章的基礎。

下面分析一下哪些研究單位在OSDI上面發表的文章數最多：

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與美國著名計算機系的調查（一）2
以下是在OSDI和SOSP（97年之後）發表文章最多的單位[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

可見，MIT不愧爲理工科的老大。在USnews排行榜上的四牛校：MIT, Stanford，Berkelet
y，CMU名不虛傳。

此外在OS方向很強的微軟老巢Washington, 在USnews上Systems方向比較強的Princeton，
Michigan都有入圍十強。比較意外的是Systems榜上第五的UIUC並沒有很好的表現，這所硬
件巨牛的學校在OS上比較令人失望。

還有像新興的UCSD，雖然沒有入圍但是它已經連續三年(04-06)在OSDI和SOSP上都有斬獲，
勢頭直逼傳統牛校。值得一題的還有各大公司的研發機構，微軟以兩項第二的成績證明了
自己的研發能力堪比四大牛校，據說它在圖形學的第一會議： SIGGRAPH上更是所向披靡。
HP，IBM和Intel也不甘示弱，在OSDI和SOSP的總排行榜上分別名列11，13，15位。新生的
google也已3篇OSDI（06年的best paper），1篇SOSP在強勢追趕。

以上是一些數據和總體印象，下面我將着重介紹一下我所調查的OSDI文章數前6的學校（M
IT, Princeton, Stanford，Washington，Berkeley，CMU）的情況和一些知名的教授，以
及中國人特別是清華師兄師姐們在這些學校中的表現。

【MIT】
作爲工程的第一牛校，MIT在各個方向都是非常強的。在OSDI上發表了14篇文章。分別在9
4年發表4篇，99年1篇，00年3篇，02年1 篇，04年3 篇和06年的2篇。在這14篇中，Profe
ssor M. Frans Kaashoek發表了4篇，Professor RobertMorris發表了3篇，他們都是MIT
的PDOS組的，後文還會提到這個組培養出了很多偉大的人物。還有Professor Barbara Li
skov教授和Professor Miguel Castro（後去了微軟）也是三篇，他們是在MIT的PMG組。據
馬同學的統計[3]，Frans Kaashoek教授在OSDI和SOSP中的發文數是第一名（15篇），而B
arbara Liskov教授發文數第四（13篇），Miguel Castro排名第8，Robert Morris排名20
。

可見，PDOS和PMG是MIT在OSDI上發文的兩個大組，下面簡要介紹一下這兩個組。PDOS全稱
是Parallel & Distributed Operating SystemsGroup。它和PMG組一樣，都是隸屬於MIT
Computer Science and Artificial IntelligenceLaboratory。由於MIT是人智的發祥地
，所以MIT把什麼都歸到人智的帳下……比如所有的System都是這個實驗室管。PDOS組主要
由 Frans Kaashoek和Robert Morris主持。他們組最近比較熱門的是在做P2P方面的研究，
他們2006年的文章大部分都是P2P計算，主要是IRIS和Chord兩個P2P的項目。
另一個是Barbara Liskov教授的PMG（The Programming MethodologyGroup），他們組最
近研究的東西也是給予哈希表的分佈式計算，也是在IRIS項目上進行研究。

此外，像在OSDI上發表了兩篇文章的Hari Balakrishnan教授，他所在的Networks and Mo
bile Systems組也有很好的文章。另外一些從MIT出去的比如Miguel Castro無論是在MIT還
是在微軟，都發表了高水平的論文，他02年在微軟發表了兩篇OSDI，05年寫了一篇SOSP。
總之，MIT的Syst

em絕對是世界領先的，不過很遺憾，在這些牛人中幾乎沒有中國人的身
影。

【Princeton Univ】
有人說 Princeton是一所夢一樣的學校。這所座落在紐約邊上小鎮的學校以它的學術水平
蜚聲世界。在50-60年代，著名的高等研究中心吸引了一大批歐洲的科學家，愛因斯坦，外
爾，陳省身都在那裏留下了自己的足跡。在計算機系，這個只有17個Professor的小系，卻
在USnews上長期霸佔前十的位置。Princeton在OSDI上一共發表了12篇文章，值得一題的是
它是唯二的兩個在每一屆的OSDI上面都有文章發表的學校（另一個是 Washington）。值得
一題的是，在普林斯頓的System方向，我們中國人做出了非凡的成績。

在12篇文章中，主要是由兩位教授完成的，每人完成6篇，可能方向不太一致，兩位高產教
授居然沒有在OSDI中合作過。這兩位是系主任 Larry Peterson和中國教授Kai Li(李凱)。
李凱教授在OSDI上發表過6篇文章，不僅如此，他還指導了許多中國學生在OSDI上嶄露頭角
。其中來自清華計算機系的學生就至少有： Pei Cao,Yu xiang, Xiaohu Qie。他們分別在
94，2000和2002年的OSDI上和李凱教授發表文章。不僅如此，Pei Cao師姐在1996年又以W
isconsin副教授的身份發表了一篇OSDI。

在李凱教授的衆多學生中，最著名的莫過於現在在UIUC當教授的 Yuanyuan Zhou。Yuanyu
an Zhou是北大計算機本科畢業的，她跟李凱教授的第一篇論文就是發表在OSDI上面。她到
UIUC後，發表了UIUC在OSDI上面的第一篇論文。現在 Prof. Zhou獨自扛起了UIUC裏OS的大
樑，她已經在OSDI和SOSP上發表了4篇論文。

System方向的另一位教授 Larry Peterson比起李凱教授可能更加活躍。Larry Peterson在
OSDI和SOSP上共發表了11篇文章，名列第6名。同樣的，他指導了很多中國學生的研究工作
。比如來自上海交大的Ruoming Pang，來自北大的Limin Wang，還有Ming Zhang, Chi Zh
ang，Zhe Wang都和Larry Peterson發表過OSDI。在普林斯頓總共發表的11篇OSDI中就有1
0篇是和中國人有關的。

兩位教授近年來也在做一些比較有意思的事情。李凱教授前些年在做一個Scalable Displ
ay Wall 用很多臺投影儀搭建一個超大尺寸的視頻牆。今年李凱教授過來講座，得知最近
他在開一個公司，關於數據備份壓縮的研究。

Larry Peterson一直在領導一個很大的項目PlanetLab。這個項目是一個超大的分佈式平臺
，把很多實驗室，工業界的計算資源整合起來，在全球已經有了722個結點。包括David C
uller，Larry Peterson在內很多教授都參與了這個項目。最近的進展是12.13號發佈了Pl
anetLab Services。

【U.Washington】

作爲位於微軟老巢的學校，Washington在System領域自然是不甘落後，甚至有和四大叫板
的實力。一個有意思的現象是，我所介紹的6 所學校中，除了4大牛校之外，剩下兩所學校
的系主任都是搞System的，而且都是發文狂人，這也從一個側面說明了System在這兩所學
校中的地位吧。

和普林斯頓一樣，Washington也是在每屆OSDI中都有收穫的學校。在Washington中，有兩
位教授在OSDI上都發表過4篇文章，他們是：系主任Henry M. Levy和Steven D.Gribble 
。另兩位教授Thomas Anderson，Brian N. Bershad在Washington發表了3篇文章，其中Br
ian N. Bershad還在CMU當教授期間發了一篇OSDI，這兩位教授都是Washington畢業的，而
且都是Henry M. Levy的學生。Henry M. Levy不僅培養出優秀的學生，自己的工作也十分
的出色。在OSDI和SOSP發文排行榜上，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教
授不是來自Washington，他是來自OS牛校Berkeley。Steven D.Gribble在Berkeley導師是
Eric Brewer，後面會提到Eric Brewer也是我們系師兄周楓的導師。Steven D. Gribble在
做學生的時候於97年發了一篇SOSP，2000年又發了一篇OSDI。

上述四位教授主要都是在Systems, Networking, and SecurityResearch組工作。他們組
的項目很多，正在做的就有17項，包括分佈式系統和網絡、安全，操作系統等等。在分佈
式領域，他們和普林斯頓一樣，都參加了PlantLab項目。其他的幾個項目都是和網絡相關
：比如Internet Astronomy是要檢測互聯網的每一處行爲，並構建下一代互聯網協議；Wi
reless Network Design主要是討論未來無線網的協議。在安全方面，Spyware and Worms
項目主要是檢測和防禦蠕蟲和間諜軟件。Electronic Voting主要是加強電子投票器的安全
問題。在操作系統方面，Denali和Nooks這兩個操作系統使他們關注的熱點。其中Nooks主
要是解決操作系統中經常出現的驅動失敗的問題。總而言之，網絡和安全（包括修復錯誤
）是Washington近期的研究的熱點，他們最近的文章也都是這方面的內容。很遺憾，和MI
T一樣，在Washington沒有看見中國人的身影。

【Stanford Univ.】

斯坦福大學位於信息世界的心臟地帶--硅谷，它是所有學CS人心目中的dream school。Su
n, Yahoo, Google等等公司都是由斯坦福的學生創辦的。斯坦福在OSDI上發了11篇文章，
其中有5篇是由Dawson Engler教授發表的，此外Dawson Engler還發表了5篇SOSP，以10篇
的成績名列第8位。

Dawson Engler畢業於大名鼎鼎的MIT的PDOS組，他是前面提到的MIT大牛人Frans Kaashoe
k的學生，可謂名師出高徒。他所研究的就是查找一些真實代碼中的bug， 比如他做的Met
a-Level Compilation項目，這個東西主要是用來檢查，優化，修改操作系統代碼中。它能
夠查處500多處出現在Linux, OpenBSD, Xok, 和Stanford FLASHmachine中的錯誤。它主
要是由一個compiler(xgcc)和一種編程語言Metal。另外他還開了一個公司：coverity用來
推廣靜態檢查產品。Dawson Engler最近研究的東西是自動生成一些輸入數據，用來覆蓋程
序中所有的分支，對所有值的檢查，用來發現代碼中的問題。

在他的學生中，有一個很牛的清華計算機系的師兄Junfeng Yang。他和Dawson Engler合作
，以第一作者的身份發表了兩篇OSDI。他們組做的工作都是用軟件去尋找代碼中的bug，顯
得很有新意。

此外，還有一位華裔女性教授在OSDI上發表了2篇文章，在SOSP上發表了3篇文章，她就是
Monica S. Lam（林倩玲）。她做的工作之一和Dawson Engler有點類似，是通過Static A
nalysis and Dynamic Instrumentation方法來提高程序的魯棒性。此外，她還提出了一種
新的體系結構，利用Virtual Appliances.技術來使計算機更容易管理。

【UC Berkeley】

Berkeley是OS的發祥地， BSD版的UNIX影響了整個OS界，伯克利的RISC技術後來成爲了SU
N公司SPARC微處理器的核心技術。可能是因爲Berkeley大師太多了，所以沒有像Henry M.
Levy那樣的領軍人物。發文數最多的Eric A. Brewer,教授有3篇OSDI和兩篇SOSP。但是，
有像David Patterson，David Culler這樣的泰斗級人物的存在，Berkeley依然是OS的領跑
者。在Berkeley中，有兩個方向常常在OSDI上發表文章，它們是 Computer Architecture
& Engineering (ARC)和Operating Systems (OS)。

OS 組是由Eric A. Brewer領導的。同時Eric A. Brewer還領導着Intel ResearchBerkel
ey。Eric教授主要是做和網絡相關的OS。他現在主要做兩個項目：TIER和NEST。TIER是一
個類似於100美金筆記本的項目，但是它不僅僅是造一臺機器。從官方主頁上來看，它包含
了無線，存儲，教育，醫療，語言和能源。這是一個非常大的項目，目前在很多非洲國家
都有部署，有美國國家自然科學基金會的資助、來自Intel、HP和微軟的協助以及聯合國計
劃開發署、Grameen Bank和Markle Foundation的支持。另一個NEST是網絡嵌入式系統，它
是伯克利無線嵌入式系統的一部分，David Culler也參加了這個工作。值得一題的是Eric
A. Brewer有一位得意門生是來自清華計算機系的周楓師兄，周師兄在06年的OSDI上發表
了一篇論文，是關於用軟件的方法來解決Linux中驅動崩潰的情況。解決驅動崩潰的東西前
面提到的Washington也在做，不知道這是不是一個熱門的方向。

David Culler的涉獵範圍十分的廣泛，和Eric A. Brewer一樣，他們都畢業於MIT。Culle
r教授現在研究的項目有，前面提到的普林斯頓和華盛頓都在做的PlanetLab，和Eric教授
一起參與的Wireless Embedded Sestems，另一個網絡嵌入式系統TinyOS，高性能的網絡工
作站NOW，一種並行編程語言Split-C:，等等。

總之，伯克利的牛人太多了，像David Patterson這種泰斗，我都不知道怎麼介紹了。另外
有意思的一點就是伯克利的教授一般都是自己開公司，像Eric A. Brewer，David Culler
都有自己的公司，在加州的這片熱土上，有足夠的機遇和人才來促進計算機的研究和發展
。

作爲四大牛校之一，CMU的CS是做爲一個學院存在的，我記得在top10中就CMU是這樣子的。
正因爲如此，CMU的方向非常全， Programming Language更是名列USnews的第一位。在Sy
stem方向雖然不如其他三所牛校這麼出色，但還是位於前列。看了一下CMU在OSDI和SOSP 
上的表現會十分的奇怪。CMU在OSDI上共發了10篇文章，都是在2000年以前發的，2000年它
一口氣中了5篇OSDI，96年中了3篇，94和 99各中一篇。在SOSP上的表現也是如此，在SOS
P上中了5篇，其中有三篇是在2005年中的，在這之前就要追溯到97年。也就是說，CMU在0
1年之後的5年裏面，只在05年中了三篇SOSP，而OSDI一篇沒中。
由於CMU方向太多，人員太分散，好多組都在OSDI上發表文章，只能找到一位教授在OSDI發
了兩篇文章，他是Gregory R. Ganger。Gregory R. Ganger教授同時也是CMU在OSDI和SOS
P上發文最多的教授，發了5篇文章名列第31位。

Gregory R. Ganger所在是CMU計算機學院ECE系裏的parallel data lab。Gregory R.Gan
ger主要是在做存儲系統。他最近的做的Self-* Storage Systems就是一個集羣的存儲系統
。Better Security via Smarter Devices是一個能夠自動防禦各種病毒，蠕蟲的分佈式的
裝置。Survivable distributed storage (PASIS)能夠抵禦successfulbreakins的存儲系
統。

值得一題的是Gregory R. Ganger讀博士的時候是體系結構大牛Yale Patt的學生，博士後
的時候更是去了MIT的PDOS組，是Frans Kaashoek的學生……這時候我對Frans Kaashoek的
景仰之情猶如……

 

【總結】

迫於精力有限，另外幾所很牛的學校像U. Michigan，Duke，Rice都來不及介紹了。誠然，
OSDI和SOSP只是System方向的冰上一角，但是從這一滴水，我還是從中看到了OS方向的進
展和人物。

從OSDI和SOSP上的表現來看MIT，Stanford，Washington，Berkeley，Princeton確實體現
出了它們做爲美國乃至世界一流名校的風采。就專業角度來說，雖然我只是扒了幾個主頁
，看了看標題，但是還是有兩點感觸很深。

1．網絡很重要。在OS領域取得成績的都離不開網絡，MIT的P2P離不開網絡。而Washingto
n的Henry M. Levy研究的項目幾乎都是網絡相關的，Princeton的Larry L. Peterson本身
就是著名網絡教材《Computer Networks: A SystemsApproach》的作者。Berkeley的Dav
id Culler教授把網絡納入嵌入式系統。而衆多牛校參與的PlanetLab本身就是一個超大規
模的分佈式系統，當然也離不開網絡。

2．系統安全很重要。我發現好幾個學校都在從事如何是操作系統或程序更加的安全，比如
Washington的Nooks系統和Berkeley 的周楓師兄不約而同的在研究如何解決系統驅動錯誤
的問題。斯坦福的Dawson Engler教授和Junfeng Yang師兄研究是如何自動查找系統代碼中
的bug，如何檢測程序中的問題。Monica S. Lam教授也在研究如何提高系統的魯棒性。還
有CMU的Gregory R. Ganger，如何防禦蠕蟲和病毒也是他目前正在研究的。系統的可靠性
，安全性已經成爲當今熱門的領域。

以上就是我從這段時間調查OSDI和各個名校的網站上得到一些淺顯的結論，可能有些地方
是不對的或有漏洞的，不正之處還請各位老師指出！

 

【後序】
洋洋灑灑塗了一萬字，每個字都是自己敲的，前後歷經了幾個星期，終於暫告一個段落。
之所以想寫這篇東西，一是覺得讀了四年本科，連當今世界計算機的研究發展都不知道是
件挺丟臉的事情。我也很好奇究竟是哪些人，哪些組在計算機界，特別是System方向呼風
喚雨，也特別想看☆人在這個領域有什麼表現。二是今年正好自己申請學校，看了網
上介紹美國計算機系的資料很少，只有南大和復旦的前輩們寫過，而且不夠詳細，我想清
華也該有這麼一篇東西（雖然發現實在是不好寫，只寫了6所學校）。

正好選了高性能前沿技術這門課，有了這個機會來把我這個夢想給實現了，於是就滿懷熱
情的開始寫了。整理資料是一件挺煩瑣的事情，不過這件事是我感興趣的，所以還算挺順
利的就寫下來了。

名字後面加了一個（一），寓意也是很明確，有時間我會再補上幾所的（如果我以後確定
是搞OS的話……）。其實想寫的還有很多，調查中發現 Architecture就是一個和OS很不一
樣的領域，ISCA，HPCA，MICRO三個頂級的會議也使我有衝動去做一番調查，如果哪天我去
搞 Architecture的話我一定也要寫一篇類似的。

最後感謝薛巍老師，同意了我的這個設想，並引領了我進入了研究會議的大門。感謝鄭緯
民老師，陳文光老師，餘洪亮老師精彩的授課，帶着我開闊了視野，了結了HPC領域的各個
方面。感謝不曾相識的UIUC的馬同學，您的統計很漂亮，我猜想您做個這個統計估計也是
和我有差不多的動機吧~

轉自http://www.lwsir.com/Article/diaocha/200806/101687.html