Exhaustive Exploration of the Failure-oblivious Computing Search Space

by Thomas Durieux, Youssef Hamadi, Zhongxing Yu, Benoit Baudry and Martin Monperrus
Abstract: High-availability of software systems requires automated handling of crashes in presence of errors. Failure-oblivious computing is one technique that aims to achieve high availability. We note that failure-obliviousness has not been studied in depth yet, and there is very few study that helps understand why failure-oblivious techniques work. In order to make failure-oblivious computing to have an impact in practice, we need to deeply understand failure-oblivious behaviors in software. In this paper, we study, design and perform an experiment that analyzes the size and the diversity of the failure-oblivious behaviors. Our experiment consists of exhaustively computing the search space of 16 field failures of large-scale open-source Java software. The outcome of this experiment is a much better understanding of what really happens when failure-oblivious computing is used, and this opens new promising research directions.
 View PDF
Open-access (on arXiv.org)
Publisher version (via DOI)
github
Other publications of Martin Monperrus

Cite it:

Thomas Durieux, Youssef Hamadi, Zhongxing Yu, Benoit Baudry and Martin Monperrus, "Exhaustive Exploration of the Failure-oblivious Computing Search Space", In Proceedings of the International Conference on Software Testing, Verification and Validation (ICST), 2018.
https://doi.org/10.1109/ICST.2018.00023
Exhaustive Exploration of the Failure-oblivious Computing Search Space
https://arxiv.org/pdf/1710.09722
[Exhaustive Exploration of the Failure-oblivious Computing Search Space](https://arxiv.org/pdf/1710.09722) ([doi:10.1109/ICST.2018.00023](https://doi.org/10.1109/ICST.2018.00023))
\href{https://arxiv.org/pdf/1710.09722}{Exhaustive Exploration of the Failure-oblivious Computing Search Space} % \cite{1710.09722}

Bibtex Entry:

@inproceedings{1710.09722,
 title = {Exhaustive Exploration of the Failure-oblivious Computing Search Space},
 booktitle = {Proceedings of the International Conference on Software Testing,
  Verification and Validation (ICST)},
 year = {2018},
 doi = {10.1109/ICST.2018.00023},
 author = {Thomas Durieux and Youssef Hamadi and Zhongxing Yu and Benoit Baudry and Martin Monperrus},
 url = {https://arxiv.org/pdf/1710.09722},
}
Powered by bibtexbrowser
Tagged as: