Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems

Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems
Author :
Publisher : Springer Nature
Total Pages : 251
Release :
ISBN-10 : 9783031020001
ISBN-13 : 3031020006
Rating : 4/5 (01 Downloads)

Book Synopsis Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems by : Michel Raynal

Download or read book Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems written by Michel Raynal and published by Springer Nature. This book was released on 2022-06-01 with total page 251 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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


Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems Related Books

Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems
Language: en
Pages: 251
Authors: Michel Raynal
Categories: Computers
Type: BOOK - Published: 2022-06-01 - Publisher: Springer Nature

DOWNLOAD EBOOK

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 corre
Fault-tolerant Agreement in Synchronous Message-passing Systems
Language: en
Pages: 167
Authors: Michel Raynal
Categories: Computers
Type: BOOK - Published: 2022-06-01 - Publisher: Springer Nature

DOWNLOAD EBOOK

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 corre
Fault-Tolerant Message-Passing Distributed Systems
Language: en
Pages: 468
Authors: Michel Raynal
Categories: Computers
Type: BOOK - Published: 2018-09-08 - Publisher: Springer

DOWNLOAD EBOOK

This book presents the most important fault-tolerant distributed programming abstractions and their associated distributed algorithms, in particular in terms of
Stabilization, Safety, and Security of Distributed Systems
Language: en
Pages: 466
Authors: Xavier Défago
Categories: Computers
Type: BOOK - Published: 2011-10-09 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011, held in Greno
Structural Information and Communication Complexity
Language: en
Pages: 486
Authors: Christian Scheideler
Categories: Computers
Type: BOOK - Published: 2015-10-19 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Colloquium on Structural Information and Communication Compl