loading...
A Hybrid Approach for Building Eventually Accurate Failure Detectors
Papeete, Tahiti, French Polynesia March 03-March 05
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PRDC.2004.127655310th Pacific Rim International Sympos ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Achour Mostefaoui, IRISA, Université de Rennes 1
David Powell, LAAS-CNRS
Michel Raynal, IRISA, Université de Rennes 1

Unreliable failure detectors introduced by Chandra and Toueg are abstract mechanisms that provide information about process crashes. On the one hand, failure detectors allow a statement of the minimal requirements on process failures that allow solutions to problems that cannot otherwise be solved in purely asynchronous systems. However, on the other hand, they cannot be implemented in such systems: their implementation requires that the underlying distributed system be enriched with additional assumptions.

Classic failure detector implementations rely on additional synchrony assumptions such as partial synchrony. More recently, a new approach for implementing failure detectors has been proposed: it relies on behavioral properties on the flow of messages exchanged. This paper shows that these approaches are not antagonistic and can be advantageously combined. A hybrid protocol (the first to our knowledge) implementing failure detectors with eventual accuracy properties is presented. Interestingly, this protocol benefits from the best of both worlds in the sense that it converges (i.e., provides the required failure detector) as soon as either the system behaves synchronously or the required message exchange pattern is satisfied. This shows that, to expedite convergence, it can be interesting to consider that the underlying system can satisfy several alternative assumptions.

Index Terms:
Asynchronous distributed systems, Distributed algorithm, Convergence, Hybrid algorithm, Fault tolerance, Process crash, Unreliable failure detector
Citation:
Achour Mostefaoui, David Powell, Michel Raynal, "A Hybrid Approach for Building Eventually Accurate Failure Detectors," prdc, pp.57-65, 10th Pacific Rim International Symposium on Dependable Computing (PRDC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.