AitF: The Fuzzy Log: A Unifying Abstraction for the Theory and Practice of Distributed Systems

AitF：模糊日志：分布式系统理论与实践的统一抽象

• 批准号: 1637385
• 负责人: Zhong Shao
• 金额: $ 60万
• 依托单位: Yale University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-10-01 至 2019-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1637385&HistoricalAwards=false
• 关键词: AitF; Fuzzy; Log; Unifying; Abstraction

The Fuzzy Log project seeks to democratize the design and development of complex distributed systems, accelerating innovation by allowing developers to focus on high-level application functionality instead of low-level protocol details. Examples of such complex systems include Software Defined Network controllers for the network, filesystem namespaces for storage, schedulers and allocators for big data run-times, and general-purpose coordination services. These distributed systems require large numbers of highly trained engineers and scientists to construct and operate them. Simplifying the design, development, deployment and debugging of such systems can drastically reduce the cost to create and operate massively scalable cloud services that are reliable and responsive. More broadly, the Fuzzy Log project will also act as an educational gestalt that combines distributed systems and theory to improve the state of the art in cloud computing.A Fuzzy Log is a partially ordered shared log that multiple clients can append to and read from concurrently. As in other shared log designs, applications can extract properties such as consistency, durability, and concurrency control from the Fuzzy Log. However, unlike a conventional shared log, a Fuzzy Log does not impose a total order over all entries. When clients append to the log, they specify dependencies to define a partial order; when they read from the log, the system returns entries in some sequence satisfying the partial order. Fuzzy Log applications are simple to design, implement, and debug, with full-fledged distributed systems realized in hundreds of lines of code. Fuzzy Log applications are also fast and scalable, extracting parallelism from workloads while imposing order only when strictly necessary.

模糊日志项目旨在使复杂分布式系统的设计和开发民主化，从而通过允许开发人员专注于高级应用功能而不是低级协议详细信息来加速创新。这种复杂系统的示例包括用于网络的软件定义的网络控制器，用于存储的文件系统名称空间，用于大数据运行时间的调度程序和分配器以及通用协调服务。 这些分布式系统需要大量训练有素的工程师和科学家来构建和操作它们。简化此类系统的设计，开发，部署和调试可以大大降低创建和运营大量可扩展性云服务的成本，这些服务可靠且响应迅速。更广泛地说，模糊的日志项目还将充当一个教育格式塔，结合了分布式系统和理论，以改善云计算中的最新技术状态。一个模糊日志是一个部分有序的共享日志，多个客户可以同时添加并从中读取。与其他共享日志设计一样，应用程序可以从模糊日志中提取诸如一致性，耐用性和并发控制之类的属性。但是，与传统的共享日志不同，模糊日志并未在所有条目上施加总订单。当客户端附加日志时，他们指定依赖项来定义部分顺序；当他们从日志中读取时，系统将以某些序列返回条目满足部分顺序。模糊日志应用程序易于设计，实现和调试，并使用数百行代码实现完整的分布式系统。模糊日志应用程序也是快速且可扩展的，从工作负载中提取并行性，同时仅在严格必要时施加订单。

项目成果

Why extension-based proofs fail

为什么基于扩展的证明会失败

• DOI: 10.1145/3313276.3316407
• 发表时间: 2019
• 期刊: 51st Annual ACM SIGACT Symposium on Theory of Computing
• 作者: Alistarh, Dan;Aspnes, James;Ellen, Faith;Gelashvili, Rati;Zhu, Leqi
• 通讯作者: Zhu, Leqi

Time and Space Optimal Counting in Population Protocols

群体协议中的时间和空间优化计数

• DOI: 10.4230/lipics.opodis.2016.13
• 发表时间: 2016
• 期刊: Leibniz international proceedings in informatics
• 作者: Aspnes, James;Beauquier, Joffroy;Burman, Janna;Sohier, Devan
• 通讯作者: Sohier, Devan

Optimizing in the Dark: Learning an Optimal Solution through a Simple Request Interface

• DOI: 10.1609/aaai.v33i01.33011674
• 发表时间: 2019-07
• 作者: Qiao Xiang;Haitao Yu;J. Aspnes;Franck Le;L. Kong;Y. Yang

Clocked Population Protocols

• DOI: 10.1145/3087801.3087836
• 发表时间: 2017-01-01
• 期刊: PROCEEDINGS OF THE ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'17)
• 作者: Aspnes, James

Brief Announcement: Object Oriented Consensus

简短公告：面向对象共识

• DOI: 10.1145/3087801.3087867
• 发表时间: 2017
• 期刊: ACM Symposium on Principles of Distributed Computing
• 作者: Afek, Yehuda;Aspnes, James;Cohen, Edo;Vainstein, Danny
• 通讯作者: Vainstein, Danny