Introduction to Reliable and Secure Distributed Programming (2ND ed.)

In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Failures may range from crashes to adversarial attacks by malicious processes.

Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one topic, covering reliable broadcast, shared memory, consensus, and extensions of consensus. For every topic, many exercises and their solutions enhance the understanding

This book represents the second edition of "Introduction to Reliable Distributed Programming". Its scope has been extended to include security against malicious actions by non-cooperating processes. This important domain has become widely known under the name "Byzantine fault-tolerance".

在現代計算中，一個程式通常會分散在多個進程之間。當開發可靠且安全的分散式程式時，最基本的挑戰是支援進程之間的合作，以執行共同的任務，即使其中一些進程發生故障。故障可能從程式崩潰到惡意進程的敵對攻擊。

Cachin、Guerraoui和Rodrigues提供了一個介紹性描述，關於在分散式系統中實現基本分散式程式抽象的演算法，其中進程可能會發生崩潰和惡意攻擊。作者們採用漸進式的方法，首先在簡單的分散式環境中介紹基本抽象，然後轉向更複雜的抽象和更具挑戰性的環境。每個核心章節都專注於一個主題，包括可靠廣播、共享記憶體、共識以及共識的擴展。對於每個主題，都有許多練習和解答，以增進理解。

這本書是《可靠分散式程式設計入門》的第二版。其範圍已擴展，包括對抗不合作進程的惡意行為的安全性。這個重要領域已被廣泛稱為「拜占庭容錯」。