SOSP2009摘要中文翻译.docx

SOSP2009 摘要中文翻译 一、 Automatic Device Driver Synthesis with Termite [使用 Termite 的自动设备 驱动合成 ] 错误的设备驱动程序会导致严重的停机和数据丢失。 这些问题可以通过提高 保证基于构造的准确性的驱动开发过程得到缓解。 使用基于设备接口的正式规范 的自动合成驱动可以实现这个目标， 这样就减少了人为错误对驱动可靠性的影响 并潜在消弱了开发代价。 我们提出了一个具体的驱动合成方法和工具 Termite。我们讨论了这种方 法 包括驱动合成的技术和实际的限制，并评估了一个在 Linux上用我们的工 具生成的驱动。 结果证明了生成的驱动和人工开发的驱动在性能上基本相当。 而 且，通过在FreeBSD上用和在Linux上使用的相同的规范生成的驱动证明了相同 规范的驱动可以在不同的操作系统上重复使用。 二、 Automatically Patching Errors in Deployed Software [已部署软件中的自动 错误修复 ] ClearView――—个针对已部署软件中的错误修复的系统，它工作在剥离 Windows x86 二进制之外， 不需要任何源代码、 调试信息、 或者其他的扩展信息 以及人为的干涉。 ClearView (1)通过观察一般的执行来学习刻画应用一般行为的不变性， (2) 使用错误检测来分辨正常执行和错误的执行， (3)识别发生错误执行时的不变性 学习的冲突，( 4)产生候选的修复， 通过改变状态或者控制流来强制已选择的不 变性来保证它的正确，(5)观察修复后程序的连续执行以选择最合适的修复策略。 ClearView 设计的目的是在高可用性需求下对软件进行错误修正。从各方面 可以证明它在这种环境下的适用性， 包括不需要认为干涉产生修复的能力、 不需 要重启和扰动执行从执行的程序中应用和删除修复、 通过修复程序的后续动作识 别和丢弃无效有害的修复。 在Red Team设计的针对它的能力的测试中，ClearView成功经受了利用它的 安全缺陷的攻击。由Red Team使用十种代码注入方式不停地攻击 ClearView保 护的应用，ClearView检测并阻挡了所有的攻击。其中 7次攻击中，ClearView产 生了修复错误的方法，使得程序从攻击中幸存下来并能成功的处理后续的输入。 最后，Red Team意图让ClearView应用一个不被期望的修复，但是 ClearView的 修复评估机制将这些无效有害的修复识别并丢弃。 三、 Better I/O ThroughByte-Addressable, Persistent Memory [通过字节寻址、 持久化内存的 I/O 优化 ] PPT形式，无摘要。 四、 Debugging in the (Very) Large: Ten Years of Implementation and Experience [大型调试：十年的实现和经验 ] Windows错误报告(WER)是自动处理来源于近10亿机器安装的错误报告 的分布式系统。 WER 收集 10 年内操作的数十亿的错误报告。 它自动收集错误数 据并对错误分类，这些分类决定开发人员努力的优先级并将修复报告给用户。 WER 使用先进的方法进行数据收集，这样减少了大部分报告的开销，并能让开 发者按需收集具体的信息。 WER 利用它的规模使用错误统计作为调试工具，这 让开发者发现在小规模的情况下无法发现的 bug。WER被设计为针对大规模的： 一对数据库服务器可以记录全球的 Windows 计算机产生所有错误。 五、 Detecting Large-Scale System Problems by Mining Console Log基于挖掘 控制台日志检测大型系统问题 ] 令人惊叹的是， 控制台日志几乎不能帮助操作者检测大型数据中心服务的问 题，因为这些问题通常包含大量混杂的来源于由自由开发者开发的软件组件产生 的信息。我们提出一种通用的方法通过挖掘这些丰富的信息来自动检测系统问 题。我们首先使用信息检索的源代码分析将控制台日志转化来构造混合的性质。 然后通过机器学习分析这些性质来检测系统问题。 我们的方法能分析以前方法不 可能分析的问题， 因为这种方法具有构造复杂特性的高级能力。 我们也展示了怎 样将分析的结果提取到以操作者友好的单页决策树上来显示和检测问题相关的 鉴定信息。我们使用了 Darkstar在线游戏服务器和Hadoop的文件系统验证了我 们的方法，在这里我们以高准确定和低误报率检测到大量的实际错误。 在 Hadoop 案例中，我们能用 3 分钟分析控制台日志。我们的方法工作在任意 大小的原始的控制台日志上