Skip to main content
  • Textbook
  • © 2011

Introduction to Reliable and Secure Distributed Programming

  • Introduces fundamental reliable and secure distributed programming abstractions, and offers algorithms to implement these abstractions

  • Incremental approach explores basic abstractions before moving to more sophisticated concepts

  • The book functions as a complete practical reference to the basics of reliable distributed programming applications

  • Includes a companion set of running examples implemented in Java

  • Includes supplementary material: sn.pub/extras

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-15260-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 74.99
Price excludes VAT (USA)
Hardcover Book USD 109.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (7 chapters)

  1. Front Matter

    Pages i-xix
  2. Introduction

    • Christian Cachin, Rachid Guerraoui, Luís Rodrigues
    Pages 1-18
  3. Basic Abstractions

    • Christian Cachin, Rachid Guerraoui, Luís Rodrigues
    Pages 19-72
  4. Reliable Broadcast

    • Christian Cachin, Rachid Guerraoui, Luís Rodrigues
    Pages 73-135
  5. Shared Memory

    • Christian Cachin, Rachid Guerraoui, Luís Rodrigues
    Pages 137-202
  6. Consensus

    • Christian Cachin, Rachid Guerraoui, Luís Rodrigues
    Pages 203-279
  7. Consensus Variants

    • Christian Cachin, Rachid Guerraoui, Luís Rodrigues
    Pages 281-339
  8. Concluding Remarks

    • Christian Cachin, Rachid Guerraoui, Luís Rodrigues
    Pages 341-345
  9. Back Matter

    Pages 347-367

About this book

In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Failures may range from crashes to adversarial attacks by malicious processes.

Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one topic, covering reliable broadcast, shared memory, consensus, and extensions of consensus. For every topic, many exercises and their solutions enhance the understanding

This book represents the second edition of "Introduction to Reliable Distributed Programming". Its scope has been extended to include security against malicious actions by non-cooperating processes. This important domain has become widely known under the name "Byzantine fault-tolerance".

Keywords

  • Broadcast
  • Communication Protocols
  • Distributed Algorithms
  • Distributed Programming
  • Reliable Delivery
  • Shared Memory
  • algorithm analysis and problem complexity

Authors and Affiliations

  • IBM Research Zürich, Rüschlikon, Switzerland

    Christian Cachin

  • de Lausanne (EPFL), Faculté Informatique et Communications, École Polytechnique Fédérale, Lausanne, Switzerland

    Rachid Guerraoui

  • Instituto Superior Técnico, INESC-ID, Lisboa, Portugal

    Luís Rodrigues

About the authors

Rachid Guerraoui is Professor in the School of Computer and Communication Sciences (LPD), at EPFL in Lausanne, Switzerland. Luís E. T. Rodrigues is Professor (Professor Catedrático) at the Departamento de Engenharia Informática, Instituto Superior Técnico (IST), at the Universidade Técnica de Lisboa in Portugal. Christian Cachin works at IBM Research in Zurich, Switzerland.

Bibliographic Information

  • Book Title: Introduction to Reliable and Secure Distributed Programming

  • Authors: Christian Cachin, Rachid Guerraoui, Luís Rodrigues

  • DOI: https://doi.org/10.1007/978-3-642-15260-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2011

  • Hardcover ISBN: 978-3-642-15259-7

  • Softcover ISBN: 978-3-642-42327-7

  • eBook ISBN: 978-3-642-15260-3

  • Edition Number: 2

  • Number of Pages: XIX, 367

  • Topics: Algorithms, Computer Communication Networks, Operating Systems

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-15260-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 74.99
Price excludes VAT (USA)
Hardcover Book USD 109.99
Price excludes VAT (USA)