Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems
Seiten
2010
Morgan & Claypool Publishers (Verlag)
978-1-60845-293-4 (ISBN)
Morgan & Claypool Publishers (Verlag)
978-1-60845-293-4 (ISBN)
Understanding distributed computing is not an easy task. 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.
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.
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.
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
| Erscheint lt. Verlag | 30.5.2010 |
|---|---|
| Reihe/Serie | Synthesis Lectures on Distributed Computing Theory |
| Verlagsort | San Rafael |
| Sprache | englisch |
| Maße | 187 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| ISBN-10 | 1-60845-293-X / 160845293X |
| ISBN-13 | 978-1-60845-293-4 / 9781608452934 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 53,15
Teil 2 der gestreckten Abschlussprüfung Fachinformatiker/-in …
Buch | Softcover (2025)
Europa-Lehrmittel (Verlag)
CHF 37,90
