Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems

More about the book

Focusing on the complexities of distributed computing, this book addresses the uncertainties of asynchrony and process failures in message-passing systems. It introduces essential communication abstractions, such as the register and reliable broadcast abstractions, which facilitate consistent communication among processes. The text also explores consensus agreement abstractions that enable cooperation in the face of failures. By emphasizing failure detectors for fault tolerance, it provides a framework for designing distributed software with provable properties, while discussing associated impossibility results.