DFix: automatically fixing timing bugs in distributed systems
DFix: automatically fixing timing bugs in distributed systems
复制标题
DFix：自动修复分布式系统中的计时错误
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Shan Lu
中科院分区：
文献类型：
--
作者：
Guangpu Li;Haopeng Liu;Xianglan Chen;Haryadi S. Gunawi;Shan Lu
如今，分布式系统是计算社会的骨干，预计将具有很高的可用性。不幸的是，分布式定时错误，这是一种被广泛存在的消息和节点崩溃触发的错误。它们导致许多生产失败，并且很难推理和补丁。尽管最近提出的技术可以自动检测这些错误，但是如何自动并正确修复它们仍然是一个开放的问题。本文介绍了DFIX，该工具可以自动处理分布式的正时错误报告，静态分析该错误系统并产生补丁。我们的评估表明，DFIX有效地修复了现实世界分布式的正时错误。
Distributed systems nowadays are the backbone of computing society, and are expected to have high availability. Unfortunately, distributed timing bugs, a type of bugs triggered by non-deterministic timing of messages and node crashes, widely exist. They lead to many production-run failures, and are difficult to reason about and patch. Although recently proposed techniques can automatically detect these bugs, how to automatically and correctly fix them still remains as an open problem. This paper presents DFix, a tool that automatically processes distributed timing bug reports, statically analyzes the buggy system, and produces patches. Our evaluation shows that DFix is effective in fixing real-world distributed timing bugs.
DOI：
10.1145/3132747.3132753
发表时间：
2017-10
期刊：
Proceedings of the 26th Symposium on Operating Systems Principles
影响因子：
--
作者：
Aaron Gember;Aditya Akella;Ratul Mahajan;H. Liu
通讯作者：
Aaron Gember;Aditya Akella;Ratul Mahajan;H. Liu