寄托家园留学论坛 › 论坛 › 寄托专业学术申请版 › 计算机科学CS版 › SOSP'09跟踪 + 论文评析 (zz)

返回列表

查看: 2689|回复: 1

[论文会议] SOSP'09跟踪 + 论文评析 (zz) [复制链接]

DriverEntry
UID：143979

元老版主

Rank: 11

声望: 3110
寄托币: 48275
注册时间: 2003-9-1
精华: 44
帖子: 1795

电梯直达

楼主

发表于 2009-8-20 05:32:44 |只看该作者 |倒序浏览

http://blog.sina.com.cn/s/blog_5e4fbc150100d0xl.html

SOSP'09跟踪 + 论文评析（详细版，写至第2篇）(2009-04-09 12:13:51)

标签：sosp osdi 2009 跟踪操作系统 acm sigops usenix it

分类：▲会议跟踪

声明：本人计算机菜鸟一个，指点江山、激扬文字，纯属个人观点。希望借此为中国计算机领域尽绵薄之力，欢迎交流探讨、批评指正！转载请注明出处，尊重知识权益。

背景：
操作系统（OS）领域有两个国际顶尖会议：SOSP和OSDI，但由于SOSP只在奇数年召开、OSDI只在偶数年召开，所以实际上可以将SOSP+OSDI合并看成操作系统领域的顶尖年会。
SOSP由ACMSIGOPS组织开办，USENIX组织也常参与进来。与SIGCOMM类似，SOSP也是一个只求精品的会议：数量方面每年只录用20篇左右的正式会议论文，录取率约20%（由此可见录取率不能表征一个会议的好坏，20%的会议可以是顶尖，10%的会议可以是垃圾）；质量方面的要求极高——重大问题、有趣且有竞争力的解法、实用有益、接合业内前驱工作、等等。
SOSP采用Blind审稿和Single-Track演讲，20来篇论文，每年的参会人数却在400左右，可见能在SOSP上发表论文真的是所有操作系统相关研究者的无上荣誉。

综述：
SOSP'09于09年10月在美国蒙大纳州召开，网址http://www.sigops.org/sosp/sosp09/index.html。其论文截稿期为09年3月9日，审稿期为3个月。除了ACM和USENIX，没有发现其它的企业赞助商。特别值得一提的是，SOSP'09的KeynoteSpeech演讲者为最新获得图灵奖的Barbara Liskov教授。

议题：
SOSP'09不指定具体的议题，其征稿领域包括：
1）操作系统； 2）文件和存储系统； 3）分布式系统； 4）移动系统；
5）嵌入式系统； 6）安全系统，容错性，系统管理； 7）P2P系统； 8）虚拟技术；

会议委员会：
SOSP的组织委员会始终是美国佬+欧洲人，啥时才能有个华人进去啊……
SOSP'09的程序委员会有33个人，华人有如下4个：

Peter Chen，密西根大学具名教授；
Helen Wang，女，微软雷蒙德研究院高级研究员；
YuanyuanZhou（周圆圆），女，UIUC副教授，北大本科毕业，博士导师是普林斯顿的计算机大师李凯教授，这师徒俩在华人计算机学者中都很出名，Google或者Baidu一下能找到好多介绍；
Zheng Zhang（张峥），微软亚洲研究院副院长，复旦电子系本科毕业，华人计算机领域很有名气；

论文评析：
SOSP'09共录用论文23篇，分为8个Session：可扩展性、设备驱动、I/O、调试、并行调试、内核、集群、安全，可见SOSP研究的是计算机系统非常底层和基础的部分。
这23篇论文来自几家科研机构，以第一作者单位计算，其中微软一家独中7篇（甚为生猛！），MIT、UC Berkeley、UTAustin、NICTA UNSW各中2篇，CMU、EPFL、ETHZurich、Wisconsin-Madison、UCLA、UCSD、Cornell、Utah各中1篇。简单概括之，SOSP'09的论文几乎全部来自美国和欧洲的几所顶尖高校和科研机构，其作者群构成相当稳定。
Session 1: Scalability (Chair:Jeff Dean, Google)

FAWN: A Fast Array of Wimpy Nodes

David G. Andersen (Carnegie Mellon University), Jason Franklin(Carnegie Mellon University), Michael Kaminsky (Intel ResearchPittsburgh), Amar Phanishayee (Carnegie Mellon University),Lawrence Tan (Carnegie Mellon University), Vijay Vasudevan(Carnegie Mellon University)
【个人评析】这篇文章从头读到尾，清晰明白、通俗易懂，几乎没遇到任何障碍，原因很简单——文章的想法非常简单，全文没有一行数学公式，也没有什么复杂算法，果然符合SOSP强调系统、踏实苦干的风格！
中心思想是使用低功耗的闪存节点搭建快速、可扩展、节省能量的Key-Value查询平台，关键点在“节省能量”。虽然Amazon的Dyanmo系统已经实现了大规模、分布式、商业化的Key-Value查询平台并夺得SOSP'07最佳论文，Yahoo!的PNUTS系统又针对Dynamo的数据一致性进行了优化（发表在VLDB'08），但它们都以磁盘作为数据存储介质，能耗要远远高于闪存。这几年以节省能源为指导思想的“绿色计算”如火如荼，本文可谓顺应形势、找到了一个很好的研究角度。
FAWN系统架构比较简单：最底层是分布式的闪存存储节点，然后用一个类似Chord的DHT总控节点来组织管理底层闪存节点，FAWN-DHT的构造和维护比Chord要简单很多，毕竟它不像P2P那样要运行在高动态性的Internet环境中。在DHT节点和闪存节点、用户接口和DHT节点之间各有一道Cache以提高访问性能，这种方法非常传统，没什么好说的。
FAWN系统的问题自然是很多的，因为使用闪存代替硬盘本身就是一件很冒险的事情，比如闪存的存储容量较小、单位GB的价格较高、可擦写次数较少、与主流硬件架构不一致等等。不管怎么说，创新也好，冒险也罢，确实是一件实实在在的突破性工作。

