互联网是一个分布式系统，无线通信、云计算或并行计算、多核系统、移动网络也是如此。蚁群、大脑甚至人类社会都可以被建模为分布式系统。本书强调这些分布式系统中共同涉及的主题和技术，特别是强调分布式系统设计中的一些基本问题，涵盖通信、协调、容错性、本地性、并行性、打破对称性、同步化、不确定性等。

分布式算法20多年来一直是倍受关注的主流方向。本书第二版不仅给出了算法的最新进展，还深入探讨了与之相关的理论知识。这本教材适合本科高年级和研究生使用，同时，本书所覆盖的广度和深度也十分适合从事实际工作的工程师和研究人员参考。书中重点讨论了点对点消息传递模型上的算法，也包括计算机通信网络的实现算法。其他重点讨论的内容包括分布式应用的控制算法（如波算法、广播算法、选举算法、终止检测算法、匿名网络的随机算法、快照算法、死锁检测算法、同步系统算法等），还涉及了利用分布式算法实现容错计算。第二版新增的关于方向感和故障检测器的内容都代表了当今最新技术发展水平，为在这些方向上从事研究的人员提供了很好的帮助。

《分布式算法导论(第2版)(英文版)》由电子工业出版社出版。

分布式算法20多年来一直是倍受关注的主流方向。本书第二版不仅给出了算法的最新进展，还深入探讨了与之相关的理论知识。这本教材适合本科高年级和研究生使用，同时，本书所覆盖的广度和深度也十分适合从事实际工作的工程师和研究人员参考。书中重点讨论了点对点消息传递模型上的算法，也包括计算机通信网络的实现算法。其他重点讨论的内容包括分布式应用的控制算法（如波算法、广播算法、选举算法、终止检测算法、匿名网络的随机算法、快照算法、死锁检测算法、同步系统算法等），还涉及了利用分布式算法实现容错计算。第二版新增的关于方向感和故障检测器的内容都代表了当今最新技术发展水平，为在这些方向上从事研究的人员提供了很好的帮助。

《分布式算法导论(第2版)(英文版)》由电子工业出版社出版。

《分布式高可用算法》从原理出发，系统性地介绍了分布式系统和算法，而非介绍如何使用某种分布式框架。本书首先介绍了分布式系统是如何被建模的，以及分布式算法是如何被描述的，然后从基础的链路抽象开始逐步增加复杂度，最终将复杂的共识抽象以简单的方式呈现在读者面前。通过阅读本书，读者不仅可以掌握常用的分布式算法，还可以学到分布式算法的证明方法及适用条件，为自行设计分布式系统和算法打下坚实的基础。 《分布式高可用算法》适合分布式领域的初学者及相关从业者阅读参考。

《分布式高可用算法》从原理出发，系统性地介绍了分布式系统和算法，而非介绍如何使用某种分布式框架。本书首先介绍了分布式系统是如何被建模的，以及分布式算法是如何被描述的，然后从基础的链路抽象开始逐步增加复杂度，最终将复杂的共识抽象以简单的方式呈现在读者面前。通过阅读本书，读者不仅可以掌握常用的分布式算法，还可以学到分布式算法的证明方法及适用条件，为自行设计分布式系统和算法打下坚实的基础。 《分布式高可用算法》适合分布式领域的初学者及相关从业者阅读参考。

一切的开始，不过是一个平平无奇的午后，林铭在街头发现了一只只有他自己才能看到的猫，就被巡逻的治安员抓进了精神病院……