Introduction to Reliable and Secure Distributed Programming

  • Christian Cachin
  • Rachid Guerraoui
  • Luís Rodrigues

Table of contents

  1. Front Matter
    Pages i-xix
  2. Christian Cachin, Rachid Guerraoui, Luís Rodrigues
    Pages 1-18
  3. Christian Cachin, Rachid Guerraoui, Luís Rodrigues
    Pages 19-72
  4. Christian Cachin, Rachid Guerraoui, Luís Rodrigues
    Pages 73-135
  5. Christian Cachin, Rachid Guerraoui, Luís Rodrigues
    Pages 137-202
  6. Christian Cachin, Rachid Guerraoui, Luís Rodrigues
    Pages 203-279
  7. Christian Cachin, Rachid Guerraoui, Luís Rodrigues
    Pages 281-339
  8. Christian Cachin, Rachid Guerraoui, Luís Rodrigues
    Pages 341-345
  9. Back Matter
    Pages 347-367

About this book

Introduction

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

Authors and affiliations

  • Christian Cachin
    • 1
  • Rachid Guerraoui
    • 2
  • Luís Rodrigues
    • 3
  1. 1.IBM Research ZürichRüschlikonSwitzerland
  2. 2.de Lausanne (EPFL), Faculté Informatique et CommunicationsÉcole Polytechnique FédéraleLausanneSwitzerland
  3. 3.Instituto Superior TécnicoINESC-IDLisboaPortugal

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-15260-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-15259-7
  • Online ISBN 978-3-642-15260-3
  • About this book