RouteBricks: Exploiting Parallelism to Scale SoftwareRouters

Mihai Dobrescu (EPFL) and Norbert Egi (LancasterUniversity/Intel Research), Katerina Argyraki (EPFL), Byung-GonChun (Intel Research), Kevin Fall (Intel Research), GianlucaIannaccone (Intel Research), Allan Knies (Intel Research), MaziarManesh (Intel Research), Sylvia Ratnasamy (Intel Research)
【个人评析】RouteBricks是由Intel LabsBerkeley于08年开始的一个网络研究项目，主页是http://routebricks.org/，这个主页做的还真是简洁漂亮，不得不赞叹一下。参与该项目的还有瑞士EPFL、英国Lancaster大学、UCBerkeley的学者，可谓五湖四海、阵容强大。RouteBricks项目的部分成果已在NSDI'08、SIGCOMMWorkshop-PRESTO'08上发表。
RouteBricks项目的理想非常宏大：用商品化PC重构Internet基础架构，从最本质的层面颠覆和重塑现有Internet系统结构！虽然我个人觉得这个想法不怎么靠谱，万一真的实现了那么Cisco、华为、中兴岂不是都得去喝西北风？但美国人就是敢想敢做，不服不行。
细节方面，RouteBricks的核心理念是使用基于PC集群的软件路由器来替代传统的基于服务器的硬件路由器，这样做的好处有：便于开发和重新设计、低成本等，总结起来的口号是“更简单、更节省”。
考虑到现有Internet架构已广泛部署、根深蒂固，RouteBricks设计了一些机制来实现从传统Internet架构到RouteBricks架构的过渡（革命尚未成功，就给前辈想好了退路，真是眼光长远），比如一机双工、虚拟化等。
RouteBricks已做出一些原型系统，比如用四台服务器的集群来构造一个称为RB4的软件路由器，RB4有4个端口，每个端口数据率10Gbps。可以使用Click软件包来对RB4编程。

The Multikernel: A New OS Architecture for ScalableMulticore Systems

Andrew Baumann(ETH Zurich), Paul Barham (MSR Cambridge), Pierre-Evariste Dagand(ENS Cachan Bretagne), Tim Harris (MSR Cambridge), Rebecca Isaacs(MSR Cambridge), Simon Peter (ETH Zurich), Timothy Roscoe (ETHZurich), Adrian Schüpbach (ETH Zurich), Akhilesh Singhania (ETHZurich)

Session 2: Device Drivers (Chair:Philip Levis, Stanford)

Fast Byte-granularity Software Fault Isolation

Miguel Castro(Microsoft Research), Manuel Costa (Microsoft Research), J.P.Martin (Microsoft Research), Marcus Peinado (Microsoft Research),Periklis Akritidis (Microsoft Research and Cambridge University),Austin Donnelly (Microsoft Research), Paul Barham (MicrosoftResearch), Richard Black (Microsoft Research)

Tolerating Hardware Device Failures in Software

Asim Kadav(University of Wisconsin-Madison), Matthew J. Renzelmann(University of Wisconsin-Madison), Michael M. Swift (University ofWisconsin-Madison)

Automatic Device Driver Synthesis with Termite

Leonid Ryzhyk(NICTA, UNSW), Peter Chubb (NICTA, UNSW), Ihor Kuz (NICTA, UNSW),Etienne Le Sueur (NICTA, UNSW), Gernot Heiser (NICTA, UNSW, OpenKernel Labs)

Session 3: Debugging (Chair:Yuanyuan Zhou, UCSD)

Automatically Patching Errors in Deployed Software

Jeff H. Perkins(MIT), Sunghun Kim (HKUST), Sam Larsen (VMware), Saman Amarasinghe(MIT), Jonathan Bachrach (MIT), Michael Carbin (MIT), CarlosPacheco (BCG), Frank Sherwood, Stelios Sidiroglou (MIT), GregSullivan (BAE AIT), Weng-Fai Wong (NUS), Yoav Zibin (Come2Play),Michael D. Ernst (U. of Washington), Martin Rinard (MIT)

Debugging in the (Very) Large: Ten Years of Implementationand Experience

