Encapsulating Failure Detection: From Crash to Byzantine Failures

Details

Serval ID
serval:BIB_22356
Type
A part of a book
Collection
Publications
Title
Encapsulating Failure Detection: From Crash to Byzantine Failures
Title of the book
Reliable Software Technologies - Ada-Europe 2002
Author(s)
Doudou A., Garbinato B., Guerraoui R.
Publisher
Springer
ISBN
978-3-540-43784-0
Publication state
Published
Issued date
01/2002
Volume
2361
Series
Lecture Notes in Computer Science (LNCS)
Pages
24-50
Language
english
Abstract
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.
Keywords
dop
Web of science
Publisher's website
Create date
19/11/2007 9:46
Last modification date
20/08/2019 12:59
Usage data