莱斯利·兰波特（，），美国计算机科学家。也是排版系統LaTeX的開發者。Lamport在计算机科学领域，特别是分布式系统，领域有着深远的影响，也奠定的此领域的基础。他最著名的贡献是在分布式系统中的逻辑时钟和事件排序，Bakery算法和互斥解决方案，并发程序的规范和验证，不可靠网络中的Paxos协议，以及复制状态机（Replicated State Machines）的概念。他的成果为他赢得了许多奖项和荣誉，包括2013年的图灵奖、Dijkstra奖、IEEE约翰·冯·诺依曼奖和the Jean-Claude Laprie Award in Dependable Computing。他还于2011年当选为美国国家科学院院士。
经历
童年时期
兰波特1941年出生于纽约。他从小在布朗克斯区的一个中产阶级家庭长大，是欧洲移民的儿子。他的父亲最初计划成为一名医生，但在经济大萧条时期却在一家干洗公司工作，而他的母亲则从一名裁缝变成了家庭主妇。兰波特继续在布兰戴斯大学学习，1963年获得数学硕士学位。之后，兰波特到佛蒙特州一所小型文科学校——馬爾勃羅學院教授数学。1972年获得数学博士学位。他的博士论文主要研究解析偏微分方程的奇异性。他之后继续研究ILLIAC。兰波特最终得出证明，分布系统中的相对次序与观察者有关。
工作
兰波特的职业生涯始于1970年在马萨诸塞州计算机协会（Massachusetts Computer Associates）担任计算机科学家，直到1977年。他设计了重要的算法，并开发了提高分布式系统的质量的形式化的建模和验证协议。他最著名的论文包括“Time, Clocks, and the Ordering of Events in a Distributed System」以及「How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs」。他于2011年当选为美国国家科学院院士。
Bakery算法和互斥解决方案
兰波特开发了分布式系统上来解决互斥（Mutual Exclusion）的Bakery算法，该算法允许多个进程共享单个资源而不发生冲突，确保每个进程依次获得对资源的独占访问权。
参考资料
评论 (0)