Kirk Glerum(Microsoft), Kinshuman Kinshumann (Microsoft), Steve Greenberg(Microsoft), Gabriel Aul (Microsoft), Vince Orgovan (Microsoft),Greg Nichols (Microsoft), David Grant (Microsoft), Gretchen Loihle(Microsoft), and Galen Hunt (Microsoft)

Large-Scale System Problem Detection by Mining ConsoleLogs

Wei Xu (UCBerkeley), Ling Huang (Intel Research Berkeley), Armando Fox (UCBerkeley), David Patterson (UC Berkeley), Michael Jordan (UCBerkeley)

Session 4: I/O (Chair:Peter Chen, Michigan)

Better I/O Through Byte-Addressable, PersistentMemory

Jeremy Condit(Microsoft Research), Edmund B. Nightingale (Microsoft Research),Christopher Frost (UCLA), Engin Ipek (Microsoft Research), DougBurger (Microsoft Research), Benjamin C. Lee (Microsoft Research),Derrick Coetzee (Microsoft Research)

Modular Data Storage with Anvil

Mike Mammarella(UCLA), Shant Hovsepian (UCLA), Eddie Kohler (UCLA/Meraki)

Operating Systems Transactions

Donald E Porter(The University of Texas at Austin), Owen S Hofmann (The Universityof Texas at Austin), Christopher J Rossbach (The University ofTexas at Austin), Alexander Benn (The University of Texas atAustin), Emmett Witchel (The University of Texas at Austin)

Session 5: Parallel Debugging (Chair:Jeff Chase, Duke)

Do You Have to Reproduce the Bug at the First ReplayAttempt? -- PRES: Probabilistic Replay with Execution Sketching onMultiprocessors

Soyeon Park (UCSan Diego), Weiwei Xiong (University of Illinois atUrbana-Champaign), Zuoning Yin (University of Illinois atUrbana-Champaign), Rini Kaushik (University of Illinois atUrbana-Champaign), Kyu H. Lee (Purdue University), Shan Lu(University of Wisconsin-Madison), Yuanyuan Zhou (UC SanDiego)

BDR: Bug-Deterministic Replay of MultiprocessorPrograms

Gautam Altekar(UC Berkeley), Ion Stoica (UC Berkeley)

Session 6: Kernels (Chair:Timothy Roscoe, ETH Zurich)

seL4: Formal Verification of an OS Kernel

Gerwin Klein(NICTA, UNSW), Kevin Elphinstone (NICTA, UNSW), Gernot Heiser(NICTA, UNSW, Open Kernel Labs), June Andronick (NICTA), David Cock(NICTA), Philip Derrin (NICTA), Dhammika Elkaduwe (NICTA, UNSW,University of Peradeniya), Kai Engelhardt (NICTA, UNSW), MichaelNorrish (NICTA, ANU), Rafal Kolanski (NICTA, UNSW), Thomas Sewell(NICTA), Harvey Tuch (NICTA, UNSW), Simon Winwood (NICTA,UNSW)

Helios: Heterogeneous Multiprocessing with SatelliteKernels

Edmund B.Nightingale (Microsoft Research), Orion Hodson (MicrosoftResearch), Ross McIlroy (University of Glasgow, UK), ChrisHawblitzel (Microsoft Research), Galen Hunt (MicrosoftResearch)

Surviving Sensor Network Software Faults

Yang Chen(University of Utah), Omprakash Gnawali (USC), Maria Kazandjieva(Stanford University), Philip Levis (Stanford University), JohnRegehr (University of Utah)

Session 7: Clusters (Chair:David Andersen, CMU)

Distributed Aggregation for Data-Parallel Computing:Interfaces and Implementations

Yuan Yu(Microsoft Research), Pradeep Kumar Gunda (Microsoft Research),Michael Isard (Microsoft Research)

Quincy: Fair Scheduling for Distributed ComputingClusters

Michael Isard(Microsoft Research), Vijayan Prabhakaran (Microsoft Research), JonCurrey (Microsoft Research), Udi Wieder (Microsoft Research), KunalTalwar (Microsoft Research), Andrew Goldberg (MicrosoftResearch)

UpRight Cluster Services

Allen Clement(UT Austin), Manos Kapritsos (UT Austin), Sangmin Lee (UT Austin),Yang Wang (UT Austin), Lorenzo Alvisi (UT Austin), Mike Dahlin (UTAustin), Taylor Riché (UT Austin)

Session 8: Security (Chair:Stefan Savage, UCSD)

Language Runtime Support for Application SecurityInvariants

NickolaiZeldovich (MIT), Alex Yip (MIT), Xi Wang (MIT), Frans Kaashoek(MIT)

Heat-ray: Combating Identity Snowball Attacks using MachineLearning, Combinatorial Optimization and Attack Graphs

John Dunagan(Microsoft Research), Alice X. Zheng (Microsoft Research), DanielR. Simon (Microsoft)

Fabric: A Platform for Secure Distributed Computation andStorage

Jed Liu(Cornell University), Michael George (Cornell University), K.Vikram (Cornell University), Xin Qi (Cornell University), LucasWaye (Cornell University), Andrew C. Myers (CornellUniversity)