Treffer: Rx: Treating bugs as allergies : A safe method to survive software failures

Title:
Rx: Treating bugs as allergies : A safe method to survive software failures
Authors:
FENA QIN, TUCEK, Joseph, SUNDARESAN, Jagadeesan, YUANYUAN ZHOU
Source:
SOSP'05 : proceedings of the 20th ACM symposium on operating systems principlesOperating systems review. 39(5):235-248
Publisher Information:
New York, NY: Association for Computing Machinery, 2005.
Publication Year:
2005
Physical Description:
print, 60 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Logiciel, Software, Génie logiciel, Software engineering, Approche déterministe, Deterministic approach, Enfoque determinista, Architecture logiciel, Software architecture, Fiabilité logiciel, Software reliability, Fiabilidad logicial, Preuve programme, Program proof, Prueba programa, Simultanéité informatique, Concurrency, Simultaneidad informatica, Système Linux, Linux system, Sistema linux, Système UNIX, UNIX system, Sistema UNIX, Système non déterministe, Non deterministic system, Sistema no determinista, Test programme, Program test, Test programa, Défaillance logiciel
Document Type:
Konferenz Conference Paper
File Description:
text
Language:
English
Author Affiliations:
Department of Computer Science University of Illinois at Urbana Champaign, United States
ISSN:
0163-5980
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=17405339
Rights:
Copyright 2006 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.17405339
Database:
PASCAL Archive

Weitere Informationen

Many applications demand availability. Unfortunately, software failures greatly reduce system availability. Prior work on surviving software failures suffers from one or more of the following limitations: Required application restructuring, inability to address deterministic software bugs, unsafe speculation on program execution, and long recovery time. This paper proposes an innovative safe technique, called Rx, which can quickly recover programs from many types of software bugs, both deterministic and non-deterministic. Our idea, inspired from allergy treatment in real life, is to rollback the program to a recent checkpoint upon a software failure, and then to re-execute the program in a modified environment. We base this idea on the observation that many bugs are correlated with the execution environment, and therefore can be avoided by removing the allergen from the environment. Rx requires few to no modifications to applications and provides programmers with additional feedback for bug diagnosis. We have implemented Rx on Linux. Our experiments with four server applications that contain six bugs of various types show that Rx can survive all the six software failures and provide transparent fast recovery within 0.017-0.16 seconds, 21-53 times faster than the whole program restart approach for all but one case (CVS). In contrast, the two tested alternatives, a whole program restart approach and a simple rollback and re-execution without environmental changes, cannot successfully recover the three servers (Squid, Apache, and CVS) that contain deterministic bugs, and have only a 40% recovery rate for the server (MySQL) that contains a non-deterministic concurrency bug. Additionally, Rx's checkpointing system is lightweight, imposing small time and space overheads.