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