國立虎尾科技大學 |

Fault-Tolerant Message-Passing Distributed Systems = An Algorithmic Approach /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Fault-Tolerant Message-Passing Distributed Systems/ by Michel Raynal.
其他題名:	An Algorithmic Approach /
作者:	Raynal, Michel.
面頁冊數:	XXXI, 459 p.online resource. :
Contained By:	Springer Nature eBook
標題:	Computers. -
電子資源:	https://doi.org/10.1007/978-3-319-94141-7
ISBN:	9783319941417

Fault-Tolerant Message-Passing Distributed Systems = An Algorithmic Approach /
Raynal, Michel.

Fault-Tolerant Message-Passing Distributed SystemsAn Algorithmic Approach /[electronic resource] :by Michel Raynal. - 1st ed. 2018. - XXXI, 459 p.online resource.

Part 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.

This 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.

ISBN: 9783319941417

Standard No.: 10.1007/978-3-319-94141-7doiSubjects--Topical Terms:

565115
Computers.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151

Fault-Tolerant Message-Passing Distributed Systems = An Algorithmic Approach /
LDR:04407nam a22004215i 4500 001 988608
003 DE-He213
005 20200702033109.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319941417 $9 978-3-319-94141-7
024 7 $a 10.1007/978-3-319-94141-7 $2 doi
035 $a 978-3-319-94141-7
050 4 $a QA75.5-76.95
050 4 $a QA76.63
072 7 $a UY $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UY $2 thema
072 7 $a UYA $2 thema
082 0 4 $a 004.0151 $2 23
100 1 $a Raynal, Michel. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 675021
245 1 0 $a Fault-Tolerant Message-Passing Distributed Systems $h [electronic resource] : $b An Algorithmic Approach / $c by Michel Raynal.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a XXXI, 459 p. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a Part 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 $a This 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.
650 0 $a Computers. $3 565115
650 0 $a Computer organization. $3 596298
650 0 $a Electrical engineering. $3 596380
650 1 4 $a Theory of Computation. $3 669322
650 2 4 $a Computer Systems Organization and Communication Networks. $3 669309
650 2 4 $a Communications Engineering, Networks. $3 669809
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319941400
776 0 8 $i Printed edition: $z 9783319941424
776 0 8 $i Printed edition: $z 9783030068035
856 4 0 $u https://doi.org/10.1007/978-3-319-94141-7
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)