CSR: Medium:Combating Distributed Concurrency Bugs in Cloud Systems

CSR：中：对抗云系统中的分布式并发错误

• 批准号: 1563956
• 负责人: Haryadi Gunawi
• 金额: $ 80万
• 依托单位: University of Chicago
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-08-01 至 2021-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1563956&HistoricalAwards=false
• 关键词: CSR; Medium; Combating; Distributed; Concurrency

DCBA: Distributed Concurrency Bugs Annihilation Software systems are getting more complex, creating reliability issues that cause millions of dollars in economic loss. Beyond local software, distributed cloud software infrastructures (i.e., cloud systems) have emerged as a dominant backbone for many modern applications. Users expect high reliability from these systems, but guaranteeing their reliability proves to be challenging. Cloud systems run on hundreds/thousands of machines, execute complicated distributed protocols, and face a variety of hardware faults. This combination makes cloud systems prone to distributed concurrency bugs, which can cause catastrophic failures such as data loss, downtimes, and data loss/inconsistencies. This Distributed Concurrency Bugs Annihilation (DCBA) project will address this important issue and bring many direct benefits to the society; users from many areas (science, healthcare, business, education, military, and government) increasingly use cloud computing services and demand high availability and predictability. Combating distributed concurrency bugs is an important ingredient to such success. Distributed concurrency bugs are caused by non-deterministic order of distributed events such as message arrivals, faults, and reboots. This project, Distributed Concurrency Bugs Annihilation (DCBA), will find, remove, and prevent buggy interleavings of concurrent distributed events with the development of four approaches: (1) full, automated, and deep distributed system model checkers, (2) fast inference, detection, testing and fixing of order violations, (3) runtime statistical debugging, prevention, and recovery, and (4) design advancements that reduce the possibilities of distributed concurrency bugs to appear. This DCBA project will advance the state of cloud dependability research. Existing literature on distributed systems reliability focuses on monitoring, post-mortem debugging, deterministic record and replay, and verifiable programming language frameworks. The DCBA project will introduce advancements to approaches related to model checking, bug detection, bug fixing, runtime debugging, prevention and recovery. As more organizations build more distributed systems on farms of machines and services in cloud era, it is time for the dependability community to address distributed concurrency bugs in systematic and comprehensive manners. The DCBA initiative will have a profound impact to future distributed cloud systems.

DCBA：分布式并发错误歼灭软件系统越来越复杂，从而造成了可靠性问题，从而导致数百万美元的经济损失。 除本地软件外，分布式云软件基础架构（即云系统）已成为许多现代应用的主要骨干。 用户期望这些系统的可靠性很高，但是保证其可靠性被证明是具有挑战性的。 云系统在数百/数千台机器上运行，执行复杂的分布式协议，并面临各种硬件故障。 这种组合使云系统容易出现分布的并发错误，这可能会导致灾难性故障，例如数据丢失，下降和数据丢失/不一致。 这个分布的并发错误歼灭（DCBA）项目将解决这一重要问题，并为社会带来许多直接利益；来自许多领域（科学，医疗保健，商业，教育，军事和政府）的用户越来越多地使用云计算服务，并需要高可用性和可预测性。 对抗分布式并发错误是这种成功的重要组成部分。分布式并发错误是由分布式事件的非确定性顺序引起的，例如消息到达，故障和重启。 This project, Distributed Concurrency Bugs Annihilation (DCBA), will find, remove, and prevent buggy interleavings of concurrent distributed events with the development of four approaches: (1) full, automated, and deep distributed system model checkers, (2) fast inference, detection, testing and fixing of order violations, (3) runtime statistical debugging, prevention, and recovery, and (4) design advancements that reduce the possibilities分布式并发错误出现。 该DCBA项目将推进云可依赖性研究的状态。 有关分布式系统可靠性的现有文献着重于监视，验尸后调试，确定性记录和重播以及可验证的编程语言框架。 DCBA项目将向与模型检查，错误检测，错误修复，运行时调试，预防和恢复有关的方法引入进步。随着越来越多的组织在云时代的机器和服务农场上建立更多的分布式系统，现在是时候让可靠性社区以系统和全面的方式解决分布式的并发错误了。 DCBA计划将对未来的分布式云系统产生深远的影响。