中文

失效无关计算搜索空间的穷举探索

软件工程 2021-11-12 v3

摘要

软件系统的高可用性要求在出现错误时自动处理崩溃。失效无关计算是一种旨在实现高可用性的技术。我们注意到失效无关性尚未被深入研究,且极少有研究有助于理解失效无关技术为何有效。为了使失效无关计算在实践中产生影响,我们需要深入理解软件中的失效无关行为。在本文中,我们研究、设计并开展了一项实验,分析失效无关行为的规模与多样性。我们的实验由大规模开源 Java 软件的 16 个现场失效的搜索空间穷举计算组成。该实验的成果是对使用失效无关计算时真实发生情况的更好理解,这开启了新的有前景的研究方向。

关键词

引用

@article{arxiv.1710.09722,
  title  = {Exhaustive Exploration of the Failure-oblivious Computing Search Space},
  author = {Thomas Durieux and Youssef Hamadi and Zhongxing Yu and Benoit Baudry and Martin Monperrus},
  journal= {arXiv preprint arXiv:1710.09722},
  year   = {2021}
}

备注

arXiv admin note: substantial text overlap with arXiv:1603.07631