AitF: The Fuzzy Log: A Unifying Abstraction for the Theory and Practice of Distributed Systems
AitF:模糊日志:分布式系统理论与实践的统一抽象
基本信息
- 批准号:1637385
- 负责人:
- 金额:$ 60万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2016
- 资助国家:美国
- 起止时间:2016-10-01 至 2019-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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.
模糊日志项目寻求使复杂分布式系统的设计和开发民主化,通过允许开发人员专注于高级应用程序功能而不是低级协议细节来加速创新。这类复杂系统的示例包括用于网络的软件定义的网络控制器、用于存储的文件系统命名空间、用于大数据运行时的调度器和分配器以及通用协调服务。这些分布式系统需要大量训练有素的工程师和科学家来构建和操作它们。简化此类系统的设计、开发、部署和调试可以大幅降低创建和运营可靠且响应迅速的大规模可扩展云服务的成本。更广泛地说,模糊日志项目还将作为一个教育完形,将分布式系统和理论结合起来,以提高云计算的技术水平。模糊日志是一个部分有序的共享日志,多个客户端可以同时添加和读取。与其他共享日志设计一样,应用程序可以从模糊日志中提取一致性、持久性和并发控制等属性。然而,与传统的共享日志不同,模糊日志不会对所有条目施加总顺序。当客户端附加到日志中时,它们指定依赖项来定义部分顺序;当它们从日志中读取时,系统以某种顺序返回满足部分顺序的条目。模糊日志应用程序易于设计、实现和调试,成熟的分布式系统只需数百行代码即可实现。模糊日志应用程序也是快速和可伸缩的,从工作负载中提取并行性,同时仅在严格必要时才进行排序。
项目成果
期刊论文数量(13)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Why extension-based proofs fail
为什么基于扩展的证明会失败
- DOI:10.1145/3313276.3316407
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者: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
- 期刊:
- 影响因子:0
- 作者: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
- 期刊:
- 影响因子:0
- 作者:Qiao Xiang;Haitao Yu;J. Aspnes;Franck Le;L. Kong;Y. Yang
- 通讯作者:Qiao Xiang;Haitao Yu;J. Aspnes;Franck Le;L. Kong;Y. Yang
Brief Announcement: Object Oriented Consensus
简短公告:面向对象共识
- DOI:10.1145/3087801.3087867
- 发表时间:2017
- 期刊:
- 影响因子:0
- 作者:Afek, Yehuda;Aspnes, James;Cohen, Edo;Vainstein, Danny
- 通讯作者:Vainstein, Danny
Consensus with Max Registers
与最大寄存器达成共识
- DOI:10.4230/lipics.disc.2019.1
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:Aspnes, James;Er, He Yang
- 通讯作者:Er, He Yang
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Zhong Shao其他文献
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009
第 36 届 ACM SIGPLAN-SIGACT 编程语言原理研讨会论文集,POPL 2009,美国佐治亚州萨凡纳,2009 年 1 月 21-23 日
- DOI:
- 发表时间:
2009 - 期刊:
- 影响因子:0
- 作者:
Zhong Shao;B. Pierce - 通讯作者:
B. Pierce
Clean-Slate Development of Certified OS Kernels
- DOI:
10.1145/2676724.2693180 - 发表时间:
2015-01 - 期刊:
- 影响因子:0
- 作者:
Zhong Shao - 通讯作者:
Zhong Shao
TIL: a type-directed, optimizing compiler for ML
TIL:用于 ML 的类型导向优化编译器
- DOI:
10.1145/989393.989449 - 发表时间:
2004 - 期刊:
- 影响因子:0
- 作者:
Zhong Shao - 通讯作者:
Zhong Shao
Compiling standard ML for efficient execution on modern machines
- DOI:
- 发表时间:
1994-12 - 期刊:
- 影响因子:0
- 作者:
Zhong Shao - 通讯作者:
Zhong Shao
Reasoning about Optimistic Concurrency Using a Program Logic for History
使用历史程序逻辑推理乐观并发
- DOI:
- 发表时间:
2010 - 期刊:
- 影响因子:0
- 作者:
Ming Fu;Yong Li;Xinyu Feng;Zhong Shao;Yu Zhang - 通讯作者:
Yu Zhang
Zhong Shao的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Zhong Shao', 18)}}的其他基金
SHF: Small: Compositional Certified Concurrent Abstraction Layers
SHF:小型:组合认证的并发抽象层
- 批准号:
2313433 - 财政年份:2023
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
PPoSS: Planning: High-Performance Certified Trust for Global-Scale Applications
PPoSS:规划:全球规模应用程序的高性能认证信任
- 批准号:
2118851 - 财政年份:2021
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
FMitF: Track I: ADVERT: Compositional Atomic Specifications for Distributed System Verification
FMITF:轨道 I:ADVERT:分布式系统验证的组合原子规范
- 批准号:
2019285 - 财政年份:2020
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
SHF: Medium: DeepSEA: A Language for Programming and Synthesizing Certified Software
SHF:媒介:DeepSEA:一种用于编程和综合认证软件的语言
- 批准号:
1763399 - 财政年份:2018
- 资助金额:
$ 60万 - 项目类别:
Continuing Grant
SaTC: CORE: Small: Formal End-to-End Verification of Information-Flow Security for Complex Systems
SaTC:核心:小型:复杂系统信息流安全的正式端到端验证
- 批准号:
1715154 - 财政年份:2017
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
NeTS: Small: A Virtualized Network Resource Pool for Software-Defined Network Management
NeTS:小型:用于软件定义网络管理的虚拟化网络资源池
- 批准号:
1712674 - 财政年份:2016
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
Collaborative Research: Expeditions in Computing: The Science of Deep Specification
合作研究:计算探索:深度规范的科学
- 批准号:
1521523 - 财政年份:2015
- 资助金额:
$ 60万 - 项目类别:
Continuing Grant
SHF: Small: VeriQ: Formal Quantitative Software Verification in Realistic Application Scenarios
SHF:小型:VeriQ:现实应用场景中的形式化定量软件验证
- 批准号:
1319671 - 财政年份:2013
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
TC: Medium: Making OS Kernels Crash-Proof by Design and Certification
TC:中:通过设计和认证使操作系统内核防崩溃
- 批准号:
1065451 - 财政年份:2011
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
TC:Large:Collaborative Research:Combininig Foundational and Lightweight Formal Methods to Build Certifiably Dependable Software
TC:大型:协作研究:结合基础方法和轻量级形式方法来构建可证明可靠的软件
- 批准号:
0910670 - 财政年份:2009
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
相似国自然基金
完备格上元素的分解及其在刻画无限Fuzzy关系方程解集中的应用
- 批准号:11201325
- 批准年份:2012
- 资助金额:22.0 万元
- 项目类别:青年科学基金项目
Fuzzy Domain 理论及其新拓扑工具研究
- 批准号:61070150
- 批准年份:2010
- 资助金额:12.0 万元
- 项目类别:面上项目
基于Fuzzy Sets的视频差错掩盖技术研究
- 批准号:60672134
- 批准年份:2006
- 资助金额:25.0 万元
- 项目类别:面上项目
基于量化Domain的Fuzzy拓扑及其计算解释
- 批准号:60542001
- 批准年份:2005
- 资助金额:8.0 万元
- 项目类别:专项基金项目
端到端的基于Fuzzy综合评判的异构网络两种丢包原因区分算法的研究
- 批准号:60572122
- 批准年份:2005
- 资助金额:20.0 万元
- 项目类别:面上项目
电力系统管理中的Fuzzy几何规划理论与方法
- 批准号:79670012
- 批准年份:1996
- 资助金额:6.5 万元
- 项目类别:面上项目
L-Fuzzy拓扑与L-Fuzzy拓扑线性空间
- 批准号:19371044
- 批准年份:1993
- 资助金额:2.5 万元
- 项目类别:面上项目
软代数(FUZZY格)理论在智能计算机、推理系统中的应用
- 批准号:69075015
- 批准年份:1990
- 资助金额:2.5 万元
- 项目类别:面上项目
LOCALE理论与FUZZY拓扑学
- 批准号:18971060
- 批准年份:1989
- 资助金额:1.3 万元
- 项目类别:面上项目
Fuzzy(模糊)拓朴线性空间结构及其对偶理论
- 批准号:18670534
- 批准年份:1986
- 资助金额:0.5 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: FMitF: Track I: Designing Safe and Robust Human-machine Interactions with Fuzzy Mental Models
合作研究:FMitF:第一轨:利用模糊心理模型设计安全、鲁棒的人机交互
- 批准号:
2319318 - 财政年份:2023
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
A study on soft-decision decoding of fuzzy extractors for physically unclonable functions
物理不可克隆函数模糊提取器软判决译码研究
- 批准号:
23K11113 - 财政年份:2023
- 资助金额:
$ 60万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Collaborative Research: FMitF: Track I: Designing Safe and Robust Human-machine Interactions with Fuzzy Mental Models
合作研究:FMitF:第一轨:利用模糊心理模型设计安全、鲁棒的人机交互
- 批准号:
2319317 - 财政年份:2023
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
SaTC: CORE: Small: New Approaches for Fuzzy Private Set Intersection
SaTC:核心:小型:模糊私人集交集的新方法
- 批准号:
2150726 - 财政年份:2022
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
An Integrated Framework for Modeling Construction Competencies and Performance Using Artificial Intelligence and Fuzzy Simulation
使用人工智能和模糊仿真对施工能力和绩效进行建模的集成框架
- 批准号:
RGPIN-2018-05174 - 财政年份:2022
- 资助金额:
$ 60万 - 项目类别:
Discovery Grants Program - Individual
Fuzzy transfer learning for real-time decision making under uncertainty
不确定性下实时决策的模糊迁移学习
- 批准号:
DE220101075 - 财政年份:2022
- 资助金额:
$ 60万 - 项目类别:
Discovery Early Career Researcher Award
Analytical Reasoning and Fuzzy Cognitive Maps of Barrier Island Response to Natural and Anthropogenic Forcing
障壁岛对自然和人为强迫响应的分析推理和模糊认知图
- 批准号:
RGPIN-2017-04920 - 财政年份:2022
- 资助金额:
$ 60万 - 项目类别:
Discovery Grants Program - Individual
Fuzzy logics for graded reasoning in applied contexts
应用上下文中分级推理的模糊逻辑
- 批准号:
DE220100544 - 财政年份:2022
- 资助金额:
$ 60万 - 项目类别:
Discovery Early Career Researcher Award
On the role of data analytics and fuzzy sets theory in healthcare supply chain management.
关于数据分析和模糊集理论在医疗保健供应链管理中的作用。
- 批准号:
RGPIN-2020-06214 - 财政年份:2022
- 资助金额:
$ 60万 - 项目类别:
Discovery Grants Program - Individual
Canada Research Chair in Fuzzy Hybrid Decision Support Systems for Construction
加拿大建筑模糊混合决策支持系统研究主席
- 批准号:
CRC-2017-00021 - 财政年份:2022
- 资助金额:
$ 60万 - 项目类别:
Canada Research Chairs