Exhaustive Exploration of the Failure-oblivious Computing Search Space

Thomas Durieux 1 Youssef Hamadi 2 Zhongxing Yu 3 Benoit Baudry 4 Martin Monperrus 5, 4
1 Inria - Institut National de Recherche en Informatique et en Automatique
2 Microsoft - Microsoft Research [Cambridge]
3 SPIRALS - Self-adaptation for distributed services and large software systems
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
4 KTH - Royal Institute of Technology [Stockholm]
5 Université de Lille, Sciences et Technologies
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.
Type de document :
Communication dans un congrès
11th IEEE Conference on Software Testing, Validation and Verification, Apr 2018, Västerås, Sweden. 2017
Liste complète des métadonnées
https://hal.inria.fr/hal-01624988
Contributeur : Thomas Durieux <>
Soumis le : vendredi 27 octobre 2017 - 08:40:00
Dernière modification le : mardi 24 avril 2018 - 11:53:50

Lien texte intégral

arxiv

Identifiants

  • HAL Id : hal-01624988, version 1
  • ARXIV : 1710.09722

Collections

INRIA | CRISTAL-SPIRALS

Citation

Thomas Durieux, Youssef Hamadi, Zhongxing Yu, Benoit Baudry, Martin Monperrus. Exhaustive Exploration of the Failure-oblivious Computing Search Space. 11th IEEE Conference on Software Testing, Validation and Verification, Apr 2018, Västerås, Sweden. 2017. 〈hal-01624988〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

134

Contact


archive-ouverte@inria.fr