Reliable Broadcast in the Presence of Process Crashes and Unreliable Channels

  • Michel Raynal


The previous chapter presented several constructions for the uniform reliable broadcast (URB) abstraction. These constructions considered the asynchronous underlying system model CAMP\([\emptyset]\) in which processes may crash and channels are reliable. These constructions differ in the quality of service they provide to the application processes, this quality being defined with respect to the order in which the messages are delivered (namely, FIFO or CO order). This order restricts message asynchrony.

This chapter introduces constructions of URB-broadcast suited to asynchronous systems prone to process crashes and unreliable channels, i.e., asynchronous system models weaker than CAMPn,t\([\emptyset]\).


Asynchronous system Communication abstraction Distributed algorithm Fair channel Fair lossy channel Failure detector Heartbeat failure detector Impossibility result Process crash failure Quiescence property Reliable broadcast Uniform reliable broadcast Theta failure detector Unreliable channel 


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