Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems

摘要: Understanding distributed computing is not an easy task. This due to the many facets of uncertainty one has cope with and master in order produce correct software. Considering created by asynchrony process crash failures context message-passing systems, book focuses on main abstractions that understand be able software guaranteed properties. These fundamental are communication allow processes communicate consistently (namely register abstraction reliable broadcast abstraction), consensus agreement allows them cooperate despite failures. As they give a precise meaning words "communicate" "agree" failures, these programs designed properties can stated proved. Impossibility results associated abstractions. Hence, circumvent impossibilities, relies failure detector approach, and, consequently, approach fault-tolerance central book. Table Contents: List Figures / The Atomic Register Abstraction Implementing Crash-Prone Asynchronous System Uniform Reliable Broadcast Despite Unreliable Channels Consensus Algorithms for Systems Enriched Various Failure Detectors Constructing