序二

初步拜读江峰的《分布式高可用算法》，感到十分亲切。书中开篇提到的图灵奖获得者Leslie Lamport的分布式计算理论也是我的博士论文《共享存储系统中的访存事件次序》的工作基础。从分布式系统中多个处理器如何协同工作的角度，可以将分布式系统分为共享存储系统和消息传递系统两大类。在共享存储系统中，多个处理器之间通过访问共享的内存进行同步和通信，类似于微信；在消息传递系统中，多个处理器之间通过互相传递消息进行同步和通信，类似于短信。前者的分布式模型相对简单，我的博士论文对此进行了研究，并入选了 1999 年“全国优秀博士学位论文”；后者的分布式模型则复杂得多，没想到在我博士毕业二十余年后，我在江峰的《分布式高可用算法》中看到了它。

江峰是中国电信的首席专家，他在繁杂的工程开发工作之余结合工程实践，把工作中碰到的问题及其解决方案进行归纳总结，把分布式系统中复杂的进程、消息、链路、时钟等十分复杂的内容及其相互关系进行抽象，提升到理论高度，并回到工程实践中加以检验，形成了《分布式高可用算法》一书。尤其难得的是，本书的内容通俗易懂，说明作者对分布式系统的技术体系已经做到融会贯通。

本书内容翔实、深入浅出；对各种算法抽丝剥茧、条分缕析；对每个证明反复推敲、字斟句酌。可以说，本书真正做到了广而博、专而精，既有助于初学者入门，也对从业者大有裨益。

胡伟武

龙芯中科技术股份有限公司董事长、总裁

中国科学院计算技术研究所研究员