LaTeX 之父的新书，还是 LaTeX 老味道

莱斯利·兰波特是一位美国计算机科学家，因他在分布式系统方面的开创性工作而闻名。 Leslie Lamport 是分布式计算理论的奠基人，在分布式计算和并发系统的原理、规范和验证领域做出了奠基性的贡献，是 2013 年图灵奖得主。

兰波特于 1941 年 2 月 7 日出生于纽约市。他于 1963 年在布兰迪斯大学获得数学学士学位，并于 1966 年在麻省理工学院获得计算机科学博士学位。

其个人首页在 https://lamport.azurewebsites.net/

兰波特在麻省理工学院担任研究生时，他开始研究分布式系统。他提出了许多重要的概念，包括：

• 原子操作：原子操作是指在分布式系统中执行的操作，其结果要么全部成功，要么全部失败；
• 一致性：一致性是指在分布式系统中，所有计算机都看到相同的数据状态；
• 可恢复性：可恢复性是指在分布式系统中，即使发生故障，数据也能保持一致。

兰波特的贡献对分布式系统的发展产生了重大影响。1978 年写的经典论文《时间、时钟和分布式系统中事件的排序》(Time, Clocks, and the Ordering of Events in a Distributed System)是分布式计算领域最重要和被引用最多的论文之一（也许没有之一）。这篇论文深刻地揭示了分布式系统中时间、时钟和排序的概念和关系，提出的逻辑时钟奠定了分布式系统一致性的基础，影响了今天所有分布式系统的设计。如果在整个分布式计算领域，只读一篇论文，我推荐这篇在分布式计算领域具有历史意义的里程碑论文。

Lamport 写程序也是好手，开发了文档准备系统 LaTeX。LaTeX 是一种强大的工具，可用于创建专业的印刷质量文档。它被广泛用于学术和商业领域。被称为 LaTeX 之父。

Lamport 今年已经 83 岁了，他还在写一本关于并行计算理论的新书《A Science of Concurrent Programs》，内容是纯理论。全文 LaTeX 排版，1 月 6 日他把初稿的电子版公布在网上。

地址：https://lamport.azurewebsites.net/tla/science.pdf

Lamport 会在正式版本中致谢在初稿里发现错误的人。等着大神的你提出里面的问题，排版问题也是可以的。Happy LaTeXing！~