Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Muteness Failure Detectors: Specification and Implementation
 
Loading...
Thumbnail Image
conference paper

Muteness Failure Detectors: Specification and Implementation

Doudou, A.
•
Garbinato, B.
•
Guerraoui, R.  
Show more
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.

  • Details
  • Metrics
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés