Ten Years

(HotOS'05 Note)Are Virtual Machine Monitors Microkernels Done Right?

2008-02-26T20:03:00.003+08:00

Are Virtual Machine Monitors Microkernels Done Right?
Steven Hand, Andrew Wareld, Keir Fraser, Evangelos Kotsovinos, Dan Magenheimery
HotOS'05

看到作者列表中熟悉的名字，就知道这是来自"The Xen guys"的声音。Xen的大获成功毫无疑问大大提高了他们的影响力，更多的人愿意聆听他们对OS的理解；当然，也有少数人不愿意听到这样的理解（如Heiser）。

2000年，Rob Pike发表"Systems Software Research is Irrelevant"，痛斥System研究者不思进取，所做的研究在学术界外毫无影响力，再无80-90年代初那种轰轰烈烈的创新。3年以后，Xen横空出世，2年的飞速发展及在工业界的巨大影响力，让Hand等人有了底气。

本文对VMM和Microkernel的一些异同点进行了对比，提出："We argue that modern VMMs present a practical
platform which allows the development and deployment of innovative systems research: in essence, VMMs are microkernels done right."

首先，文章从历史的角度指出两者有很多共性，特别是在目标上；很多时候两者的界限非常模糊，比如denali是VMM，但uDenali可以属于Microkernel；L4开始时Microkernel，但后来发展成可以运行多个不同的OS。

两者不同的地方有以下三点：

Avoid Liability Inversion: Microkernel itself depends on application level components, such as pagers, to make forward progress. Various inelegant timeout and fallback mechanisms were required to avoid deadlock.
Make IPC Performance Irrelevant: First, since VMMs hold isolation to be a key goal, IPC between virtual machines is considerably less common in general. Secondly, we have determined that a clear separation between control and data path operations allows us to optimize for the common case.
Treat OS as Component: Guest OS need few/none changes. Compatibility.

Microkernel有很多优点，而VMM也可以实现：

Narrow interfaces between system components providing easy extensibility of device and OS functionality. Indeed, it seems very likely that the exploration of how services and management will be structured in a multi-OS VMM system will continue to present many exciting research opportunities.
A small code base that can guarantee security more easily than monolithic kernels. Several groups have expressed interest in developing these ideas for Xen, using concepts from projects such as the Flask-derived SELinux.
Strong isolation providing opportunities for improved manageability. recently by VMMs has been to explore less performance-centric aspects of systems development. (e.g. migration, log&replay)

最后总结：Microkernel的许多优点，VMM也都能实现；而VMM能够运行商业OS的特性，对现有应用提供更好的兼容性使得其走出学院，更多地在工业界发挥影响力，这是Microkernel所不具备的。

马上，就会有一篇激烈的文章来反驳Hand，作者就是L4的开发人员，来自澳大利亚的Heiser。

AF_INET和PF_INET的区别

2007-01-30T02:03:00.000+08:00

在写网络程序的时候，建立TCP socket一般是这样的：
sock = socket(PF_INET, SOCK_STREAM, 0);
然后在绑定本地地址或连接远程地址时需要初始化sockaddr_in结构，其中指定address family时一般设置为AF_INET，即使用IP。

问题是AF_INET和PF_INET到底有什么区别，甚至很多参考书上都是混用。今天查了一下相关头文件的定义，找到了答案。

AF = Address Family
PF = Protocol Family
AF_INET = PF_INET

所以，理论上建立socket时是指定协议，应该用PF_xxxx，设置地址时应该用AF_xxxx。当然AF_INET和PF_INET的值是相同的，混用也不会有太大的问题。

Thin-Clien Computing论文阅读指南 -- 3 WBT系统

2007-01-30T01:51:00.000+08:00

3. WBT系统

WBT系统就是Windows终端，基于RDP协议。RDP是Windows远程协助、远程桌面的基础。WBT在服务器端需要Windows终端服务，通信使用RDP协议。

Citrix Systems, Citrix MetaFrame 1.8 Backgrounder, Technical White Paper, Fort Lauderdale, FL, June 1998.
Citrix公司的MetaFrame是最早的在Windows NT上支持多用户图形化登录的系统，后来核心功能卖给了M$，于是诞生了Windows NT 4.0, Terminal Server Edition(TSE)，M$之后就有了Terminal Server的产品线（现在是Server版的标准功能，甚至XP里也有，只不过只支持1个用户）。这篇文章还介绍了当时Citrix当时和M$的协议。MetaFrame使用ICA（Independent Computing Architecture)协议，现在也依赖于Windows终端服务，可以看作RDP的高级版。

Microsoft Corporation, Microsoft Windows NT Server, Terminal Server Edition, Version 4.0: An Architectural Overview, Technical White Paper, Redmond, WA, 1998.
前面提到了NT 4.0 TSE，第一个Terminal Service。对终端服务的结构有比较细致的描述。（推荐阅读）

Microsoft Corporation, Microsoft Windows Server 2003: Technical Overview of Terminal Services, Technical Article, Redmond, WA, 2004.
Windows 2003版的，不过M$是越来越抠门了，实质性的内容比上一篇更少。

Databeam Corporation, A Primer on the T.120 Series Standard, Technical White Paper, Lexington, KY, May 1997.
RDP协议最初基于T.128（用于NetMeeting），属于T.120协议族，这篇文章有些基本的介绍。

ITU-T Recommendation T.128: Multipoint Application Sharing. Telecommunication Standardization Sector of International Telecommunication Union (ITU), 1998.
T.128标准，RDP 4和T.128很相似。如果要实现分析RDP协议，这篇文档很有帮助。

Performance and Sizing of Compaq Servers with Microsoft Windows NT Server 4.0, Terminal Server Edition. Compaq Computer Corporation, Houston, TX, 1998.
HP NetServer Performance and Sizing Guidelines: Microsoft Windows NT 4.0 Server, Terminal Server Edition. Hewlett-Packard Company, Cupertino, CA, 1999.
Windows Server 2003 Terminal Server Capacity and Scaling. Microsoft Corporation, Redmond, WA, 2003.
关于Windows终端服务的性能规划问题，内容大同小异。

H.L. Yu, W.M. Zhen, and M.M. Shen, Extending the Power of Server Based Computing, Proceedings of the 4th International Conference on Computational Science (ICCS2004), June 2004, pp. 242-249.
清华的朋友写的，关于NC的实现，可以看作国内CPU+NC开发工作的一个典型。也提到了本地解码支持视频播放。（推荐阅读）

Thin-Clien Computing论文阅读指南 -- 2 Thin-client应用

2007-01-30T01:50:00.001+08:00

2. Thin-client应用

先说说thin-client的应用，这些文章一般都在IT应用的会议和期刊，主要是关于thin-client的优劣势问题，可以帮助理解thin-client。但是说对研究thin-client有什么作用，似乎主要是增加reference数量和完整性:-)

Don McIntosh and Rich Bom, Server-Based Computing: Back to the Future Solves Enterprise Desktop Problems, Proceedings of the IEEE International Conference on Management of Innovation and Technology (ICMIT), Volume 2, November 2000, pp. 732-737.

Andrej Volchkov, Server-Based Computing Opportunities, IEEE IT Professional, Volume 4, Issue 2, March-April 2002, pp. 18-23.

Thin-Clien Computing论文阅读指南 -- 1 概念

2007-01-30T01:50:00.000+08:00

（注：由于内容比较多，现在没有那么多时间一下写完，先来个连载吧。）

Thin-client computing不是一个范围很广的主题，这里尝试针对这个主题给出一个快速阅读指南。

1. 概念

Thin-client computing是将计算任务集中在服务器端从而使用简单的（“瘦”的）客户端访问桌面计算环境的一种技术。代表性的thin-client有Windows终端（Windows Based Terminal，简称WBT）、Sun Ray、VNC等。某种意义上说，thin-client是大型主机（mainframe）时代的文本终端的现代图形化版本。按照其定义来讲，使用telnet的远程终端（或者SSH终端）也是符合thin-client定义的，因为所有计算都是在远程主机（remote host）上完成。不过，现在通常在说thin-client时，都隐含了使用图形界面的意思。由于thin-client computing的关键之一是远程访问图形界面，X终端有时也被当作thin-client，尤其是在进行比较的时候，因为X Window本质上就是网络透明的，可以从远程访问桌面环境，例如通过XDMCP。但是X Server实在是太“胖”了（注意是X server运行在X终端一边！），而且缺少stateless特性（前面列举的thin-client的重要特性），最重要的是X在设计时并有thin-client方面的考虑，所以我认为除了在分析远程显示机制时，不应当将X终端当作thin-client。

一个相关的概念是网络计算机（Network Computer, NC）。国内对NC的概念提的比较多，尤其是伴随着国产CPU纷纷选择thin-client应用作为重要的应用模式。NC的概念最早由Oracle和Sun等公司于1995年提出，并制定了NC参考标准（Network Computer Reference Profile）。最初NC是基于Java技术的，只能运行Java编写的程序，应用受到了很大的限制。现实一点的说法是最初NC概念伴随着Java OS等技术的失败而夭折了。（也许Java OS的概念太前驱了吧，我有朋友有幸参与到Java OS的开发，虽然大家尽了最大的努力，但是还是……我对Java OS没有偏见，也许是生不逢时吧，看看最近很火的VMM，也许有一天人们还会想起它。）后来，随着Windows终端服务的普及，基于Windows远程桌面协议（Remote Desktop Protocol, RDP）的WBT开始广泛应用，NC的概念开始和thin-client等同起来，也包括国内的大多数所谓“NC”（可以看看“北大众志NC”哦:P）。目前的现状是国外的论文一般使用thin-client，国内NC用的比较多。

由于典型的thin-client系统都是把计算任务集中在服务器端的，客户端只负载输入和显示等，一些文章也使用server centric computing， server based computing等术语表示和thin-client computing相似的概念。我的理解是强调了不同的方面，一般可以互换，但thin-client可能还是广泛些，因为从概念上讲没有说计算一定是server based。总之，在检索文献时也可以查查server centric/server based。另外，thin client有时也指一种设计模式，如在面向对象的设计环境中，不过似乎在2000年之后的就专指现在的概念了。

(Paper Note)The Design of a Transport Protocol for On-Demand Graphical Rendering

2007-01-24T22:30:00.000+08:00

Albert F. Harris, III and Robin Kravets
NOSSDAV 2002

为远程传输3D模型数据开发了一种传输协议——OGP(On-Demand Graphic Transport Protocol)。

关键是根据应用的特点，设计partial ordering，partial reliability的传输协议，介于TCP和UDP的特性之间。3D模型数据可以表示为一个树形结构，每个子树的根节点描述了一个区域，子节点是对该区域的细化描述。所以子节点是依赖于父节点的，但由于兄弟节点表示的区域之间没有重叠，兄弟节点之间没有依赖关系。所以半序的传输是可以接受的。同时，丢失一个子树只影响到一个区域，传输不必是完全可靠的。

OGP对于模型节点进行封装（节点都较小，小于MTU），然后传输，在封装时要注意保证半序性。封装后的包进行传输，拥塞控制采用TCP New-Reno方案，但由于其特性比TCP更简单。重传不是必须的，当用户不关心相应区域时可以不进行重传。

这篇文章从传输内容的特点出发设计专用的传输协议，类似用RTP传输视频流，有一定借鉴意义。相关工作部分也提到了Video streaming的传输问题。

写点什么吧

2007-01-24T00:17:00.000+08:00

前一段时间一直在忙论文，有一段事件没有更新blog了。其实更重要的是主要的时间都花在写论文上了，没有什么时间看新的东西，自然也就没有什么好写在blog上的了。不过这一段时间也感觉到自己的脑子像被倒空了一样，需要再补充一下了！

总之，今天开始更新blog~~~~~~~

投中DCC'07 POSTER，纪念一下

2006-12-24T22:23:00.000+08:00

今天是平安夜，一个好日子。下午收邮件，DCC commitee的邮件早早就到了，他们23号下午就发出来了，还挺快的。结果还算不错，中了POSTER，“A Fast Lossless Codec of Continuous-Tone Images for Thin Client Computing”。3个reviewer，一个给3.5 - Definitely as poster, weak as paper，一个给4.0 - Accept as paper，还有一个只给了1.5 - Borderline accept as poster。这篇paper是投的第一篇，本来也没有抱有很大的希望，只是觉得review速度比较快，能有些review意见就好，可以帮助改paper。能中POSTER也算喜出望外吧:-)

另外，还有一个教训，就是图表一定要清晰！给3分的那个reviewer的意见如下：
The paper is generally well written, though the english needs to be improved and the figures are ugly/blurry/unprofessional. The complexity results look very good.
Please define all acronyms when you introduce them.
The nomenclature in Figure 2 should be improved; for example, sensitivity and selectivity.
Figure 4 is very hard to read - consider putting this information in a table instead of in a figure.
说不定图表搞得好点，就可以中full paper了，呵呵！以后可要吸取教训，一定要把图中的文字大小调整好，插入的格式也得注意，要保证最终图像的清晰！

一些学术会议信息的网络资源

2006-11-18T18:28:00.000+08:00

Upcoming Conferences

