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

发布于 2024-01-08 20:19:21

莱斯利·兰波特是一位美国计算机科学家,因他在分布式系统方面的开创性工作而闻名。 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!~

science_1.jpg
science_2.jpg
science_3.jpg
science_11.jpg
science_15.jpg
science_22.jpg

1 条评论

发布
问题