Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Benign Failure Models for Shared Memory \Lambda Yehuda Afek y Michael Merritt z Gadi Taubenfeld y
 

Summary: Benign Failure Models for Shared Memory \Lambda
Yehuda Afek y Michael Merritt z Gadi Taubenfeld y
November 13, 1995
Abstract
This paper introduces two benign failure models for shared memory in distributed
systems, omission­crash and eventual­crash. These models are of intermediate power
between the crash model and omission models of [JCT92]. (They exhibit more faulty
behaviors than crash and fewer than omission.) Unlike the crash model, omission­crash
is shown to have universal, gracefully­degrading constructions. That is, for any integer
k, any shared object may be constructed from shared registers and consensus objects,
so that: (1) if no more than k of the components suffer omission­crash failures, the
constructed object exhibits no failures, and (2) if more than k of the components suffer
omission­crash failures, the constructed object exhibits omission­crash failures.
Simple constructions also demonstrate that registers and consensus objects in the
(apparently) less benign eventual­crash model can be used to construct corresponding
objects in the omission­crash model.
These results are cited as evidence that the omission­crash failure model may
be an appropriate choice to consider in the formulation of a more extensive theory of
fault­tolerant shared objects.
1 Benign failure models for shared memory

  

Source: Afek, Yehuda - School of Computer Science, Tel Aviv University

 

Collections: Computer Technologies and Information Sciences