Loading...
conference paper
Muteness Failure Detectors: Specification and Implementation
1999
Proceedings 3rd European Dependable Computing Conference (EDCC-3)
This paper extends the failure detector approach from crash-stop failures to muteness failures. Muteness failures are malicious failures in which a process stops sending algorithm messages, but might continue to send other messages, e.g., ``I am alive'' messages. The paper presents both the specification of a muteness failure detector, denoted ny <>M and an implementation of <>M in a partial synchrony model. We show that, modulo a simple modification, a consensus algorithm that has been designed in a crash-stop model with <>S, can be reused in the presence of muteness failures simply by replacing <>M with <>S.
Type
conference paper
Authors
Publication date
1999
Publisher
Published in
Proceedings 3rd European Dependable Computing Conference (EDCC-3)
Start page
71
End page
87
Written at
EPFL
EPFL units
Available on Infoscience
May 20, 2005
Use this identifier to reference this record