Fault-tolerant Agreement in Synchronous Message-passing Systems (Record no. 84965)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04380nam a22005175i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-031-02001-8 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240730163751.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 220601s2010 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783031020018 |
| -- | 978-3-031-02001-8 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 004 |
| 100 1# - AUTHOR NAME | |
| Author | Raynal, Michel. |
| 245 10 - TITLE STATEMENT | |
| Title | Fault-tolerant Agreement in Synchronous Message-passing Systems |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2010. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XXI, 167 p. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Synthesis Lectures on Distributed Computing Theory, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | List of Figures -- Synchronous Model, Failure Models, and Agreement Problems -- Consensus and Interactive Consistency in the Crash Failure Model -- Expedite Decision in the Crash Failure Model -- Simultaneous Consensus Despite Crash Failures -- From Consensus to k-Set Agreement -- Non-Blocking Atomic Commit in Presence of Crash Failures -- k-Set Agreement Despite Omission Failures -- Consensus Despite Byzantine Failures -- Byzantine Consensus in Enriched Models. |
| 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. A previous book Communication and Agreement Abstraction for Fault-tolerant Asynchronous Distributed Systems (published by Morgan & Claypool, 2010) was devoted to the problems created by crash failures in asynchronous message-passing systems. The present book focuses on the way to cope with the uncertainty created by process failures (crash, omission failures and Byzantine behavior) in synchronous message-passing systems (i.e., systems whose progress is governed by the passage of time). To that end, the book considers fundamental problems that distributed synchronous processes have to solve. These fundamental problems concern agreement among processes (if processes are unable to agree in one way or another in presence of failures, no non-trivial problem can be solved). They are consensus, interactiveconsistency, k-set agreement and non-blocking atomic commit. Being able to solve these basic problems efficiently with provable guarantees allows applications designers to give a precise meaning to the words ""cooperate"" and ""agree"" despite failures, and write distributed synchronous programs with properties that can be stated and proved. Hence, the aim of the book is to present a comprehensive view of agreement problems, algorithms that solve them and associated computability bounds in synchronous message-passing distributed systems. Table of Contents: List of Figures / Synchronous Model, Failure Models, and Agreement Problems / Consensus and Interactive Consistency in the Crash Failure Model / Expedite Decision in the Crash Failure Model / Simultaneous Consensus Despite Crash Failures / From Consensus to k-Set Agreement / Non-Blocking Atomic Commit in Presence of Crash Failures / k-Set Agreement Despite Omission Failures / Consensus Despite Byzantine Failures / Byzantine Consensusin Enriched Models. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://doi.org/10.1007/978-3-031-02001-8 |
| 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.