Designing distributed computing systems is a complex process requiring a solid understanding of the design problems and the theoretical and practical aspects of their solutions. This comprehensive textbook covers the fundamental principles and models underlying the theory, algorithms and systems aspects of distributed computing. Broad and detailed coverage of the theory is balanced with practical systems-related issues such as mutual exclusion, deadlock detection, authentication, and failure recovery. Algorithms are carefully selected, lucidly presented, and described without complex proofs. Simple explanations and illustrations are used to elucidate the algorithms.

设计分布式计算系统是一个复杂的过程，需要对设计问题及其解决方案的理论和实践方面有坚实的理解。这本综合性教材涵盖了分布式计算理论、算法和系统方面的基本原理和模型。理论的广泛而详细的覆盖范围与实际系统相关的问题相平衡，如互斥、死锁检测、身份验证和故障恢复。算法经过仔细选择、清晰呈现和描述，没有复杂的证明。使用简单的解释和插图来说明算法。