Fault-Tolerant Message-Passing Distributed Systems

An Algorithmic Approach

  • Michel Raynal

Table of contents

  1. Front Matter
    Pages i-xxxi
  2. Introductory Chapter

    1. Front Matter
      Pages 1-1
  3. The Reliable Broadcast Communication Abstraction

  4. The Read/Write Register Communication Abstraction

  5. Agreement in Synchronous Systems

  6. Agreement in Asynchronous Systems

  7. Appendix

    1. Front Matter
      Pages 409-409
    2. Michel Raynal
      Pages 411-423
  8. Back Matter
    Pages 425-459

About this book


This book presents the most important fault-tolerant distributed programming abstractions and their associated distributed algorithms, in particular in terms of reliable communication and agreement, which lie at the heart of nearly all distributed applications. These programming abstractions, distributed objects or services, allow software designers and programmers to cope with asynchrony and the most important types of failures such as process crashes, message losses, and malicious behaviors of computing entities, widely known under the term "Byzantine fault-tolerance". The author introduces these notions in an incremental manner, starting from a clear specification, followed by algorithms which are first described intuitively and then proved correct.

The book also presents impossibility results in classic distributed computing models, along with strategies, mainly failure detectors and randomization, that allow us to enrich these models. In this sense, the book constitutes an introduction to the science of distributed computing, with applications in all domains of distributed systems, such as cloud computing and blockchains. Each chapter comes with exercises and bibliographic notes to help the reader approach, understand, and master the fascinating field of fault-tolerant distributed computing.


Distributed Systems Distributed Algorithms Reliable Broadcast Process Crashes Byzantine Process Synchronous System Asynchronous System Oracle Distributed Computing Blockchain Cloud Computing

Authors and affiliations

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

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-94140-0
  • Online ISBN 978-3-319-94141-7
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods