Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems

Michel Raynal (Autor)

Buch | Softcover

XXII, 251 Seiten

2010
Springer International Publishing (Verlag)
978-3-031-00872-6 (ISBN)

Artikel merken

Understanding distributed computing is not an easy task. This is due to the many facets of uncertainty one has to cope with and master in order to produce correct distributed software. Considering the uncertainty created by asynchrony and process crash failures in the context of message-passing systems, the book focuses on the main abstractions that one has to understand and master in order to be able to produce software with guaranteed properties. These fundamental abstractions are communication abstractions that allow the processes to communicate consistently (namely the register abstraction and the reliable broadcast abstraction), and the consensus agreement abstractions that allows them to cooperate despite failures. As they give a precise meaning to the words "communicate" and "agree" despite asynchrony and failures, these abstractions allow distributed programs to be designed with properties that can be stated and proved. Impossibility results are associated with these abstractions. Hence, in order to circumvent these impossibilities, the book relies on the failure detector approach, and, consequently, that approach to fault-tolerance is central to the book. Table of Contents: List of Figures / The Atomic Register Abstraction / Implementing an Atomic Register in a Crash-Prone Asynchronous System / The Uniform Reliable Broadcast Abstraction / Uniform Reliable Broadcast Abstraction Despite Unreliable Channels / The Consensus Abstraction / Consensus Algorithms for Asynchronous Systems Enriched with Various Failure Detectors / Constructing Failure Detectors

Michel Raynal is a professor of computer science at the University of Rennes, France. His main research interests are the basic principles of distributed computing systems. Michel Raynal is the author of numerous papers on distributed algorithms and a world leading re[1]searcher in the domain of distributed computing. He has chaired the program committee of the major conferences on the topic, such as the IEEE Int'l Conference on Distributed Computing Systems (ICDCS), the Symposium on Distributed Computing (DISC), the Int'l Colloquium on Structural Information and Communication Complexity (SIROCCO), and the Int'l Conference on Principles of Distributed Systems (OPODIS). He has also served on the program committees of many international conferences, and he is the recipient of several "Best Paper" awards. Michel Raynal has been invited by many universities all over the world to give lectures on distributed computing.

List of Figures.- The Atomic Register Abstraction.- Implementing an Atomic Register in a Crash-Prone Asynchronous System.- The Uniform Reliable Broadcast Abstraction.- Uniform Reliable Broadcast Abstraction Despite Unreliable Channels.- The Consensus Abstraction.- Consensus Algorithms for Asynchronous Systems Enriched with Various Failure Detectors.- Constructing Failure Detectors.

Erscheinungsdatum	06.06.2022
Reihe/Serie	Synthesis Lectures on Distributed Computing Theory
Zusatzinfo	XXII, 251 p.
Verlagsort	Cham
Sprache	englisch
Maße	191 x 235 mm
Gewicht	526 g
Themenwelt	Informatik ► Theorie / Studium ► Algorithmen
Themenwelt	Informatik ► Theorie / Studium ► Kryptologie
ISBN-10	3-031-00872-3 / 3031008723
ISBN-13	978-3-031-00872-6 / 9783031008726
Zustand	Neuware