课题基金 / 基金详情

CSR: Small: Replication in the Cloud Era

CSR: Small: Replication in the Cloud Era
CSR:小:云时代的复制
批准号:
1814507
负责人:
Manos Kapritsos
金额:
$49.72万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2018
资助国家:
美国
项目状态:
已结题
起止时间:
2018-10-01 至 2021-09-30

项目摘要

项目成果

Manos Kapritsos的其他基金

相似基金

相关文献

中文摘要
翻译
现代生活依赖于计算机,但人们期望的24/7可用性很难实现。计算机远非万无一失,经常崩溃。为了防止这种故障中断基本服务,研究界在过去40年里一直在开发容错技术,使服务在故障情况下不间断地继续。这些技术为我们提供了很好的服务,也是我们今天享受无缝服务的主要原因。然而,尽管有这些优点,我们的容错技术有一个基本的设计缺陷。它们是为独立服务而设计的:在单个机器上执行的服务,不需要与其他服务交互。然而,这种独立的服务在当今的计算中变得越来越少见,其中大型系统由多个交互组件组成。在这个勇敢的新世界里,我们现有的容错技术不再起作用。本研究旨在提高这种交互服务的容错能力,主要有三个目标。(1)建立一个框架来简化服务之间的交互。(2)通过重新思考我们如何使用高级技术(如投机执行)来恢复正确性。(3)通过研究有效实现此类交互的方法来优化性能。实现这三个目标将使容错在当今的大规模系统中的实际实现成为可能,这是确保我们能够在未来继续享受无缝服务的关键。现在,我们的系统太大,无法作为单个服务实现,容错技术必须适应,以避免过时。该项目旨在引导未来的容错学术工作远离独立的服务,走向更实用的设置。该奖项旨在加强学术界和工业界之间的联系,让他们朝着云时代的复制这一新的共同目标努力。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
Modern life depends on computers, but 24/7 availability that people expect is hard to achieve. Computers are far from infallible and frequently crash. To prevent such failures from disrupting essential services, the research community has spent the last 40 years developing fault-tolerance techniques, which allow services to continue uninterrupted despite failures. These techniques have served us well and are the main reason behind the seamless services we enjoy today. For all their merits, however, our fault-tolerance techniques have a fundamental design flaw. They were designed for standalone services: services which execute on a single machine and do not need to interact with other services. However, such standalone services are becoming increasingly uncommon in today's computing, where large systems consist of multiple interacting components. In this brave new world, our existing fault-tolerance techniques no longer work.This research aims to improve fault-tolerance for such interacting services and has three main goals. (1) Establish a framework to simplify the interactions between services. (2) Restore correctness, by rethinking how we employ advanced techniques, like speculative execution. (3) Focus on optimizing performance by investigating ways to implement such interactions efficiently. Achieving these three goals will enable practical implementations of fault-tolerance in today's large-scale systems, which is the key to ensuring that we can continue to enjoy seamless services in the future.Now that our systems are too large to be implemented as a single service, fault-tolerant techniques must adapt to avoid becoming obsolete. This project aims to steer future academic efforts on fault tolerance away from standalone services and towards a more practical setting. In doing so, it aims to strengthen the ties between academia and industry by having them strive towards this new, common goal: replication in the cloud era.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(4)
专著(0)
科研奖励(0)
会议论文
DOI: 10.1145/3341301.3359663
发表时间: 2019-10
期刊: Proceedings of the 27th ACM Symposium on Operating Systems Principles
影响因子: --
作者: [Remzi Can Aksoy;Manos Kapritsos]
通讯作者: Remzi Can Aksoy;Manos Kapritsos
Brief Announcement: On the Significance of Consecutive Ballots in Paxos
简短公告:关于Paxos连续投票的意义
DOI: 10.1145/3382734.3405700
发表时间: 2020
期刊: Proceedings of the 39th Symposium on Principles of Distributed Computing
影响因子: --
作者: [Goldweber, Eli, Zhang, Nuda, Kapritsos, Manos]
通讯作者: Kapritsos, Manos
I4: incremental inference of inductive invariants for verification of distributed protocols
I4:用于验证分布式协议的归纳不变量的增量推理
DOI: 10.1145/3341301.3359651
发表时间: 2019
期刊: Proceedings of the 27th ACM Symposium on Operating Systems Principles
影响因子: --
作者: [Ma, Haojun, Goel, Aman, Jeannin, Jean-Baptiste, Kapritsos, Manos, Kasikci, Baris, Sakallah, Karem A.]
通讯作者: Sakallah, Karem A.
Towards Automatic Inference of Inductive Invariants
走向归纳不变量的自动推理
DOI: 10.1145/3317550.3321451
发表时间: 2019
期刊: Proceedings of the Workshop on Hot Topics in Operating Systems
影响因子: --
作者: [Ma, Haojun, Goel, Aman, Jeannin, Jean-Baptiste, Kapritsos, Manos, Kasikci, Baris, Sakallah, Karem A.]
通讯作者: Sakallah, Karem A.
Collaborative Research: FMitF: Track I: Simplifying End-to-End Verification of High-Performance Distributed Systems
CAREER: Formal Verification of Performance Properties for Distributed Systems
Collaborative Research: PPoSS: LARGE: ScaleStuds: Foundations for Correctness Checkability and Performance Predictability of Systems at Scale
FMitF: Track I: Automating the Verification of Distributed Systems
国内基金
海外基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
  • 依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    10.0万元
  • 批准年份:
    2022
  • 负责人:
    张祥忠
  • 依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 项目类别:
    面上项目
  • 资助金额:
    58.0万元
  • 批准年份:
    2019
  • 负责人:
    高学文
  • 依托单位: