Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems (Record no. 84964)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03907nam a22005175i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-031-02000-1 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240730163750.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 220601s2010 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783031020001 |
| -- | 978-3-031-02000-1 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 004 |
| 100 1# - AUTHOR NAME | |
| Author | Raynal, Michel. |
| 245 10 - TITLE STATEMENT | |
| Title | Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2010. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XXII, 251 p. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Synthesis Lectures on Distributed Computing Theory, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | 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. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://doi.org/10.1007/978-3-031-02000-1 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer International Publishing : |
| -- | Imprint: Springer, |
| -- | 2010. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Coding theory. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Information theory. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Data structures (Computer science). |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Coding and Information Theory. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Data Structures and Information Theory. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 2155-1634 |
| 912 ## - | |
| -- | ZDB-2-SXSC |
No items available.