Title :
Reliable broadcast in the crash-recovery model
Author :
Boichat, Romain ; Guerraoui, Rachid
Author_Institution :
Dept. of Commun. Syst., Swiss Fed. Inst. of Technol., Lausanne, Switzerland
Abstract :
The paper addresses the problem of broadcasting messages in a reliable manner within a practical asynchronous system where processes and channels may crash and recover. In this crash-recovery model, we present meaningful specifications of reliable broadcast and we describe algorithms that implement those specifications. Our approach is modular and incremental. It is modular in the sense that we give the properties of reliable broadcast separately, and then consider their composition. It is incremental in the sense that we show how to automatically transform any reliable broadcast algorithm that implements a given specification into one that implements a stronger specification. In particular we show how to reuse, in a crash-recovery model, reliable broadcast algorithms that were initially designed in a simpler crash-stop model
Keywords :
broadcasting; distributed algorithms; formal specification; software reliability; system recovery; crash-recovery model; crash-stop model; meaningful specifications; message broadcasting; practical asynchronous system; reliable broadcast; reliable broadcast algorithm reuse; Algorithm design and analysis; Broadcast technology; Broadcasting; Communication systems; Computer crashes; Distributed algorithms; Distributed computing; Intersymbol interference; Reliability theory;
Conference_Titel :
Reliable Distributed Systems, 2000. SRDS-2000. Proceedings The 19th IEEE Symposium on
Conference_Location :
Nurnberg
Print_ISBN :
0-7695-0543-0
DOI :
10.1109/RELDI.2000.885390