Reliable and total order broadcast in the crash-recovery model

  • Authors:
  • Romain Boichat;Rachid Guerraoui

  • Affiliations:
  • School of Computer Communication Sciences, Swiss Federal Institute of Technology, EPFL, CH-1015 Lausanne, Switzerland;School of Computer Communication Sciences, Swiss Federal Institute of Technology, EPFL, CH-1015 Lausanne, Switzerland

  • Venue:
  • Journal of Parallel and Distributed Computing
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper addresses the problems of broadcasting messages in a reliable and totally ordered manner assuming a crash-recovery model, i.e., a model where processes and channels may crash and possibly recover. We present a suite of specifications of reliable and total order broadcast abstractions for this model and we describe algorithms that implement those specifications. The properties of broadcast abstractions are first given separately and then composed: this provides a comprehensive design space for broadcast semantics. The algorithms we give are efficient both in terms of time-complexity (communication steps) and log-complexity (disk accesses).