Operating Systems (and some relevant Systems and Architecture) Conferences (Livio Baldini Soares, University of Toronto): http://www.eecg.toronto.edu/~livio/os/conferences.shtml
WWW Computer Architecture Page (Architecture Group at the University, Wisconsin-Madison): http://www.cs.wisc.edu/arch/www/conferences.htm
Computer Science Related Conferences (BITS, Pilani, India): http://www.bits-pilani.ac.in:12356/facultypage/conflist.htm
Networking conference dates (Tim Moors, University of New South Wales): http://www.ee.unsw.edu.au/~timm/netconf/
Call for Papers (华中科技大学网格计算平台): http://grid.hust.edu.cn:8080/call/cfp.jsp

Impact of conferences

Estimated impact of publication venues in Computer Science (higher is better) - May 2003 (CiteSeer): http://citeseer.ist.psu.edu/impact.html
Computer Science Conference Rankings (Guofei Gu, Georgia Tech): http://www-static.cc.gatech.edu/~guofei/CS_ConfRank.htm
Networking Conferences Statistics(Kevin C. Almeroth, UCSB): http://www.cs.ucsb.edu/%7Ealmeroth/conf/stats/

导师谈博士研究(2): 读论文、写论文

2006-11-03T16:22:00.000+08:00

1 目前大家的一些通病

目前大家做论文时的一个通病就是急躁，不能把自己的工程实践和论文发表很好的结合起来。老师提了以下建议。

a 注意平时积累，整理工作日志，记录好临时产生的思想火花。阅读到好的内容、段落要记录，多考虑哪些内容可以加以利用。

b 加强paper阅读，尤其是经典的范例论文，要注意写读后感。注意论文被引用时的别人对它的评价。

c 不要人云亦云，加强回溯，对基本概念要清晰，要追溯，要追问。

2 写论文的几个注意

经常被人引用的论文一定要仔细读，至少读三遍。第一遍读，要忘掉自己，以欣赏的眼光来读，读懂论文内容；第二遍读，要细读，仔细对基本概念、核心思想等进行逐字逐句的阅读，可能一些内容反复琢磨也不甚了了，不要紧；然后要放下，读其它的文章，放上几天，第三遍读，要有针对性的读，针对以前自己比较含糊的部分，以及读其它论文的感悟进行，这一次结合已经阅读的其它论文，尤其是别人的评论，会有更多的感悟，常常有“原来是这样的”感觉。

写论文时，不要过于求新求大，不要想所有内容都有所创新，那是不可能的。一篇论文有70%都是已有的东西，只有30%是创新的内容。只在一两个点上“打人”，不要全面开花攻击别人已有的工作。一篇好的论文，关键是三点：新颖、可信、实用。所以，论文关键要写清楚为什么做（motivation），怎么做的以及为什么这么做，其中为什么最为重要！。

写论文，其实很简单，难是难在做实验和研究，在形成文章时要像高考一样，限定deadline，一气呵成。建议找一段比较安静的时间（比如晚上），花六、七个小时一口气完成初稿，不要拖泥带水，就好比高考作文，到点就要交，限定时间完成初稿。当然改文章无论如何都是比较痛苦的，必须要细致，有耐心。跳出来，站在reader的角度，站在reviewer的角度多考虑。

导师谈博士研究(1): 综合考试与开题

2006-11-03T15:21:00.001+08:00

（推出《导师谈博士研究》系列！根据我的导师对我的博士研究的指导进行整理。）

1 什么是博士综合考试，什么叫开题

综合考试：考察基础课程是否已经学好，是否有进一步培养的潜力，是否有理论和实践相结合的能力。重点是考察在实践基础上思考的能力。

开题工作：就是预研工作，主要考察研究的基础是否已经具备。包括：a 选题的意义是否已经具备，包括理论意义和时间意义；b 是否源于现实，高于现实；c 是否具有把握国际定向的能力。关键点在于：对所研究的领域有比较充分全面的认识，上至起源，下至热点，以及为了五年到十年内的主要问题等都要有比较好的把握。所以，要注意：既不能太虚太大，也不能太具体太细节。

已有论文情况：对相关领域已有论文及其引用情况的了解，是开题工作中的重要部分。在完成开题工作时，对如下三类论文必须有较为全面细致的了解。

a 学科环境和条件。对于一个学科的基本外部环境和研究条件，应当有全面的认识，对相关的基本概念和结论，要有正确的认识和把握，应该熟悉相关的经典文献。例如，在做芯片设计时，必须对对基本概念有准确的把握，对工艺技术的发展有一定了解，包括：亚微米、深亚微米、超深亚微米等概念，国际半导体工艺的发展和预期路线（ISTR）等。只有读透最权威的论文，才能厚积薄发。要注意这些学科环境和条件在大时间尺度上发生的特殊变化，了解原因，分析对自己研究工作的影响。例如：分析微电子工艺发展趋势对设计中性能、功耗目标有何影响，分析为什么2000年后最新的工艺首先要应用在微处理器制造，而不是之前的DRAM制造等等。同时，相关的产业趋势及发展速度也是需要关注的一个问题，这从一个侧面反映了相关领域研究的重要性和发展前途。
b 具体研究领域之综述。对于自己从事的具体研究领域，要认真分析和总结相关的综述性文献。了解和分析该领域的起源、重大历史事件等，对相关背景、变革和需求等要深入思考背后的原因。
c 有代表性的博士论文。除了代表性博士论文本身的技术路线和研究内容以外，还应当重点分析文中给出的背景、动机和相关工作，并结合自己的工作进行分析和比较，对自己的研究进行拔高。关键在于要能够分析出论文的作者是怎样做出这些工作的，以及和自己工作状况的异同点。对于related works，要重点分析各个工作解决的问题和存在的问题，尤其是存在的问题，很可能就是自己工作的突破点。对于存在的问题，可以着重从假设的正确性等入手，从原文中的评论（drawbacks部分）和他人引用时的评论中分析和提取。

开题报告：主要包括如下内容。

简介
背景
相关工作
研究动机
技术路线（技术思路、实验设计、数据分析方法等）
进度安排

2 杂项话题

关于做博士研究：要立志于做胡杨而不时做灌木。关键在于自信，而自信源坚韧不拔和脚踏实地态度。

关于做报告：做报告的人要努力让听众易于理解，听报告的人要积极的提出建议，尤其是全局性的建议。

关于说服：写论文，是要说服别人，在说服别人之前，先要说服自己。这要求将自己放在公正客观的角度去审视自己的工作。关键在于point of view。

关于思路：一定要有开放的思路，要open。仔细思考别人为什么做、怎么做，想透之后再推翻别人的结论。要采用“改进->refine->创新”的思路来做工作。

X下视频显示支持方式

2006-10-19T15:09:00.000+08:00

（主要截取自FreeBSD的文档。）

在X11下有几种可以显示图像的方式。到底哪个能工作很大程序上依赖于硬件。首先，下边描述的每一种方法在不同的硬件上都会有不同的品质。其次，在X11里的图像显示近来引起普遍的关注，随着 Xorg 或 XFree86 的每一个版本，都会有很大的突破。

　　常见图像接口列表：

X11: 一般性的使用共享内存的X11输出。
XVideo: 一种X11接口扩展，支持任何X11图像的可拖拉。
SDL: 简单直接媒体层。
DGA: 直接图片存取。
SVGAlib: 低层次掌控图片层。

XVideo
Xorg 和 XFree86 4.X 有种扩展叫做XVideo (或称Xvideo, Xv, xv)，它可以通过一个特殊的加速器直接把图像显示在可拖拉的对象里。即使在低端的计算机 (例如PIII 400 Mhz膝上电脑)，这个扩展也提供了很好的播放质量。要了解这一扩展是否在正常工作，可以使用 xvinfo 命令。

SDL
简单直接媒体层(SDL)，原意是做为 Microsoft® Windows®、BeOS 以及 UNIX® 之间的端口层，允许跨平台应用发展，更高效地利用声卡和图形卡。SDL 层可以在低层访问硬件，有时这样做就比 X11 接口层更为高效。

DGA
直接图形存取 (Direct Graphics Access) 是一种 X11 扩展，通过它，应用程序能够绕过 X 服务，并直接修改画面缓存 (framebuffer)。由于它依赖一种底层的内存映射来实现其功能，因此使用它的程序必须以 root 身份来执行。DGA 扩展可以通过dga(1) 来完成测试和性能测量。运行 dga 时，它将随按键改变现实的颜色。按 q 退出这个程序。

