Implementing Oracles in Asynchronous Systems Prone to Process Crash Failures

  • Michel Raynal


The notion of a failure detector has been introduced in Section 3.3. Considering a communication or agreement abstraction which is impossible to solve in the basic model CAMPn,t\([\emptyset]\), an appropriate failure detector provides the processes with additional computability power, which allows this communication or agreement abstraction to be implemented in the corresponding enriched model. Various failure detectors have been presented and used in previous chapters (in Chap. 3 to implement URBbroadcast for any value of t despite fair channels, in Chap. 7 to implement a read/write register for any value of t, and in Chap. 17 to implement consensus despite asynchrony and process crashes).


Abstraction ranking Asynchronous algorithm Eventually perfect failure detector Eventual leader failure detector Eventually timely channel Hybrid model Ω Impossibility Message pattern Message scheduling assumption Message pattern Modularity Perfect failure detector Process monitoring 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Michel Raynal
    • 1
  1. 1.IRISA-ISTIC Université de Rennes 1Institut Universitaire de FranceRennesFrance

Personalised recommendations