000 05252nam a22005655i 4500
001 978-3-319-94141-7
003 DE-He213
005 20210201191319.0
007 cr nn 008mamaa
008 180908s2018 gw | s |||| 0|eng d
020 _a9783319941417
_9978-3-319-94141-7
050 4 _aQA75.5-76.95
050 4 _aQA76.63
072 7 _aUY
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUY
_2thema
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
100 1 _aRaynal, Michel.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
245 1 0 _aFault-Tolerant Message-Passing Distributed Systems
_h[electronic resource] :
_bAn Algorithmic Approach /
_cby Michel Raynal.
250 _a1st ed. 2018.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2018.
300 _aXXXI, 459 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
500 _aAcceso multiusuario
505 0 _aPart I: Introductory : Chapter: a Few Definitions and Two Examples -- Part II : I The Reliable Broadcast Communication Abstraction -- Reliable Broadcast in the Presence of Process Crash Failures -- Reliable Broadcast in the Presence of Process Crashes and Unreliable Channels -- Reliable Broadcast in the Presence of Byzantine Processes -- Part III : The Read/Write Register Communication Abstraction -- The Read/Write Register Abstraction -- Building Read/Write Registers Despite Asynchrony and Less Than Half of Processes Crash (t < n/2) -- Circumventing the t < n/2 Read/Write Register Impossibility: the Failure Detector Approach -- A Broadcast Abstraction Suited to the Family of Read/Write Implementable Objects -- Atomic Read/Write Registers in the Presence of Byzantine Processes -- Part IV: Agreement in Synchronous Systems -- Consensus and Interactive Consistency in Synchronous Systems Prone to Process Crash Failures -- Expedite Decision in Synchronous Systems with Process Crash Failures -- Consensus Variants: Simultaneous Consensus and k-Set Agreement -- Non-blocking Atomic Commit in Synchronous Systems with Process Crash Failures -- Consensus in Synchronous Systems Prone to Byzantine Process Failures -- Part V: Agreement in Asynchronous Systems -- Implementable Agreement Abstractions Despite Asynchrony and a Minority of Process Crashes -- Consensus: Power and Implementability Limit in Crash-Prone Asynchronous Systems -- Implementing Consensus in Enriched Crash-Prone Asynchronous Systems -- Implementing Oracles in Asynchronous Systems with Process Crash Failures -- Implementing Consensus in Enriched Byzantine Asynchronous Systems.-Part VI : Appendix - Bibliography -- Index.
520 _aThis book presents the most important fault-tolerant distributed programming abstractions and their associated distributed algorithms, in particular in terms of reliable communication and agreement, which lie at the heart of nearly all distributed applications. These programming abstractions, distributed objects or services, allow software designers and programmers to cope with asynchrony and the most important types of failures such as process crashes, message losses, and malicious behaviors of computing entities, widely known under the term "Byzantine fault-tolerance". The author introduces these notions in an incremental manner, starting from a clear specification, followed by algorithms which are first described intuitively and then proved correct. The book also presents impossibility results in classic distributed computing models, along with strategies, mainly failure detectors and randomization, that allow us to enrich these models. In this sense, the book constitutes an introduction to the science of distributed computing, with applications in all domains of distributed systems, such as cloud computing and blockchains. Each chapter comes with exercises and bibliographic notes to help the reader approach, understand, and master the fascinating field of fault-tolerant distributed computing.
541 _fUABC ;
_cTemporal ;
_d01/01/2021-12/31/2023.
650 0 _aComputers.
650 0 _aComputer organization.
650 0 _aElectrical engineering.
650 1 4 _aTheory of Computation.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I16005
650 2 4 _aComputer Systems Organization and Communication Networks.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I13006
650 2 4 _aCommunications Engineering, Networks.
_0https://scigraph.springernature.com/ontologies/product-market-codes/T24035
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319941400
776 0 8 _iPrinted edition:
_z9783319941424
776 0 8 _iPrinted edition:
_z9783030068035
856 4 0 _zLibro electrónico
_uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-94141-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
942 _cLIBRO_ELEC
999 _c242041
_d242040