OSDI2010摘要中文翻译.docx

OSDI2010摘要中文翻译 一、Comet: An active distributed key-value store[Comet —种主动分布式的键 - 值存储] 分布式键-值存储系统被广泛的应用在企业和互联网上。我们的研究通过特定 应用制定来寻找大幅度提高键-值存储系统应用空间的方法。我们设计实现了一 个网络（Comet）――一个可扩展的键-值分布式存储系统。每个网络节点存储了一 组主动存储对象（ASOS,这些对象包含了一个键，一个值以及一系列的处理程 序。Comet处理程序运行返回定时器或者存储操作的结果，比如 get和put，这 样它就允许一个主动存储对象执行动态的， 针对特定应用的动作来自定义自己的 行为。处理程序都是用简单的具有沙箱扩展型的语言编写，以此提供安全和独立 的特性。 我们为Vuze（开发小组，开发了 Java Torre nt客户端，支持I2P和Tor匿名网 络协议）DHT（ Distributed HashTable分布式哈希表） 实现了一个Comet原型，在PlanetLab （新一代互联网，计算服务“覆盖网络”） 将网络节点部署在Vuze上，并创建了许多的Comet应用。实验结果证明简单性， 安全性和受限制的扩展性可以大幅度提高分布式主动存储系统应用的能力。 这项 研究通过各种需求的应用证明了该研究有利于单一存储系统的共享， 并且能加强 如今巨型云的内部效率。 二、Depot: Cloud storage with minimal trust[Depot 基于最小信任的云存储 ] 该论文介绍了一种基于最小信任假设的云存储系统的设计、实现和评估。 Depot系统即使在经受了大量的客户端和服务器的漏洞和恶意的测试下，也能为 正确的客户提供安全性和现场的保证。 这种保证来自Depot使用了两层架构。首 先，Depot保证由正确节点发现的更新能固定的遵守 FJC（Fork-Join-CausaD — 致性。FJC是在有错误节点的情况下也能保持安全性和现场性的 因果一致性的一 种轻度削弱。其次，Depot实现了一种使用这些一致更新规则提供合适的一致性、 疲劳性、持久性和恢复性的协议。我们的评估证明了提供这些保证的代价是可以 接受的，并且即使在重大错误发生时，Depot可以承受错误，保持良好的可用性， 等待性，间接性，和疲劳性。 [注*因果一致性：假设进程P1写变量x，然后P2读出x，写入y。这里读 出x和写入y之间可能有潜在的因果联系，因为 y的计算很可能决定于P2读到 的x值（即P1写入的值）] 三、SPORC: Group Collaboration using Untrusted Cloud Resources[SPOR（使 用不可信任云资源的组协作] 对于面向用户的应用，比如文字处理软件和日历软件，云服务是一种很具有 吸引力的部署模型。不同于桌面应用，云服务允许多个用户同时和实时的编辑共 享的状态，从而使得它变得可扩展性，高可用性和全局访问性。不幸的是，这些 利处是基于信赖云提供商通过提供潜在敏感和重要的数据的代价实现的。 为了克服这种严格的权衡，我们提出了 SPORC, —种使用不可信任的服务 器来构建各种协作应用的通用框架。在 SPORC里，服务器只能看到加密后的数 据而且一旦偏离正确的执行就会被发现。 SPORC支持同时的低延迟的编辑共享 状态，允许离线操作，支持并发状态下的动态访问控制。 我们使用两个原型应用 来证明SPORC的灵活性：一个是因果一致性的键值存储系统和一个基于浏览器 协作的文本编辑器。 概念上，SPORC说明了操作转换（OT, operation transformation）和分支一 致性（fork consistency）的互补利益。前者允许 SPORC客户端在不带互斥琐的 前提下执行同时操作来自动解决结果冲突。 后者可以阻止不正常行为的服务器执 行模棱两可的操作顺序，除非它想把用户分为不相交的集合。 值得注意的是，不 想以前的系统，SPORC可以自动从通过利用操作转换（OT）的冲突解决机制进 行恶意的分支操作中恢复。 四、 Ad Hoc Synchronization Considered Harmful点对点模式被认为是有害的］ 许多在现有的多线程程序中的同步操作是通过 点对点模式［Ad Hot］来实现 的。本文的第一部分针对并行程序的同步的特性做了全面的研究。通过对 12个 各种各样程序（服务器程序，桌面程序，科学计算程序）的 299 Ad hot同步操作 的研究，包括Apache, MySQL，Mozilla等等，我们发现一些有趣的有可能带有 警告意味的特点：（1）每个研究的应用都使用了 Ad Hoc操作。尤其是，每个 程序中有6-83不等的Ad Hoc同步操