Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
On Modeling and Tolerating Incorrect Software Anish Arora Marvin Theimer
 

Summary: 1
On Modeling and Tolerating Incorrect Software
Anish Arora Marvin Theimer
The Ohio State University Microsoft Research
Columbus, OH 43214 Redmond, WA 98052
anish@cis.ohio-state.edu theimer@microsoft.com
ABSTRACT
Distributed systems have to deal with the following
scenarios in practice: bugs in components; incorrect
specifications of components and, therefore, incorrect
use of components; unanticipated faults due to
complex interactions or to not containing the effects
of faults in lower-level components; and evolution of
components. Extant fault tolerance models deal with
such scenarios in only a limited manner. In
particular, we point out that state corruption is
inevitable in practice and that therefore one must
accept it and seek to correct it.
The well-known concepts of detectors and correctors
can be used to find and repair state corruption.

  

Source: Arora, Anish - Department of Computer Science and Engineering, Ohio State University

 

Collections: Computer Technologies and Information Sciences