(OSDI'02 Note)Scalability and Accuracy in a Large-Scale Network Emulator

2006-10-11T20:16:00.000+08:00

Amin Vahdat et al.
OSDI 2002

本文提出了一套用很少的PC仿真大范围的类似Internet环境的系统。

在开发Internet Service软件原型的时候（如P2P系统及其他分布式服务），常常需要有一个大规模的网络环境用于调试。但是部署、管理、配置新的软件原型非常麻烦。于是作者希望通过用少量的PC来仿真大范围的网络环境，开发了一个系统：ModelNet。

一台服务器级别的PC，可以仿真上千个节点。

可以在牺牲准确率的前提下选择更多的节点。

使用了ModelNet评测CFS，得到了与标准相同的结果。

具体的实现没有仔细看，知道一下有人在做这事。

PS. 这篇论文署名的有七个人，hoho

(SOSP'03 Note)Backtracking Intrusions

2006-10-11T10:29:00.000+08:00

Samuel T.King, Peter M. Chen

本文针对入侵攻击提出了一种分析入侵过程的方法，以帮助被入侵者恢复系统。

技术上的目标是如何从探测到系统被入侵向前回溯到入侵者开始影响系统的那一点。作者开发了一个系统叫做BackTracker，包含两大部分：
1. 在线的日志记录
        日志记录可以有几个级别：Machine-level, OS-level, Network-level, Application-level等，级别越低，获得的信息越丰富，反之，语义越清晰。BackTracker采用了OS-level。
       记录的内容主要包括两种：
        1.1. Object: process, file, filename
        1.2. dependence: Process-Process dependence, Process-file dependence, Process-filename dependence
2. 离线的日志分析
         通过分析第一部分得到的记录，得到和入侵进程或文件相关的依赖图，从而可以清晰地看到入侵过程及其影响到文件或进程。

Brady的看的Enabling Intrusion Analysis through Virtual-Machine Logging and Replay那篇文章也是关于入侵分析的，感觉Information Control或许对rdesktop的分析能有点启发。

(SOSP'05 Note)IRON File Systems

2006-10-10T23:11:00.000+08:00

IRON File Systems
Vijayan Prabhakaran et al.
SOSP 2005

对于硬盘故障提出了fail-partial model，引入了Internal RObustNess（IRON）分类方法，开发了failure-policy fingerprinting框架，对一些典型的文件系统进行了分析，总结比较了其故障处理策略，最后介绍了IRON file system原型系统ixt3（基于ext3）。

TBC

(SOSP'03 Note)Improving the Reliability of Commodity Operating System

2006-10-10T11:46:00.000+08:00

Michael M. Swift et al.
SOSP 2003

本文提出了一种改进商业操作系统可靠性的方法。

动机明确且很有说服力：
1. Computer system reliability remains a crucial but unsolved problem.
2. OS extensions have become increasingly prevalent in commodity systems such as Linux and Windows.
3. Extensions are a leading cause of operating system failure.

OS extensions are optional components that reside in the kernel address space and typically communicate with the kernel through published interface. 包括设备驱动、文件系统、病毒检测、网络协议等。

本文在实现reliability的前提下兼顾extensibility。在这两个方面，前人已经做了很多工作，采用的方法也很丰富：
1. new kernel architecture
2. new driver architecture
3. user-level extensions
4. new hardware
5. type-safe language
这些方法最致命的缺点在于其backward compatibility很差，已有的系统必须做彻底的改动才可以。

而本文提出的系统Nooks则在对现有OS或driver做little or no change 的基础上，通过隔离driver的错误和Kernel来达到reliability，且加入了跟踪机制以从错误中迅速恢复。实现的关键点在于提出了一个lightweight kernel proctection domain，driver不再是放任自流的状态，而是运行在这个受控的domain中，driver的一言一行都将被记录和控制，从而达到了有效隔离和恢复的目标。其实可以认为是在user-mode和kernel-mode之间又加入了一个中间mode。

该方法的缺点可能在于：
1. 只能应用于performance-insensitive的环境
2. 针对的目标仅仅是OS extensions，对kernel很信任，而这其实也正是本文的出发点。

(OSDI'02 Note)ReVirt: Enabling Intrusion Analysis through Virtual-Machine Logging and Replay

2006-10-08T18:01:00.000+08:00

ReVirt: Enabling Intrusion Analysis through Virtual-Machine Logging and Replay
George W. Dunlap et al.
OSDI 2002

本文讨论了在VMM基础上利用Log机制实现攻击分析。又是一篇讨论攻击（Intrusion）分析的论文，而且包含热门关键词（VMM）。其中为了Logging/Replay，又牵涉到了Fault-Tolerance的一些技术。

本文提出了目前的log机制无法满足以下两点：

Integrity: 对kernel过于信任，攻击者可以对Log文件进行任意的改动，或者制造很多无用Log信息混淆视听。本文的解决方法是把整个系统放在VM中运行，将Log的层次放在VM之下。由于VM的接口相对于OS来说要窄得多，所以记录下的事件也就相对来说少了很多个数量级。

Completeness: 没有记录下重现攻击所必需的信息，导致最后对攻击的很多判断不得不靠猜测。本文的解决方法是使用fault-tolerance的技术，如checkpointing, logging, roll-forward recovery等。

本文的实现以UMLinux为基础（UMLinux，即User Mode Linux，与User-Mode Linux是两个不同的虚拟机。前者将虚拟机和虚拟机上运行的所有的应用程序作为一个进程，而后者则为虚拟机上的每一个应用程序单独开一个进程）。ReVirt是在UMLinux之下的Logger，它会记录下所有的确定性和非确定性事件，从而能做到完全回放。产生的Log大小可以接受，能够长时间（几个月）的在一块本地硬盘上记录Log。

PS: 再想一下，这样做会有什么不足呢？我能想到的只有：

引入虚拟机后带来的性能下降，导致与真实情况存在差异

无法证明记录虚拟机产生的时间与记录OS产生的事件等价

(Note)FreeVGA: Architecture Independent Video Graphis Initialization for LinuxBIOS

2006-10-06T11:26:00.000+08:00

Li-Ta Lo et al

LinuxBIOS广泛使用于集群计算的应用，当前它也受到网络设备、桌面和虚拟应用开发者的关注。网络设备、桌面和虚拟应用需要支持多种多样的VGA硬件设备，而LinuxBIOS并不支持多样的VGA硬件。为解决该问题，本文提出了一个处于LinuxBIOS和VGA BIOS之间的兼容层，以来模拟VGA BIOS运行时需要的环境。该兼容层是以x86emu为基础的x86模拟器。

使用非传统方法初始化VGA显卡的方法：

SVGLib：一个提供支持老款VGA显卡通用接口的库。使用x86处理器的vm86模式来执行VGA BIOS，vm86模式下运行32位的程序没异样，但运行16位的代码时它就像是运行在传统8086CPU上。缺点是不可移植，难以调试。[http://www.svgalib.org/]

ADLO：在LinuxBIOS中增加一个BOCH BIOS，LinuxBIOS加载BOCH BIOS和VGA BIOS，并跳到BOCH BIOS执行，BOCH BIOS提供传统BIOS的环境并执行VGA BIOS。缺点是难以调试。[Adam Agnew, Adam Sulmicki, Ronald minnich, Willian Arbaugh. Flexibility in ROM: A stackable open source bios. In 2003 USENIX Annual Techinical Conference]

VIA/EPIA Port：实现一个跳板（trampoline）以在16位和32位模式之间切换，运行VGA BIOS直接在16位模式运行，但使用32位C代码来模拟标准的BIOS回调功能。缺点是不可移植，难以调试。

XFree86：为了支持多体系结构（但使用的仍是x86的显卡），在LinuxBIOS中加入一个x86模拟器x86emu，将VGA BIOS rom中的代码拷到内存有x86的模拟器执行。缺点是VGA硬件的初始化比较晚。[http://www.xfree86.com/]

FreeVGA：和XFree86类似，但对硬件的初始化比较早，并且使用以x86emu为基础的x86模拟器。

相关文章：
AMD. BIOS and Kernel Developer's Guide forAMD Athlon 64 and AMD OpteronProcessors, May 2003.
Richard F. Ferraro. Programmer's Guide to theEGA, VGA, and Super VGA Cards. AddisonWesley,1994.
Ron Minnich, James Hendricks, and Dale Webster.The Linux BIOS. In Proceedings of theFourth AnnualLinux Showcase and Conference, Atlanta, GA,October 2000.
Gregory R. Watson, Matthew J. Sottile, Ronald G.Minnich, Erik A. Hendriks, and Sung-EunChoi.Pink: A 1024-node single-system image linux cluster.In Proceedings of HPC Asia2004, Toyko,Japan, July 2004.

(SOSP'05 Note)Speculative Execution in a Distributed File System

2006-10-05T16:41:00.000+08:00

Speculative Execution in a Distributed File System
Edmund B. Nightingale et al.
SOSP 2005

本文讨论了在分布式文件系统中支持进程级推测执行的问题。一个激动人心的主题。

Speculative Execution不是一个新的技术，在CPU设计中已经广泛使用。IA-64的EPIC架构中，speculative execution就是一个很重要的主题。（想想还是六、七年前接触这个词了。）作者将其思想应用在进程级别，修改OS使之支持进程speculative execute，并在失败时rollback。Introduction中是这样说的：
"We demonstrate that, with operating system support for lightweight checkpointing, speculative execution, and tracking of causal interdependencies between processes, distributed file systems can be fast, safe, and consistent. Rather than block a process while waiting for the result of a remote communication with a file server, the operating system checkpoints its state, predicts the result of the communication , and continues to execute the process speculatively. If the prediction is correct, the checkpoint is discarded; if it is false, the application is rolled back to the checkpoint."

作者的动机很清晰。NFS之类的分布式文件系统，虽然client端有cache，但为了保证cache的一致性，仍需要使用同步的远程调用对cache进行确认。由于cache不一致的概率是很低的，如果OS可以支持speculative execution，那么可以让进程先按照cache里的内容继续执行，同时异步地向服务器进行查询，发现错误后对进程进行回滚。作者明确列出了这种推测执行方法适用地条件：
1. The results of speculative operations are highly predictable.
2. Checkpointing is often faster than remote I/O.
3. Modern computers often have spare resources.

要推测执行，首先要在开始推测时建立checkpoint，以便rollback。本文所采用的方法是：在系统调用的入口进行fork，利用fork的copy-on-write机制，为进程构造推测执行的副本，并对内核对象进行跟踪，记录必要的undo操作。为了保证其正确性，需要确保下面两个条件：
1. Speculative state should never be visible to the user or any external devices.
2. A process should never view speculative state unless it is already speculatively dependent upon that state.

文章用了很多篇幅讨论因果依赖关系的传播问题，包括各种对象如何传播依赖关系等，例如：本地内存、本地文件、管道、FIFO、socket、signal等等。作者在NFS和BlueFS（作者开发的一个分布式文件系统）上应用了speculation技术。NFS中处理修改操作时，通过将依赖关系通知server（需要修改底层RPC），在Server一端解决了推测假定的判断问题，也算是一种bypass吧。

当然，speculation execution也不是作者发明的，请看作者对其工作的定位：
"To the best of our knowledge, Speculator is the first support for multi-porcess speculative execution in a commodity operating system and the first use of speculative execution to improve cache coherence and write throughput in distributed file systems."

P.S. 对于分布式文件系统的cache coherence问题，已有的一些策略如下：
1. polling the file server－向服务器确认cache是否有效，NFS和BlueFS是此类；
2. callbacks－由服务器通知客户端，AFS和Coda属于此类；
3. leases－客户端获得排他访问租约，SFS（也用callback）和Echo属于此类。

总之，一篇好文章，推荐大家读读。不同领域的思想嫁接，很棒！不过，我还没有想清楚除了DFS，还有什么应用可以用speculative execution。

(SOSP'03 Note)Xen and the Art of Virtualization

2006-10-03T20:36:00.000+08:00

Paul Barham et al

Xen VMM(Virtual Machine Monitor)是由剑桥大学计算机实验室开发的一个开源项目，他能够在一台服务器上创建独立运行的很多虚拟机，每个虚拟机上运行一个功能相对独立的服务或应用程序，避免了多个服务或应用程序运行在一个操作系统下时引起的冲突。从另一个角度讲，就是将原来的进程级资源管理提升到了操作系统级资源管理。

Xen相关入门资料：http://www.csdn.net/subject/xen/

(SOSP'05 Note)Hibernator: Helping Disk Arrays Sleep through the Winter

2006-10-03T16:40:00.000+08:00

Hibernator: Helping Disk Arrays Sleep through the Winter
Qingbo Zhu et al.
SOSP 2005

本文讨论了数据中心中磁盘阵列节电的问题。

服务器磁盘阵列的耗电在整个服务器耗电中所占的比例是比较大。与CPU节电等使用动态速度、电压调整技术相比，磁盘的速度切换是比较困难的（需要相关硬件支持，SONY有产品），也是比较慢的（10s级别），代价也是比较高的（会影响磁盘寿命，也启动磁盘时耗电量很大）。作者讨论的磁盘阵列节电技术，仍然从降低磁盘旋转速度出发，但充分考虑了上述因素，采用了大时间粒度的调整策略，将磁盘阵列按照速度分层（tier），每层的磁盘速度相同，但层之间可能不同。根据性能监测结果，采用temperature-based方法将数据在速度不同的各层之间有效分布（访问多的放在高速运行的磁盘上）。在各层内部，仍然使用RAID5存储数据。

除了基本思想，文章讨论了数据分布的问题，对于relocation blocks(RBs)，可能需要根据temperature在层之间移动，怎样减小移动次数当然很重要。

另外，由于数据中心可能会对提供的服务性能作出承诺，若何保证性能在合同许可范围之内也是一个问题。一个简单的思路就是如果性能下降到阈值，就将所有硬盘调整到全速。

如果熟悉动态电压调整（DVS）等CPU功耗的话题，读读这篇文章可能会收获些新的角度、新的思考。

(SOSP'03 Note)Transforming Policies into Mechanisms with Infokernel

2006-10-02T23:05:00.000+08:00

Andrea C. Arpaci-Dusseau et al

文中从机制和策略分离的角度描述了一种操作系统向更flexible、appropriate的方向演化的方式，提出了一个Infokernel的概念：We name an operating system that has been enhanced to expose internal information an inforkernel.其中一个重要的思想基础是机制和策略的概念是相对的，而非绝对的，这样，OS相对user application来说就成为一种机制。文章围绕如何将OS作为一种机制暴露给用户级应用程序展开。

首先，描述了因此而产生的Benefits：
1. 能够向OS施加控制；
2. 用户级应用程序利用掌握的OS信息可以改进自身性能；

提出了因此而衍生的几个设计中需要关注的问题：
1. 作为一把双刃剑，OS应该向应用程序暴露多少信息呢？
2. 应用程序之间应该暴露多少信息给对方呢？
3. 何时添加机制，而非简单地暴露信息？

(SOSP'03 Note)Upgrading Transport Protocols using Untrusted Mobile Code

2006-09-29T11:00:00.000+08:00

Parveen Patel, Andrew Whitaker, David Wetherall, Jay Lepreau, Tim Stack

在更新以TCP为主导的网络协议时，目前现状是通信双方须同时各自更新，而从事实角度来讲，这是极不现实的，本文针对此问题提出了一种叫做STP的方法，改方法的目标和策略如下：
GOAL: provide this "two-ended" upgrade in a practical form
APPROACH: allow developers to freely write transport extensions that require new code at both endpoints and then use mobile code techniques to remotely upgrade both endpoints

STP包含如下组件：
1. 在socket层之下、网络层之上，加入STP Sandbox，其中包括了STP API，以及内存和cpu运行时监视，实现了无缝地、安全地使用新传输协议，在已有网络应用程序无需任何更改的情况下，可以安全地使用新传输协议。
2. Policy manager负责选择双方的传输协议，以及传输协议的安全策略；
3. Trusted Tool-Chain负责本地编译新的传输协议。如果Policy manager的输出结果表明一方仍用TCP，则会自动下载新传输协议并编译，供以后传输使用。

本文其实也可以归为解决legacy applications领域的相关文章。

还从这篇文章中看到几个工具：
一种安全的C：Cyclone，http://cyclone.thelanguage.org/
一个路由器模拟器：dummynet，http://info.iet.unipi.it/~luigi/ip_dummynet/

启动VNC服务

2006-09-28T19:12:00.000+08:00

前一段时间在搭建VNC的环境，使用方面有点问题，今天查了一下，在FC2上搞定了。特此记录。

FC2安装时选上vncserver，然后启动vncserver服务：
$ service vncserver start
Starting VNC server: [ OK ]
然后设置密码：
$ vncpasswd
Password:
Verify:
运行vncserver，可以加上参数“:2”之类指定桌面号：
$ vncserver
……
这样就搞定了。就可以使用vncviewer连接vnc桌面了。

缺省的，vncserver启动的窗口管理器是twm，在~/.vnc/xstartup中修改一下就可以用GNOME或KDE了。用GNOME就将twm替换成gnome-session，用KDE就替换成startkde。

Why frames are dropped even with low cpu utilization ?

2006-09-28T18:54:00.000+08:00

网上看到一篇文章，讨论Multimedia和Kernel的调度的问题。
作者发现在2.4.17的内核上播放很流畅，在2.4.18上却有问题，CPU并不忙，但却丢帧。奇怪的是使用O(1)调度器的新内核似乎都会丢帧。

其实CPU调度只是媒体播放中的一个影响因素，媒体文件的解码、渲染等都有不同的软件组件参与，性能与各方面都有关系。

作者对于Kernel的影响尝试做了一些分享，写了一个simulator。具体内容参看：http://cambuca.ldhs.cetuc.puc-rio.br/~miguel/multimedia_sim/

depth和bpp的差别

2006-09-28T17:51:00.000+08:00

今天在看xine代码时解开了一个困扰我许久的谜团，就是depth和bpp到底有什么差别？

xine的video output中的fb output中有一段注释解释了这个问题。就X的术语而言，depth指实际的颜色深度，如15位、16位、24位等，bpp指用于实际用于像素表示的位数，应当是8的倍数，不会小于depth，但可能和depth不同。例如对于R5G5B5即15位的depth，bpp应该为16，24位depth，bpp可能为24，也可能为32。

(OSDI'02 Note)Defensive Programming: Using an Annotation Toolkit to Build DoS-Resistant Software

2006-09-27T20:10:00.000+08:00

Xiaohu Qie et al

防御性编程一般有以下几种方法：

* 异常监测：以正常为基准，根据system-call的调用顺序来判断程序的行为是否正常。但是这种方法无法判断出资源被耗尽的情况。
* 性能监控：一般用profiling-based detection，本文的方法是在源程序中插入代码，不但能进行监控工作，而且可以进行预先保护。
* 静态分析：meta-level compilation，基于一些规则对代码进行分析，如"kernel code cannot call blocking functions with interrupts disabled"等。
* 新的OS机制：如用Resource Container取代了Process，将资源与执行域分离。

BTW：本文第三作者Larry Peterson，普林斯顿大学的大牛，写过《计算机网络》。

VLC、FFmpeg相关的一些资料

2006-09-26T22:14:00.000+08:00

VLC media player (From Wikipedia)

是仅有的两款同时支持Window、GNU/Linux、BSD Unix、Mac OS X、Solaris的播放器之一（还有一款是MPlayer，xine不支持Windows）。它支持多种codec和多种file formats。对codec的支持大部分来自FFmpeg项目提供的libavcodec库，同时还用了libdvdcss库来解码播放DVD。

VLC有不同的前端：
* RC, Remote Control, to control VLC media player from a distant computer.
* HTTP, to control VLC media player from a web page. It uses AJAX.
* telnet, using the telnet protocol.
* GUI, which is written in Cocoa under MacOSX, and wxwidgets under Linux/Windows.
* skins2, a higly personnalisable skinable interface.

FFmpeg (From Wikipedia)
是一个工具集合，用来录制、转换、流化音视频。包括以下部分：

ffmpeg is a command line tool to convert one video file format to another. It also supports grabbing and encoding in real time from a TV card.

ffserver is an HTTP (RTSP is being developed) multimedia streaming server for live broadcasts. Time shifting of live broadcast is also supported. Note that this is very buggy and unlikely to work.

ffplay is a simple media player based on SDL and on the FFmpeg libraries.

libavcodec is a library containing all the ffmpeg audio/video encoders and decoders. Most codecs were developed from scratch to ensure best performance and high code reusability.

libavformat is a library containing demuxers and muxers for audio/video container formats.

libavutil is a helper library containing routines common to different parts of FFmpeg.

顺便附上来自wikipedia的各种Media Player的比较，几乎涵盖了所有能见到的类型，太赞了！
Comparison of media players

(SOSP'03 Note)Model-Carrying Code: A Practical Approach for Safe Execution of Untrusted Applications

2006-09-26T22:06:00.000+08:00

Model-Carrying Code: A Practical Approach for Safe Execution of Untrusted Applications
R.Sekar, V.N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C.Duvarney

自从第一个病毒开始出现后，系统安全就毋庸置疑地成为计算机系统的一个重要领域，尤其在当今，网络盛行，各类应用名目繁多，各种应用程序应接不暇。有些程序确实从一定程度上为计算机用户带来了方便，但在享用这些便利的同时却也在承担着极大的风险：自己的数据可能会被正在运行的程序破坏，操作系统可能会被正在运行的程序crash掉，...目前在OS级并没有很好的安全方面的支持。

本文提出了一种叫做MCC（Model-carring code）的框架，可以保证untrusted code的安全执行。以前有些方法是将安全执行的机制保障放在code producer端，对源代码做静态检查，因为没有深入查资料，我想是不是由编译器保证呢，还是在编译完成后再用其它工具处理；有些方法是放在code consumer端，我能想到的例子例如在新安装完应用程序时，防火墙会提醒等等。因为很多时候是没有应用程序的源代码的，所以，第一种方法无法保证，而第二种方法则只能在运行时才进行，这时已经有潜在风险了。MCC方法的思想其实是对二者进行了综合，建立了一座连接code producer和code consumer的桥梁，感觉是取其精华，弃其糟粕吧。

(OSDI'04 Note)Program-Counter-Based Classification in Buffer Caching

2006-09-26T10:11:00.000+08:00

Chris Gniady et al

本文将一种技术（基于PC的预测）应用到另一个领域（OS中的Buffer Caching）。

基于PC的预测，在体系结构中应用非常广泛，包括
*　Branch prediction
*　Optimize energy
*　Cache management
*　Memory prefetching
*　I/O activities prediction
但是在OS中，没有被利用到。

Buffer Caching的一个重要问题是block replacement，目前常用的就是LRU。但LRU无法识别出哪些访问属于sequential，哪些属于loop。所以有了Pattern-based buffer replacement scheme，将cache分块，每个子块对应一种pattern。对每一个子块，采取不同的replacement算法，并动态调整大小。

对于子块的划分方法，即Buffer Caching Classification，目前有Per-application、Per-file、Per-PC的方法，本文讨论的就是第三种方法。

核心思想：There is a strong correlation between the program context from which I/O operations are invoked and the access pattern among the accessed blocks, and the call instruction that leads to the I/O operations provides an effective means of recording the program context.

开博工具总结

2006-09-26T10:02:00.000+08:00

"十年"开张也有一段时间了，对相关的工具也有了一些摸索，总结一下。

Blogger，用起来还是不错的，毕竟google的东东嘛。页面很干净。缺点就是现在还不支持分类、标签什么的，感觉像是大杂烩:-( 另外有时需要定制模版的HTML，比较麻烦，当然也比较彻底。

Google AdSense，很不错，关键字有时候抓的还是很准的，比如有IBM Linux、RDP等方面的广告。当然最关键还是能不能把Money汇给我，呵呵~~~~

SiteMeter，计数器，我还比较满意，会发具体的报告给我。其实，我是对目前的访问量比较满意，^_^

Google SpreadSheet，用来share表格，还比较好用，自动保存功能很实用。目前基本把其它几个个人的表格也放上去，和好友们分享一下。

Blogger for Word，一个Word插件，可以直接提交到blog上可以用，但格式要注意，不能用表格等复杂格式，最好就是光写字。字最好选小四号，否则太小（可能也和blog模版有关）。有的时候关闭Word时会崩溃。

Zoundry Blog Writer，相当不错，就是要占50MB内存！可以方便的下载blog文章，并另存为HTML文件，很赞。当然在本地编辑还是很方便的。注意：我发现一个bug，就是如果blog用的编码是UTF-8，而Zoundry用中文的界面，则上传时会报告无法转换成Unicode，无法上传。使用英文界面就可以了。现在我只用Zoundry，推荐一下！

AMD Streamload，网络硬盘，免费的是25GB，每月可下载1GB（我记不清了）。有一个客户端，还比较好用，缺点就是.Net 2.0的，需要download一个几十MB的包……

(HotOS'03 Note)Towards a Semantic-Aware File Store

2006-09-26T09:42:00.000+08:00

Towards a Semantic-Aware File Store
Zhichen Xu et al.
HotOS 2003

作者是HP Lab的，做了一个叫做pStore的semantic-aware file store。基本思想就是在file system之上建立一套可以管理文件属性语义的存储系统。和之前一篇文章（Why can't I Find My Files?）不同，本文主要讨论语义的保存及应用的架构，对于语义如何获得没有太多描述。这可能与其研究动机有关吧，作者介绍了数字电影制作的情境，大量的素材，大量的版本，大量的文件……也许这种情形之下用户很愿意自己输入文件属性？毕竟像《怪物史莱克》之类的影片都是大制作嘛。

作者列举了一些常用的语义：文件版本、基于应用程序的相关性、基于属性的语义、基于内容的语义、基于上下文的信息。

作者讨论了语义表示（使用RDF）、schema演化、整体framework等问题。

(HotOS'03 Note)Flexible OS Support and Applications for Trusted Computing

2006-09-26T09:24:00.000+08:00

Flexible OS Support and Applications for Trusted Computing
Tal Garfinkel et al.
HotOS 2003

讨论可信计算的问题，使用VMM支持。一种Open-box，一种Close-box。好像前者主要用于支持现有的OS？总之close-box可以提供更好的可信控制。

可信技术方面的文章我也看了好几篇，还是没有太多兴趣。其主要问题集中在trusted platform，tamper，attestation等方面，数字签名等密码学工具是必备的。

粗粗的浏览了一遍，没有什么好说的了……

(HotOS'03 Note)Hardware Works, Software Doesn't: Enforcing Modularity with Mondriaan Memory Protection

2006-09-26T00:26:00.000+08:00

Hardware Works, Software Doesn't: Enforcing Modularity with Mondriaan Memory Protection
Emmett Witchel et al.
HotOS 2003

本文讨论（内核）模块边内存界保护的问题，基于称为Mondriaan Memory Protection(MMP)的细粒度内存保护硬件机制进行研究。MMP是作者发表在ASPLOS 2002中的Mondriaan Memory Protection一文中提出的。

MMP支持32-bit字的许可粒度，可以为内存保护提供很精确的控制。类似与TLB，MMP硬件包含称为protection lookaside buffer (PLB)的高速缓存，以提高速度。

在内核中使用MMP，需要解决几个主要的问题：
1. Memory supervisor，关于bootloader及保护域创建问题；
2. Stacks and threads，关于栈的分配和权限问题；
3. Cross-domain calls，关于跨保护边界的调用，call gate、return gate等。熟悉x86保护模式应该很容易接受这些概念。

对于硬件支持OS内存保护机制的问题，我向来兴趣不大。我认为在今天CPU arch和OS的发展现状下，同时修改任何两者难度很大，很多时候保证兼容性是压倒一切的。（当然，我也知道这样有些偏颇，更准确的应该说是我自己的研究思路是这样。）

文章中对于相关工作的总结不错。提到了各种保护机制：
1. Nooks：使用已有硬件支持驱动程序安全（我印象中是用分页）；
2. Palladium：综合使用x86的分页和分段，但是share libraries很难使用分段实现，Palladium用分页实现，论文：SOSP 1999，Integrating segmentation and paging protection for safe, efficient and transparent software extensions.；
3. Capabilities：比较早，1966年，用在IBM AS400之类的系统上；
4. Lightweight remote procedure call (LRPC)：类似于RPC，需要进行data marshaling and copying，在跨越保护边界时比较费；
5. Safe language：语言级别的保护，如类型安全语言（我觉得Cyclone应该算这一类），缺点是单一语言较难利用软件遗产，还有就是编译器的可信赖等问题；
6. Modern static analysis and model checking：对OS进行静态分析和模型检查（OSDI 2004上有几篇相关文章）。

推荐使用本地Blog编辑器：Zoundry

2006-09-25T17:47:00.000+08:00

很不错的一个本地Blog编辑器，可以下载所有的Blog，并单独保存为HTML页面。而且可以支持撤销操作，比Browser中编辑要方便一些。

下载地址： Zoundry

(Note)A Memory-efficient Huffman Decoding Algorithm

2006-09-25T17:14:00.000+08:00

Pi-Chung Wang, Yuan-Rung Yang, Chun-Liang Lee and Hung-Yi chang
IEEE Proc. AINA’05

这是一篇针对如何降低Huffman树内存成本及提高解码速度的文章，很兴奋，因为关于Huffman的文章基本都是上世纪50年代到90年代的，终于看到一篇2005年的文章，所以在这里跟大家分享一下。

在作者提出文中的算法之前，已有一些前辈针对优化Huffman树内存成本及解码速度提出了一些算法，起初是由Hashemian在1995年提出了一种算法：首先将Huffman树变换为Single-side growing Huffman树，这样就可以利用Single-side growing Huffman树的特性减少存储信息量。为了减少sparse引起的内存浪费，将Huffman树截为深度比较小的几棵子树，然后分别存储Huffman子树，需要的额外信息就是指出如何将这些Huffman子树拼接起来。97年，99年分别有两篇文章针对Hashemian的方法进行了改进，但改进很有限。直至2005年，Pi-Chung Wang从另一种思维入手，使得针对优化Huffman树内存成本及解码速度有了很大改进。核心思想是每个码字对应于多个内存地址，只存储码字与内存首地址即可，将内存占用降低到了nd位,其中n表示码字个数，d表示Huffman树的深度；在解码时，这样的数据结构可以采用二分搜索，从而搜索复杂度为O(logn)。

这些想法真神奇，不知怎么想出来的。

(HotOS'03 Note)Why cant I Find My File?

2006-09-24T22:43:00.000+08:00

Why can’t I Find My Files? New methods for automating attribute assignment
Craig A.N. Soules
HotOS 2003

本文讨论基于属性的文件管理检索系统中的属性赋值问题。对于Attribute-based naming系统，the key challenge is assigning useful, meaningful attributes to files.通常的有用户输入和内容分析两种方法。用户输入很麻烦，而内容分析太复杂，还有专有文件格式、数据类型问题。作者在文章讨论了context analysis方法。具体包括：access-based context analysis和inter-file context analysis。作者借鉴了Web搜索引擎的思路：Web search engines, however, have found greater success obtaining attributes by combining content analysis with context analysis.

Access-based context analysis
a) Application assistance，如邮件的标题对附件的说明
b) Existing user input，如文件路径对文件内容的说明

Inter-file context analysis
a) User access pattern，如用户连续打开的文件往往相关
b) Inter-file content analysis，如类似有些文件利用hash函数去除块的重复存储，可以对文件内容进行分析。（还记得compare-by-hash吗？）这对于文件的多个版本很有作用。

PS：读的时候反而是对Google的搜索技术更感兴趣一些，感觉自己在向铁杆GFans前进，呵呵

谁能告诉我x86emu的主页在哪里？

2006-09-24T21:48:00.000+08:00

想去了解一下x86emu项目，搜索了一下，竟然没有搜到项目主页，也许是太老了吧。
搜出来的主要都是IDA-x86emu（IDA的x86emu插件）和X中的x86emu（用于支持第二块显卡的初始化等）。

XFree86中为了支持显卡ROM中提供的代码（显卡BIOS等）采用了x86emu项目，这个在FreeVGA那篇文章也提到了。

关于二进制翻译（Binary Translation）

2006-09-24T21:03:00.000+08:00

目前比较活跃的有：

Walkabout
前身是UQBT，开始时静态的二进制翻译架构，后来演化成动态的。现在有Sun维护，改名为Walkabout。

DAISY: Dynamically Architected Instruction Set from Yorktown
开源项目，目前由IBM维护。

下面这几个网页对Binary Translation有一个较为详细的介绍：https://secure.wikimedia.org/wikipedia/en/wiki/Binary_translation
http://personals.ac.upc.edu/vmoya/translation.html
http://www.ifi.unizh.ch/richter/people/pilz/oct/index.html

(HotOS'03 Note)Cosy: Develop in User-Land, Run in Kernel-Mode

2006-09-24T17:41:00.000+08:00

Cosy: Develop in User-Land, Run in Kernel-Mode
Amit Purohit et al.
HotOS 2003

这篇文章的动机就不用说了，还是kernel crossing问题。只不过更加激进一些，将system call和相关代码一起打包，送到内核态下去了。Cosy exploits zero-copy techniques and code aggregation to achieve better performance without reducing the security.注意code aggregation，我觉得这是和multi-call等方法的差别，是其特点。

内核做了一些扩展，包括cosy_init, cosy_run, cosy_uninit。
编译器做了一些扩展，Cosy-GCC，支持各种控制结构。
做了一个库，Cosy-Lib，buffer management是一个重要问题。

安全方面，主要通过内核抢占防止死循环，用x86 segmentation来进行内存保护。

一个例子。原始代码：
-----------------------------------------------------------
cosy_init();

COSY_START();
ifd = open(ifile, O_RDONLY);
ofd = open(ofile, O_WRONLY);
do {
  rlen = read(ifd, buf, 4096);
  wlen = write(ofd, buf, rlen);
} while (wlen == 4096);
COSY_END();

cosy_unit();
-----------------------------------------------------------
经过编译，变成：
-----------------------------------------------------------
cosy_init();

cosy_start();
cosy_open(&ifd, ifile, O_RDONLY);
cosy_open(&ofd, ofile, O_WRONLY);
cosy_do();
  cosy_read(&rlen, ifd, buf, 4096);
  cosy_write(&wlen, ofd, buf, 4096);     /*文中是这样，我认为应该是rlen*/
cosy_while(wlen, “==”, 4096);
cosy_run();
cosy_uninit();

(HotOS'03 Note)An Analysis of Compare-by-hash

2006-09-24T16:35:00.000+08:00

An Analysis of Compare-by-hash
Val Henson
HotOS 2003

作者就研究中越来越广泛的使用hash函数作为快速比较方法的倾向进行了分析。很多的研究工作，都使用SHA-1等Hash函数作为比较的唯一标准，例如一些网络文件系统的块cache命中算法。有人认为密码学hash函数的冲突概率要比硬件出错的概率还要低，所以支持直接使用hash函数作为比较标准，而不再对hash冲突进行检查。

作者对这种将密码学hash函数应用推广到通用应用倾向提出了质疑，认为compare-by-hash方法有以下一些问题需要认真分析。
1．输入的随机性。实际使用compare-by-hash的应用的输入并不像期望的那样真正具有随即性。
2．密码学hash函数有一些特点：short-lived（一般只有有限的时间窗口）；Obsolescence can occur overnight（一旦攻破，立即过时）；Obsolescence is inevitable；Upgrade strategy required。而通用的软件可能会使用10年以上的时间。
3．Hash冲突可能导致silent，deterministic， hard-to-fix errors。这种错误可能是相当危险的。
4．Comparing probabilities。可以构造出一些例子证明会改变hash函数本身的冲突概率。
5．Software and reliability。作者认为软件不应对硬件错误概率听之任之，而应该增加软件手段去改进。所以，hash冲突概率低于硬件错误概率的论据是站不住脚的。

作者也提出其它可选的方案，总结其特点就是keep some state。另外，结合具体应用的特点进行评估也很重要。作者反对的是不加区分的使用compare-by-hash，实际上hash方法确实有很多好处，有巨大的吸引力。

作者文中提到fingerprints（指纹）方法作为一种替代方法，让我想起了B. O. Christiansen的博士论文Data Compression for Thin Client Computing中Fast block motion detection的核心思想之一就是利用图像元素的“指纹”（特征）。

关于Compare-by-hash，对于thin client研究中也许有一些启发……

(OSDI'04 Note)Enhancing Server Availability and Security Through Failure-Oblivious Computing

2006-09-24T14:51:00.000+08:00

Martin Rinard et al

这篇文章提出了一个很有意思的想法：
如果一个函数发生了非法内存访问，那么一般情况下会有两种结果：1、抛出一个Exception，如果程序没有接到，或者压根就没法接（比如C），那么退出。2、非法操作成功，继续执行下去，整个程序处于不稳定状态。

那么能否有第三种方法：忽略它。更详细一点，就是说没有Exception，也不会有什么操作，简单的进行函数返回，只不过返回一个杜撰出来的值，这个值可能是错的，也可能没有意义，不过总比让整个程序崩溃了要好一些，而且很可能逻辑中对函数的返回值会做检查，从而能将预料外的非法变成预料中的非法。对于某些程序来说，这样做是可以接受的。这，就是作者所谓的Failure-Oblivious Computing。

本文主要是对内存访问的错误操作提出了方案，改写了一个编译器，在一些地方插入了内存访问的检查指令，如果不合法，则返回一个杜撰值。

对于具体的实现细节，并没有看的很细，觉得有这样一个想法就已经很不容易了（或者很容易？）。同样是为了提高服务的Availability，有人想出了Isolation（虚拟机）：死了不要影响别人；有人想出了Fail-Stop：要死赶快死；有人想出了Oblivious的方法：好死不如赖活。呵呵，真的很好玩。

(OSDI'04 Note)CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code

2006-09-24T11:16:00.000+08:00

Zhenmin Li et al

本文核心内容：使用数据挖掘技术来分析大型程序中可能存在的因为Copy-Paste产生的Bug。

Copy-Paster可能引起很多Bug，往往是因为没有修改Paste过去的代码中应该修改的地方。对这个问题，目前有一定的研究，但是存在几个问题：
1、分析的效率：对于大型程序，如Linux、数据库等，分析速度非常慢。
2、分析的智能性：目前的一些分析工具，只做到检验出哪里存在Copy-Paste的代码，而无法判断是否存在bug，需要人工分析。

本文为这两个问题作出了贡献：
1、使用数据挖掘技术，使得效率大大增加
2、使用了一定的算法，自动监测可能存在Bug的Pattern
另外，还有一点：
3、统计功能：分析出哪些模块使用Copy-Paste方法较多等等统计信息

实现的技术难点有两点：
1、如何判断代码属于Copy-Paste
2、如何判断Bug

对于第一点，目前大致有三种方法：
1) string-based: divided into strings (typically lines)
2) parse-tree-based: pattern matching on parse-tree and sub-tree
3) token-based: duplicate token sequences are identified
本文采用第三种方法，认为这是最精确的。

对于第二点，文章的思路比较简单：
对于两段被认为是Copy-Paste的代码中，分别找到不同的token的个数，然后看个数是否匹配。一般来说，如果第一段中token1出现了4次，而第二段中token2出现了3次，token1出现了1次，那么很有可能第二段中那个token1应该改成token2。
当然，也不能这么绝对，作者还有一个很简单的算法，即测量修改的和没有修改的比率，如上面的例子中就是0.25。然后对这个比率采用一个阀值，低于一定的阀值，就很有可能是Bug。

个人感觉：
这篇论文的思路很清晰，一个限制条件——针对大规模程序，一个创新点——自动分析Bug。呵呵，这也许是比较典型的论文吧。

修改了模版，可以展开评论了

2006-09-23T17:19:00.000+08:00

和blog模版战斗了半个多小时，终于可以让评论直接显示出来了！

blogger的一个缺点就是图形化的定制比较差，需要自己去改HTML代码。真不知道那些非专业人士怎么办？

（简介）PCI Extension ROM

2006-09-23T01:28:00.000+08:00

PCI Spec 2.2

很多PCI设备都带有自己的ROM（比如网卡，显卡），里面存放着设备的特有初始化代码（代码类型有可执行的和解释型的，俗称BIOS），并且这个ROM是和主芯片分离的。

当系统BIOS做POST时，会检测各个PCI设备的头部结构中的Extension ROM BAR寄存器，如果实现了这个寄存器（bit0为1）就表示该设备包含Extension ROM，需要做设备特有的初始化。通过往这个寄存器写全1的数，然后再读出来得到一个mask，此mask表示需要为ROM提供多大的映射内存地址空间。

Extension ROM存放的是多个image，每个image的功能一般是一样的，但是它们的内容格式确是不同的，多个image是为了要支持不同的体系结构，各个image由image头部中的vendorID和deviceID识别。每个image的头2个字节固定为0xAA55，用于定位ROM的位置。

ROM内容的格式主要有：PC/AT, Open Firmware Spec, HP Spec。当前比较常用的是PC/AT。
对于PC/AT格式，第2个字节表示image有多少个512字节是有用的初始化代码（即需要搬运到RAM的代码大小），第3，4个字节是一个指向INIT entry的偏移指针，程序最后通过这个指针跳到ROM的初始化代码处去执行。

（简介）基于上下文的连续色调图像的无损压缩

2006-09-22T23:09:00.000+08:00

图像无损压缩是指可以完整地重建图像。连续色调的图像其近邻象素趋于和当前象素相等或相近，为了充分利用这一特性，目前比较流行的图像无损压缩算法大都为基于上下文的算法，这类算法通常分为两步：建模和编码。
1. 建模：扫描象素并建立概率模型。基于上下文的方法通常并不直接编码象素，而是使用预测器，对预测误差进行编码。关于概率模型，有一个基本公认的事实，认为预测误差可以用Two-sided Geometric 分布很好地建模，当然，也有一些认为概率模型更应该符合laplace分布或介于正态分布和Two-sided Geometric 分布的分布。
2. 编码：以概率模型为基础使用接近熵的方式编码。关于编码方式，各种方法大都是以Golomb编码为基础，按照各自的概率模型加以改进。

(SOSP'03 Note)Performance Debugging for Distributed Systems of Black Boxes

2006-09-22T22:37:00.000+08:00

Marcos K. Aguilera, HP labs

作者针对大型分布式系统难以定位性能瓶颈的问题，在很难拿到所有组件的源代码，且对整个系统有良好控制能力的专家很少的情况下，提出了一种适用于message-based系统的黑盒方法，由以下三步组成：
1. 使用网络sniffer工具trace系统中互相通信的各节点的message，并记录每个节点处理message的delay;
2. 对trace数据分析统计，得到doniment casual paths;
3. 将结果以图像化的方式显示出来。

PS: 开篇选择这篇是想看看对调试rdesktop是不是能有点帮助，以为是在讨论如何调试不开源的软件，不过后来发现对performace debugging产生误解了，转为开始想，那会不会对rdesktop的性能评测多点启发呢？看完全篇，终于彻底相信这篇论文解决的问题的大环境是distributed systems，且更倾向于分布在多节点上协同工作的系统，对rdesktop这样的简单环境貌似无用武之地。

下午参加YOCSEF报告会——无线传感网络

2006-09-22T20:13:00.000+08:00

今天下午，Andy、Brady、Vivian去北航参加了YOCSEF的报告会，主题是：无线传感网络（Wireless Sensor Network）

经过一周的版本整合，UZ-2.0封版了，定格与build-37。之后Andy、Brady、Vivian火速前往北航参加YOCSEF的报告会。其间接到版本相关电话若干:-)

报告的主题是Wireless Sensor Network （WSN），应当算是pervasive computing的一部分吧。此次会议的执行主席之一史元春教授（清华大学计算机系）是中国计算机学会（CCF）普适计算专业委员会的主任。

第一个报告，计算所的崔莉博士介绍了她们在WSN方面的几个应用项目的情况。其中一个项目是故宫的书画展示监测系统，很有意思。

第二个报告，北邮的周正教授介绍了超宽带（UWB）无线通信技术的一些进展，包括对WSN的支持。比较偏重通信方面。介绍一些相关标准进展情况，如IEEE 802.15 WPAN（无线个域网）相关标准等。

第三个报告，清华的任丰原博士介绍了WSN研究的一些历史、现状和展望，分析了WSN研究的主要问题、思路。更侧重网络方面，提到了TinyOS的左右、发展等。

回来的路上大家讨论很热烈，总体感觉收获很多，特此记录

访问量超过100！

2006-09-22T20:09:00.000+08:00

现在是2006年9月22日晚上20:00，“十年”开张的第9天。
访问量达到了100！
庆祝一下！！

第三次学术沙龙

2006-09-22T10:09:00.000+08:00

昨天晚上第三次学术沙龙在Plato顺利举行，Andy、Brady、Vivian、Water参加。

Water介绍了LOBOS的论文。大家讨论了其基本思想，但是对于其研究动机还是不太清楚。Water还会在去了解一下。BTW，Water已经把笔记贴上来了，很神速:P
另外，大家还就上次讨论的VGA BIOS问题聊了一下。Water发了Paul提供的binary translation资料，大家有不少收获。继续跟进吧……

Vivian介绍了最近看的Huffman编码的一些文章，除了Andy其他人都比较晕。很正常，对没有关注的领域直接进入深层内容难度还是很大的。但总结一下，几个基本方向还是应该了解一下。一个是Huffman编码的内存使用优化问题，一个是Huffman编码改进问题（更接近于熵），一个是decoding的效率改进问题，一个是错误传播/隔离问题。

Brady介绍了GFS和MapReduce两篇Google人的文中，后者是OSDI 2004上的。两个研究对于问题的定义、约束很好，对于明确的应用环境（Google），受限的目标（海量数据等），提出有效的方法。这是一种很务实，很好的研究思路。建议大家都读一下啊。BTW，看了之后会对Google加深感情的。

最后大家讨论了沙龙活动的一些组织形式问题。
决定加强在“十年”blog上整理阅读笔记的力度，将不在沙龙上具体介绍论文，改为先发帖，在blog上讨论有问题，有感觉，再在沙龙中聊。同时增加封闭实践活动。
决定开始分头系统阅读OS方向论文，每人每次选定一年的论文集，通读Abstract，选读部分感兴趣的文章，Andy的经验是不超过1/3，阅读后写笔记贴上来。

目前安排：
Andy -- HotOS 2003
Brady -- OSDI 2004
Vivian -- SOSP 2003
Water -- HotOS 2005

(Note)Multimedia Over IP for Thin Clients: Building a Collaborative Resource-Sharing Prototype

2006-09-22T08:46:00.000+08:00

Janet Chen
阅读内容：全文（4页）阅读时间：50分钟

作者介绍了一种在瘦客户端模式下进行视频会议的模型，并着重就音频问题提出了解决方案。
论文基于H323标准*的ITU-I建议来实现。

We can attain a balanced architecture that supports both centralized management application softwares and distributed multimedia processing for I/O device.

作者提出了在这个过程中遇到的三个问题：
IP address conflict issue
Application transparent adaptive issue
Device capability issue

具体实现是在Windows的RDP基础上做的，add multimedia streaming handling protocol coexist with RDP。作者实现了两种Agent：在Client端，实现了Service Agent，用来采集音频，并传送给Server；在Server端，实现了Control Agent，用来接受传过来的音频数据（这种想法与我们的想法很接近）。

* H323:Packet-based multimedia communications systems

(Note)LOBOS:(Linux OS Boots OS) Booting a kernel in 32-bit mode

2006-09-22T00:26:00.000+08:00

作者：Ron Minnich, Advanced Computing Lab, Los Alamos National Labs, New Mexico
出处：Proceedings of the 4th Annual Linux Showcase & Conference, Atlanta, 2000(USENIX Association)

解决问题：
在cluster的环境中，更换单个节点的系统环境（包括OS和根文件系统）传统的方式是通过对单个节点的更新，这样当节点很多时非常费时费力。本文提出一种新的方法，使得可以通过网络更新各个节点的系统环境。

核心思想：
通过在Linux内核中增加一个系统调用，，使其能直接在运行于32位模式下的内核中启动另一个新的内核，并且不通过传统的BIOS。这样，Linux 内核就可以直接作为一个网络启动程序，而不需BIOS的参与。并且，lobos调用可以指定一个新的内核和根文件系统来运行。

Andy's Literature Summary转到Google Spreadsheet上啦！

2006-09-21T17:09:00.000+08:00

今天我把自己整理的文献资料的总体情况表转移到Google Spreadsheet上啦，这样大家就都可以看啦。

在blog的sidebar上有一个链接，欢迎大家来捧场！

多谢了先！

(HotOS'03 Note)Cassyopia: Compiler Assisted System Optimization

2006-09-21T11:05:00.000+08:00

Cassyopia: Compiler Assisted System Optimization
Mohan Rajagopalan et al.
HotOS 2003

Focus on applying optimization techniques across address spaces on the same or different machines.跨保护边界的调用开销是非常大的，将过程内优化、过程间优化、全局优化等方面的技术应用在跨地址空间方面。文章中主要讨论的是对于系统调用方面的优化，也提到了远程过程调用的优化问题，不过没有展开。

主要采用profiling-based optimization，针对crossing次数和cost两个方面进行优化。对crossing次数采用system call clustering技术，包括mutil-call、loop multi-call等。至于crossing cost方面，似乎没有多说。

System call clustering：通过profiling，建立system call graph，类似基本块图，但粒度更大一些。然后采用循环展开、调动等优化方法，把不相关的system call组合成multi-call或者loop multi-call，减少上下文切换次数。注意，这里错误处理可能会成为一个问题。

另外也提到了内核中执行应用程序代码的问题，replace general purpose code in the kernel bye compiler-generated case-specific code in user-space.解释了一些别人的工作，认为文中profiling可以为这些工作提供进一步支持。

文章中牵涉一些编译优化技术，发现自己了解的太少，以前了解的也忘差不多了。真后悔刚上研一时没有在编译组认真学！！！

另外，文中提到使用multi-call可以使mpeg_play性能(frame rate)提高25%，很震撼。要研究一下，怎么有这么多呢？

(HotOS'03 Note)Using Performance Reflection in Systems Software

2006-09-21T10:15:00.000+08:00

Using Performance Reflection in Systems Software
Robert Fowler et al.
HotOS 2003

Alan Cox是第二作者哦。

这篇文章关注基于现代处理器中广泛支持的性能计数器为OS及应用提供性能数据。开发称为kernel performance reflection的工具。

作者提出从overhead和productivity两个角度进行度量，TLB miss、data cache miss等属于overhead，而指令数、浮点操作数、数据传输量等则属于productivity。作者将overhead和productivity之间的关系作为系统健康状况的一个重要指标。例如：如果productivity指标增长，overhead也增长，应当属于正常情况，具体来说，数据传输量增长，TLB miss增长就是正常情况；但是，productivity下降，overhead增长，则说明什么地方出了问题。这种思路很不错，可以从多种多样的指标和应用环境中建立简单的模型。

作者举了一个内核应用的例子、一个应用程序应用的例子。对于使用性能数据进行自动行为调整，本文没有具体讨论，只是点了一些相关的研究。

(Note)Transporting Real-Time Video over the Internet: Challenges and Approaches

2006-09-20T21:49:00.000+08:00

Dapeng Wu et al
来自Proceedings of IEEE的一篇Invited Paper。

主要问题非常清晰：在Internet上实时传输视频数据，最大的需求在于三点：bandwidth、delay、loss，而这三个需求（QoS）并不是现有的协议所能提供的。

对于视频数据传输来说，有两大类的异构（heterogeneity）：Network 和 Receiver。针对这两种异构，目前有两种思路：Network centric 和 End system based。前者以网络参数为核心关注对象，后者在不依赖任何QoS的情况下，最大化视频质量。

显然，后者的意义更为重大。基于后者，作者提出了一种构架：
congestion control: prevent package loss
rate control (for transport)
rate-adaptive encoding (for compression)
rate-shaping (for both)
error control: max quality under package loss
forword error correction (FEC): Add redunt info to reconstruct when loss package.
* channel coding
* source coding based
* joint source/channel coding
retransmission: Translate again
error resilience: Consider the semantic meaning of the compression layer
error concealment: A post-processing technique used by the decoder

关于iSCSI

2006-09-20T20:32:00.000+08:00

iSCSI风头很劲，似乎已经成为网络存储的一个趋势。另一方面，它和以前我调研的Network-attached peripheral (NAP)又有联系。

下面这段来自www.znet.com.cn上一篇文章《iSCSI初级读本》，可以给出一个总体的印象。
有些人认为iSCSI 是光纤这样的专用的存储局域网(SAN)和网络附加存储(NAS)的混合产物。这种看法可能是因为iSCSI 利用以太网作为传输介质。也就是说，一端是NAS，一端是SAN，iSCSI 更接近SAN。但是NAS设备在文件层工作，也就是说工作时整个文件在设备间传输，而iSCSI 是在区块层工作，非常象一块本地连接的硬盘。这也就意味着在某些NAS不适用的数据库应用或者Exchange环境下，iSCSI可以发挥作用。（尽管Exchange可以使用NAS文件级设备，区块级存储机制无疑更为适用）。把服务器和iSCSI阵列连接以后，存储就好象一块本地硬盘，从而可以提供无缝存储。

还有一个项目，叫Linux-iSCSI Project，也值得关注。主页：http://linux-iscsi.sourceforge.net/
需要2.4.20以上的kernel。

三大开源视频播放器比较(2)

2006-09-19T21:42:00.000+08:00

关于模块性，做一个简单的比较。

Mplayer：
比较差，编出来是一个比较大的可执行文件。而且，其可配置性比较差，config阶段虽然有很多参数，但有些东东还是很难裁减掉。

xine：
xine是一个共享库，初步编了一下感觉模块划分比较清楚，不同模块有不同的so。在X86下默认编译，主要模块大小如下。
libxine.so 380K
xineplug-ao-out-oss.so 22K -- OSS audio
xineplug-vo-out-fb.so 70K -- Framebuffer video
xineplug-decode-ff.so 2300K -- ffmepg decoder ??
xineplug-decode-mpeg2.so 132K -- mpeg2 decoder ??
xineplug-dmx-mpeg.so 19K -- demuxer
xineplug-inp-file.so 20K -- file input
xineplug-inp-net.so 19K -- network input
xineplug-inp-rtsp.so 22K -- RTSP input

(HotOS'03 Note)Magpie: online modeling and performance-aware systems

2006-09-19T21:39:00.000+08:00

Magpie: online modeling and performance-aware systems
Paul Barham et al.
HotOS 2003

本文讨论了Magpie的设计思路，主要解决分布式系统的性能分析问题。其主要特点就是综合运用各种已有的插入式性能记录方法，形成一个Black-box instrumentation系统。已有很多面向不同侧面的log或性能分析系统，包括对系统调用、网络踪迹、IIS服务、HLL VM等进行分析。Magpie的特点在于将这些技术记录的数据综合起来，在全系统的层面上给出分布式应用的运行踪迹，并建立统计模型，从而可以分析出异常的情况，为性能调试提供线索。

老革命遇到老问题——FC2和Windows XP双启动问题

2006-09-19T00:22:00.000+08:00

晚上心不在焉地在家里PC上装了一个Fedora Core 2，发现竟然启动不了Windows了，真是老革命遇到“新问题”。仔细一想，发现原来在lab也遇到过，应该有解决的。

于是开始google。搜了一下“FC2和Windows XP双系统”，果然有这个问题：Windows启动不了，出现以下信息停止：
rootnoverify (hda0, 0)
chainloader +1

到此一切顺利。接下来就发现全是一些不着调的解决方案，重新装Windows啦，修复分区表什么的，再就是求助的。真让人对国内技术论坛失望，至少是搜索引擎搜出来的结果……

再用英文搜，搜FC2 Windows boot problem，很快就有了结果。这个问题却是是FC2的BUG，但Red Hat给出了修复办法，也很简单，使用如下命令即可。
sfdisk -d /dev/hda sfdisk --no-reread -H255 /dev/hda
关于具体含义，参看：
http://www.redhat.com/archives/fedora-devel-list/2004-May/msg00908.html

赶快记在这里，别又到处找，谁让我有刻好的FC2光盘呢，嗨~~~~~~

三大开源视频播放器比较(1)

2006-09-17T12:33:00.000+08:00

Google了一下，主要的opensource的视频播放器有不少，比较强大的有Mplayer、Xine、VideoLAN等。其它的就不如它们全面了，比如：Ogle主要支持DVD，包括导航什么的；mpegTV不完全open；……

这里先把三大player简单总结一下，主要面向针对移植和开发的问题。

Mplayer：
版本：1.0pre8 (2006.6.11)
.bz2包大小：7.9MB
主页：http://www.mplayerhq.hu/
代码风格：比较差，代码很挤，还有些数千行的函数:-(
其它说明：移植和使用了一段时间后，说实话比较失望。音视频同步方面比较弱，我们花了不少时间进行调试。当然mplayer对各种格式的支持还是很赞的。

Xine：
版本：1.1.2 (2006.7.11)
.bz2包大小：6.5MB
主页：http://xinehq.de
代码风格：不错
其它说明：支持很多前端界面项目，甚至有专为Set-Top Box设计的（oxine ），赞！新的Fedora Core里带的应该就是它，好像是totem吧。

VideoLAN：
版本：0.8.5 (2006.5.6)
.bz2包大小：8.3MB
主页：http://www.videolan.org/
代码风格：不错
其它说明：对Windows支持较好，Stream server的功能很赞！

Opensource Flash Player?

2006-09-17T11:20:00.000+08:00

关有opensource的Flash支持，这个网站不错：http://osflash.org/

我浏览了一下，感觉比较成熟的还是gnash，主页是http://www.gnu.org/software/gnash/。
它可以支持很多SWF 7的特性。

几个opensource项目的近况

2006-09-17T10:40:00.000+08:00

我关注的几个opensource项目近期的一些情况。

rdesktop：刚刚发布1.5.0版本，加入了Session Directory支持，初步支持Vista RC1了。
openoffice：2006年1月发布了2.0.1中文版本。
dillo：项目过完了6岁生日，2006年5月发布了0.8.6版本。

Windows软件的Linux类似/替换/相近品

2006-09-17T10:30:00.000+08:00

一个很不错的Windows软件替代品列表：
http://www.linuxrsp.ru/win-lin-soft/table-chn.html

(HotOS'03 Note)Crash-Only Software

2006-09-16T23:40:00.000+08:00

Crash-Only Software
George Candea et al.
HotOS 2003

作者认为所有软件都会crash，不能避免crash，就crash-only。这样，软件要么成功，要么crash，不会存在“带病运行”等中间情况，从而可以简单的使用重新启动的方法来进行错误恢复。Candea等在OSDI 2004中有一篇关于Microreboot的文章，就是在此基础上深入的。

Crash-only systems are built from crash-only components, and the use of transparent component-level retries hides intra-system component crashes from end-users.

文中介绍了实现crash-only的一些准则：
Intra-component:
1. All important non-volatile state is managed bye dedicated state stores.
Inter-component:

Components have externally enforced boundaries;

All interactions between components have a timeout;

All resources are leased;

Requests are entirely self-describing.

(HotOS'03 Note)Virtual Appliance in the Collective: A Road to Hassle-Free Computing

2006-09-16T23:24:00.000+08:00

Virtual Appliance in the Collective: A Road to Hassle-Free Computing
Constantine Sapuntzakis and Monica S. Lam
HotOS 2003

本文介绍了Monica阿姨小组研究的Collective项目的核心思想Virtual Appliance。

Virtual Appliance基于VMM，将用户需要的功能封装成一个个独立的VM，成为Virtual Appliance。就好像PS2只用来打游戏一样。

这样做的动机主要是降低计算机的使用维护压力，方便用户使用等。我认为和Thin-client的思想相似，不过由于在服务器端使用了VMM，可以进行更好的隔离和QoS保证。

当然，Monica阿姨做这些东东也不奇怪，她是Brian K. Schmidt的导师，而后者的博士论文Support Ubiquitous Computing With Stateless Consoles and Computation Caches总结了SunRay的工作，是Thin-client方向的重量级论文。还有，现在带领哥伦比亚大学NCL(Network Computing Lab)专门研究Thin-client的Jason Nieh，“聂哥”，也是Monica的学生。

这篇论文主要还是介绍Collective的目标、出发点和基本思想。要进一步了解还是要看相关论文。

另外，前两天看Monica的主页，发现她们在Collective的研究基础上创立了一个公司，Moka5，产品叫livePC，试用版本还没有出来……

(HotOS'03 Note)Development Tools for Distributed Applications

2006-09-15T20:26:00.000+08:00

Development Tools for Distributed Applications
Mukesh Agrawal and Srinivasan Seshan
HotOS 2003

考虑支持分布式应用开发的整个生命周期的开发工具，包括the design stage, the implementation stage, the testing stage, the deployment and operation stage, and the maintenance and evolution stage.

具体讨论maintenance and evolution阶段和testing阶段的工具。
总结了支持升级/回滚的困难及目前的解决方案。作者使用了VMM方法，用UML（User Mode Linux）来解决升级问题。
对于testing，作者分析了调试支持工具。提到：Single-stepping is inherently an inappropriate debugging primitive for distributed applications.

本文对于领域内困难和已有方案的总结很清晰，尤其是对于Upgrade / Rollback问题。如果想有一个总体的了解，可以读一读相关部分。

(HotOS'03 Note)Scheduling and Simulation: How to Upgrade Distributed Systems

2006-09-15T20:08:00.000+08:00

Scheduling and Simulation: How to Upgrade Distributed Systems
Sameer Ajmani, Barbara Liskov and Liuba Shrira
HotOS 2003

讨论分布式系统的升级问题。对于该问题的主要困难有较好的总结描述。

建立了upgrade infrastructure，主要有Schedule functions (SFs)、Simulation objects (SOs)、Transform functions (TFs)等核心概念。

(HotOS'03 Note)TCP Meets Mobile Code

2006-09-15T19:50:00.000+08:00

TCP Meets Mobile Code
Parveen Patel, David Wetherall, Jay Lepreau and Andrew Whitaker
HotOS 2003

使用Mobile Code对TCP协议栈进行更新。

设计开发了XTCP，参看Patel (2003), Upgrading Transport Protocols using Untrusted Mobile Code, SOSP 2003.
采用了类型安全的C语言扩展Cyclone。

关注：
TCP rate equation [33]: J. Padhye et al. (1998), Modeling TCP Throughput: A Simple Model and its Empirical Validation, SIGCOMM 1998.

认识Monica S. Lam

2006-09-15T00:40:00.000+08:00

Monica S. Lam 林倩玲
Professor
Computer Science Department
Stanford University

Homepage: http://suif.stanford.edu/~lam/

Prof. Lam是SUIF项目的leader，是Brian Schmidt(SunRay协议SLIM的开发者）和Jason Nieh（Thin-client大牛）的导师。

Biography (From her homepage)
Monica Lam received a B.Sc. from University of British Columbia in 1980 and a Ph.D. in Computer Science from Carnegie Mellon University in 1987. She joined the faculty of Computer Science at Stanford in 1988, where she is now a Professor. She has contributed to the research of a wide range of computer systems topics including compilers, program analysis, operating systems, security, computer architecture, and high-performance computing. Her recent research focus is to make computing and programming easier.
In the Collective project, she and her research group developed the concept of a livePC: subscribers of the livePC will automatically run the latest of the published PC virtual images with each reboot. This approach allows computers to be managed scalably and securely. In 2005, the group started a company called moka5 to transfer the technology to industry.
In another research project, her program analysis group has developed a collection of tools for improving software security and reliability. They developed the first scalable context-sensitive inclusion-based pointer analysis and a freely available tool called BDDBDDB, that allows programmers to express context-sensitive analyses simply by writing Datalog queries. Other tools developed include Griffin, static and dynamic analysis for finding security vulnerabilities in Web applications such as SQL injection, a static and dynamic program query language called PQL, a static memory leak detector called Clouseau, a dynamic buffer overrun detector called CRED, and a dynamic error diagnosis tool called DIDUCE.
Prof. Lam is working with Al Aho, Jeff Ullman, and Ravi Sethi on revising the Dragon book. The new revision will be available September 2006.
Previously, Prof. Lam led the SUIF (Stanford University Intermediate Format) Compiler project, which produced a widely used compiler infrastructure known for its locality optimizations and interprocedural parallelization. Many of the compiler techniques she developed have been adopted by the industry. Her other research projects included the architecture and compiler for the CMU Warp machine, a systolic array of VLIW processors, and the Stanford DASH distributed shared memory machine. In 1998, she took a sabbatical leave from Stanford to help start Tensilica Inc., a company that specializes in configurable processor cores.
Prof. Lam is one of the top 50 most cited computer scientists in the world. She received the ACM Programming Language Design and Implementation Best Paper Award in 2004, an ACM SIGSOFT Distinguished Paper Award in 2002, the ACM Most Influential Programming Language Design and Implementation Paper Award in 2001, and an NSF Young Investigator award in 1992. She was the author of two of the papers in "20 Years of PLDI--a Selection (1979-1999)", and one paper in the "25 Years of the International Symposia on Computer Architecture", 1988.
She chaired the ACM SIGPLAN Programming Languages Design and Implementation Conference in 2000, served on the Editorial Board of ACM Transactions on Computer Systems and numerous program committees for conferences on languages and compilers (PLDI, POPL), operating systems (SOSP), and computer architecture (ASPLOS, ISCA).

第二次学术沙龙

2006-09-15T00:06:00.000+08:00

今天晚上的第二次学术沙龙在BFT顺利举行，Andy、Brady、Vivian、Water参加。

Vivian报告了连续图像无损压缩领域的一些基本情况，做了一下科普。（其间被Andy打断若干次，很不好意思^_^）对于JPEG-LS等无损压缩算法的基本模式“建模－编码”进行了介绍，顺便普及了下熵、变换等概念。Vivian还简单介绍了Shannon编码、Huffman编码、Glomb编码等编码方案。Vivian后续会贴些文章列表上来。

Water介绍了一篇关于VGA BIOS方面的论文。大家对于VGA BIOS的基本情况有了初步了解。该论文基于x86emu项目，对VGA BIOS中使用legacy代码（INT调用）进行了支持，对大家很有启发。最为激动人心的是，Andy提出了在此基础上的一个新idea，大家都充满憧憬( Water后续会进行做一些调研工作，下次沙龙要进行报告。至于新idea，暂时保密，呵呵～～～

Brady介绍了一篇名为Automatic Worm Fingerprinting的文章。普及了一下关于网络蠕虫的基本知识，介绍了作者的研究动机等。

Andy就HotOS’03中Distributed System主题中的三篇文章进行了介绍。两篇都和系统升级有关，一篇是Monica Lam小组的工作Collective。Collective和目前Thin-client的研究动机有类似之处，后续我们会继续关注。Andy后续会把相关笔记贴上来。

(HotOS'03 Note)TCP Offload is a Dumb Idea Whose Time Has Come

2006-09-14T13:45:00.000+08:00

TCP Offload is a Dumb Idea Whose Time Has Come
Jeffrey C. Mogul
HotOS 2003

关于在NIC上实现TCP或者其它传输层协议的分析，即TOE（TCP Offload Engine）问题。

作者分析了TOE在实践中不成功的原因。认为，对于HTTP这样常见的应用，存在大量短时间的链接，从TOE中获得的收益有限，尤其是在当前通用CPU速度快速提高的情形之下。

作者认为对于网络存储等数据吞吐量特别大的应用，TOE还是有用武之地的。作者提出针对RDMA（Remote Direct Memory Access）应用TOE。

RDMA是一个引起我关注的点，似乎和设备/总线映射问题相关。其中有一段话如下。Although much of the network on RDMA has focused on storage systems, high-bandwidth graphics applications (e.g. streaming HDTV videos) have similar characteristic. A video-on-demand connection might use RDMA both at the server (for access to the stored video) and at the client (for rendering the video).

另外，文章中对于协议栈中single-copy technique也进行了总结，有兴趣可以作为一个起点进行检索。例如：Dalton et al. (1995):　NIC Supporting a Single-copy Host OS Implementation of TCP

(HotOS'03 Note) Why Events are a Bad Idea

2006-09-14T01:12:00.001+08:00

Why Events are a Bad Idea (for High-concurrency Servers)
Rob von Behren et al.
HotOS 2003

作者认为对于高度并发的服务器应用，设计良好的线程模型要优于事件模型。其一个基本出发点是Lauer和Needham 1978年提出的essage-passing systems and process-based systems are duals.
作者提出的对现有线程库的改进，主要是对合作式调度的有效支持，可以提高线程库在此应用中效率。（线程切换开销主要来源于：a. 为抢占调度保存context；b. kernel crossing。这两点在合作式调度中都可以大大降低。）
作者还强调了编译器和运行时环境结合的作用。通过编译器的全局分析等手段，可以对调度点、栈尺寸等提供优化。
另外，高并发环境下栈分配的问题可能制约scalability，作者提出了动态栈分配、优化跨调度的栈尺寸等解决方法。这让我想起了Art of Computer Programming第一卷中Knuth对多个栈共享空间的分析。当时觉得只有MIX计算机会关注这个问题，现在看来当时的想法太幼稚了。

系统阅读论文集，读什么？

2006-09-13T23:39:00.000+08:00

最近花了不少时间系统地阅读SOSP、OSDI、HotOS等论文集，也引得Brady等人“蠢蠢欲动”，但是他们提出一个问题，读什么？和自己做的工作没有太大关系，还要读吗？我也再反思这个问题，花这么多时间是否值得？

我觉得系统的阅读，不能仅仅抱着找和自己相关的方向和工作的目的，否则收获有限，还不如按照关键字检索，再参考reference按图索骥。

这一段时间以来，系统阅读论文集我有几个收获。
其一，走马观花地看看abstract，可以大约了解一下国际上大家都在忙活什么，即便仅仅整理一下index，也可以和大牛的名字混个面熟。例如，Alan Cox都听说过，但他的研究工作是什么，就是我在整理index时了解的。
其二，大多数论文都有很好的introduction，可以帮助我们迅速的了解该领域的关键问题是什么，基本现状是什么，等等。而且，读得多了，很可能就传成了一条线，即便自己目前不做那个方向，了解一下也是非常必要得。例如，关于TCP改进的问题，有协议改进、协议栈升级、移动代码、内核扩展的安全性等等多个研究角度，对这些有一个基本的概念，非常有助于建立完整的、立体的研究视野。
其三，很多论文的选题、研究方法等很好，对自己的研究方法能有所启发。例如，Google的关于GFS和MapReduce等文章，给我留下了很深刻的印象。
其四，随着自己研究工作的深入，一些论文的观点和视角可以提供很好的思路，虽然别人的方向和角度不同，但能够给自己很多启发。例如，有一篇关于文件系统中cache策略的文章就给我了一些启发，他山之石，可以攻玉。其实很多研究工作就是在于“嫁接”不同领域、方向的方法、思想。

当然，多读论文了解各个方向，对于选定研究方向是大有裨益的，建议师弟师妹们不要过早选定一个方向就钻进去，先多了解是非常必要的。

HotOS 2003 -- Index

2006-09-12T20:14:00.000+08:00

Workshop on Hot Topics in Operating Systems

HotOS 2003

2003.5

NOTE: This list contains links to articles that may be covered by copyright. Those articles are NOT provided here and you will got a "404 - Page not found" error if you click the links.

The Emperor's Clothes

High Availability, Scalable Storage, Dynamic Peer Networks: Pick Two
(talk)

Charles Blake and Rodrigo Rodrigues, MIT Laboratory for Computer Science

One Hop Lookups for Peer-to-Peer Overlays (talk)

Anjali Gupta, Barbara Liskov, and Rodrigo Rodrigues, MIT Laboratory for
Computer Science

An Analysis of Compare-by-hash

Val Henson, Sun Microsystems

Why Events Are a Bad Idea (for High-Concurrency
Servers) (talk)

Rob von Behren, Jeremy Condit, and Eric Brewer, University of California at
Berkeley

Popping & Pushing the Stack

TCP Offload Is a Dumb Idea Whose Time Has Come (talk)

Jeffrey C. Mogul, Hewlett Packard Laboratories

TCP Meets Mobile Code (talk)

Parveen Patel, University of Utah; David Wetherall, University of Washington;
Jay Lepreau, University of Utah; Andrew Whitaker, University of Washington

Exploiting the Synergy between Peer-to-Peer and Mobile Ad
Hoc Networks

Y. Charlie Hu, Saumitra M. Das, and Himabindu Pucha, Purdue University

Distributed Systems

Scheduling and Simulation: How to Upgrade Distributed
Systems (talk)

Sameer Ajmani and Barbara Liskov, MIT Laboratory for Computer Science; Liuba
Shrira, Brandeis University

Development Tools for Distributed Applications

Mukesh Agrawal and Srinivasan Seshan, Carnegie Mellon University

Virtual Appliances in the Collective: A Road to
Hassle-Free Computing

Constantine Sapuntzakis and Monica S. Lam, Stanford University

POST: A Secure, Resilient, Cooperative Messaging
System (talk)

Alan Mislove, Ansley Post, Charles Reis, Paul Willmann, Peter Druschel, and
Dan S. Wallach, Rice University; Xavier Bonnaire, Pierre Sens, Jean-Michel Busca,
and Luciana Arantes-Bezerra, Université Paris VI

When Things Go Wrong

Crash-Only Software

George Candea and Armando Fox, Stanford University

The Phoenix Recovery System: Rebuilding from the
Ashes of an Internet Catastrophe (talk)

Flavio Junqueira, Ranjita Bhagwan, Keith Marzullo, Stefan Savage, and
Geoffrey M. Voelker, University of California, San Diego

Using Runtime Paths for Macroanalysis

Mike Chen, University of California, Berkeley; Emre Kiciman, Stanford
University; Anthony Accardi, Tellme Networks; Armando Fox, Stanford University;
Eric Brewer, University of California, Berkeley

Magpie: Online Modelling and Performance-aware
Systems

Paul Barham, Rebecca Isaacs, Richard Mortier, and Dushyanth Narayanan,
Microsoft Research Ltd, Cambridge, UK

Using Computers to Diagnose Computer Problems

Joshua A. Redstone, Michael M. Swift, and Brian N. Bershad, University of
Washington

Performance Optimization

Using Performance Reflection in Systems Software

Robert Fowler and Alan Cox, Rice University; Sameh Elnikety and Willy
Zwaenepoel, EPFL

Cassyopia: Compiler Assisted System Optimization
(talk)

Mohan Rajagopalan and Saumya K. Debray, University of Arizona; Matti A.
Hiltunen and Richard D. Schlichting, AT&T Labs—Research

Cosy: Develop in User-Land, Run in Kernel-Mode

Amit Purohit, Charles P. Wright, Joseph Spadavecchia, and Erez Zadok, Stony
Brook University

Storage 1

Why Can't I Find My Files? New Methods for Automating
Attribute Assignment

Craig A. N. Soules and Gregory R. Ganger, Carnegie Mellon University

Secure Data Replication over Untrusted Hosts

Bogdan C. Popescu, Bruno Crispo, and Andrew S. Tanenbaum, Vrije Universiteit

Palimpsest: Soft-Capacity Storage for Planetary-Scale
Services

Timothy Roscoe, Intel Research at Berkeley; Steven Hand, University of
Cambridge Computer Laboratory

Trusting Hardware

Certifying Program Execution with Secure Processors
(talk)

Benjie Chen and Robert Morris, MIT Laboratory for Computer Science

Hardware Works, Software Doesn't: Enforcing
Modularity with Mondriaan Memory Protection (talk)

Emmett Witchel and Krste Asanovic, MIT Laboratory for Computer Science

Flexible OS Support and Applications for Trusted
Computing

Tal Garfinkel, Mendel Rosenblum, and Dan Boneh, Stanford University

Pervasive Computing

Sensing User Intention and Context for Energy
Management (talk)

Angela B. Dalton and Carla S. Ellis, Duke University

Access Control to Information in Pervasive
Computing Environments (talk)

Urs Hengartner and Peter Steenkiste, Carnegie Mellon University

Privacy-Aware Location Sensor Networks

Marco Gruteser, Graham Schelle, Ashish Jain, Rick Han, and Dirk Grunwald,
University of Colorado at Boulder

Storage 2

FAB: Enterprise Storage Systems on a Shoestring

Svend Frølund, Arif Merchant, Yasushi Saito, Susan Spence, and Alistair
Veitch, Hewlett-Packard Laboratories

The Case for a Session State Storage Layer

Benjamin C. Ling and Armando Fox, Stanford University

Towards a Semantic-Aware File Store (talk)

Zhichen Xu and Magnus Karlsson, HP Laboratories; Chunqiang Tang, University
of Rochester; Christos Karamanolis, HP Laboratories

HotOS 2005 -- Index

2006-09-12T20:05:00.000+08:00

Workshop on Hot Topics in Operating Systems

HotOS 2005

2005.6

NOTE: This list contains links to articles that may be covered by copyright. Those articles are NOT provided here and you will got a "404 - Page not found" error if you click the links.

Religious Wars

Are Virtual Machine Monitors Microkernels Done Right?

Steven Hand, Andrew Warfield, Keir Fraser, and Evangelos Kotsovinos,
University of Cambridge Computer Laboratory; Dan Magenheimer, HP Labs

OS Verification—Now!

Harvey Tuch, Gerwin Klein, and Gernot Heiser, National ICT Australia

Making Events Less Slippery with eel

Ryan Cunningham and Eddie Kohler, University of California, Los Angeles

Storage

Parallax: Managing Storage for a Million Machines

Andrew Warfield, Russ Ross, Keir Fraser, Christian Limpach, and Steven Hand,
University of Cambridge Computer Laboratory

Stupid File Systems Are Better

Lex Stein, Harvard University

Aggressive Prefetching: An Idea Whose Time Has
Come

Athanasios E. Papathanasiou and Michael L. Scott, University of Rochester

Outside the Comfort Zone

Why Markets Could (But Don't Currently) Solve
Resource Allocation Problems in Systems

Jeffrey Shneidman, Chaki Ng, and David C. Parkes, Harvard University; Alvin
AuYoung, Alex C. Snoeren, and Amin Vahdat, University of California, San Diego;
Brent Chun, Intel Research, Berkeley

Operating Systems Should Support Business Change

Jeffrey C. Mogul, HP Labs

It's Not AI, It's Systems

Designing Controllable Computer Systems

Christos Karamanolis, Magnus Karlsson, and Xiaoyun Zhu, Hewlett-Packard Labs

Three Research Challenges at the Intersection of
Machine Learning, Statistical Induction, and Systems

Moises Goldszmidt and Ira Cohen, Hewlett-Packard Labs; Armando Fox and Steve
Zhang, Stanford University

Cleaning Up the Mess We've Made

Making System Configuration More Declarative

John DeTreville, Microsoft Research

Reducing the Cost of IT Operations—Is Automation
Always the Answer?

Aaron B. Brown and Joseph L. Hellerstein, IBM Thomas J. Watson Research
Center

Human-Aware Computer System Design

Ricardo Bianchini, Richard P. Martin, Kiran Nagaraja, Thu D. Nguyen, and
Fábio Oliveira, Rutgers University

Approaches to OS Research

Thirty Years Is Long Enough: Getting Beyond C

Eric Brewer, Jeremy Condit, Bill McCloskey, and Feng Zhou, University of
California, Berkeley

Broad New OS Research: Challenges and Opportunities

Galen C. Hunt, James R. Larus, David Tarditi, and Ted Wobber, Microsoft
Research

patch (1) Considered Harmful

Marc E. Fiuczynski, Princeton University; Robert Grimm, New York University;
Yvonne Coady, University of Victoria; David Walker, Princeton University

Distribution

WiDS: An Integrated Toolkit for Distributed System
Development

Shiding Lin, Aimin Pan, and Zheng Zhang, Microsoft Research Asia; Rui Guo,
Beijing University of Aeronautics and Astronautics; Zhenyu Guo, Tsinghua
University

Causeway: Operating System Support for Controlling
and Analyzing the Execution of Distributed Programs

Anupam Chanda, Khaled Elmeleegy, and Alan L. Cox, Rice University; Willy
Zwaenepoel, EPFL, Lausanne

Treating Bugs as Allergies: A Safe Method for Surviving
Software Failures

Feng Qin, Joseph Tucek, and Yuanyuan Zhou, University of Illinois,
Urbana-Champaign

Security

When Virtual Is Harder than Real: Security
Challenges in Virtual Machine Based Computing Environments

Tal Garfinkel and Mendel Rosenblum, Stanford University

Make Least Privilege a Right (Not a Privilege)

Maxwell Krohn, Massachusetts Institute of Technology; Petros Efstathopoulos,
University of California, Los Angeles; Cliff Frey and Frans Kaashoek,
Massachusetts Institute of Technology; Eddie Kohler, University of California,
Los Angeles; David Mazières, New York University; Robert Morris, Massachusetts
Institute of Technology; Michelle Osborne, New York University; Steve
VanDeBogart, University of California, Los Angeles; David Ziegler, Massachusetts
Institute of Technology

Access Control in a World of Software Diversity

Martin Abadi, University of California, Santa Cruz; Andrew Birrell and Ted
Wobber, Microsoft Research

Sensor Nets

PRESTO: A Predictive Storage Architecture for
Sensor Networks

Peter Desnoyers, Deepak Ganesan, Huan Li, Ming Li, and Prashant Shenoy,
University of Massachusetts, Amherst

Towards a Sensor Network Architecture: Lowering the
Waistline

David Culler, Prabal Dutta, Cheng Tien Ee, Rodrigo Fonseca, Jonathan Hui,
Philip Levis, and Joseph Polastre, University of California, Berkeley; Scott
Shenker, University of California, Berkeley, and ICSI; Ion Stoica and Gilman
Tolle, University of California, Berkeley; Jerry Zhao, ICSI

Breakout Session

Falling Off the Cliff: When Systems Go Nonlinear (Green
Team Paper)

Yvonne Coady, Russ Cox, John DeTreville, Peter Druschel, Joseph Hellerstein,
Andrew Hume, Kimberly Keeton, Thu Nguyen, Christopher Small, Lex Stein, and
Andrew Warfield

The Many Faces of Systems Research—and How to Evaluate
Them (Red Team Paper)

Aaron B. Brown, Anupam Chanda, Rik Farrow, Alexandra Fedorova, Petros
Maniatis, and Michael L. Scott

Open the door!

2006-09-12T15:32:00.000+08:00

Open the door, and invite my good friends to here. (Not "open windows" :P)
I wanna be an anti-tradition IT man, may be more conservative in another sense.