Encapsulating Failure Detection: From Crash to Byzantine Failures

Détails

ID Serval
serval:BIB_22356
Type
Partie de livre
Collection
Publications
Titre
Encapsulating Failure Detection: From Crash to Byzantine Failures
Titre du livre
Reliable Software Technologies - Ada-Europe 2002
Auteur⸱e⸱s
Doudou A., Garbinato B., Guerraoui R.
Editeur
Springer
ISBN
978-3-540-43784-0
Statut éditorial
Publié
Date de publication
01/2002
Volume
2361
Série
Lecture Notes in Computer Science (LNCS)
Pages
24-50
Langue
anglais
Résumé
Separating different aspects of a program, and encapsulating them inside well defined modules, is considered a good engineering discipline. This discipline is particularly desirable in the development of distributed agreement algorithms which are known to be difficult and error prone. For such algorithms, one aspect that is important to encapsulate is failure detection. In fact, a complete encapsulation was proven to be feasible in the context of distributed systems with process crash failures, by using black-box failure detectors. This paper discusses the feasibility of a similar encapsulation in the context of Byzantine (also called arbitrary or malicious) failures. We argue that, in the Byzantine context, it is just impossible to achieve the level of encapsulation of the original crash failure detector model. However, we also argue that there is some room for an intermediate approach where algorithms that solve agreement problems, such as consensus and atomic broadcast, can still benefit from grey-box failure detectors that partially encapsulate Byzantine failure detection.
Mots-clé
dop
Web of science
Site de l'éditeur
Création de la notice
19/11/2007 9:46
Dernière modification de la notice
20/08/2019 12:59
Données d'usage