分布式系统中的开创者—莱斯利·兰伯特

莱斯利·兰波特可能并不是一个家喻户晓的名字，但对于计算机科学家们来说，他是一些耳熟能详的「名字」幕后的贡献者。比如Paxos算法、排版程序LaTeX、规格语言TLA+、「面包店算法」和「拜占庭将军问题」等等。

兰波特1941年出生于纽约，是欧洲移民的儿子。在麻省理工学院获学士学位以后，兰波特到布兰戴斯大学攻读数学博士，不久后放弃，到佛蒙特州一所小型文科学校——万宝路学院教授数学。之后到麻省计算机协会做兼职工作，做ILLIAC设计。

兰波特讲自己是一个数学家，其次才算是计算机科学家。强调自己对于证明的重视。

兰伯特彻底改变了现代计算机之间的对话方式。2013年，他被授予图灵奖，以表彰他在分布式系统方面的工作。

在分布式系统中，不同网络上的多个组件协调一致，以实现一个共同的目标。互联网搜索、云计算和人工智能都需要协调众多强大的计算机器协同工作。当然，这种协调也会使我们遇到更多的问题。

兰伯特曾经说过：「分布式系统是这样一种系统，在这种系统中，一台你甚至不知晓其存在的计算机出现了故障，就会导致你自己的计算机无法使用。」

最大的问题来源之一是「并发系统」，即在重叠的时间片段内发生多个计算操作，这导致了一种模糊性：哪台计算机的时钟是正确的？在1978年的一篇开创性论文中，兰伯特引入了「因果关系」的概念，利用狭义相对论的观点来解决这个问题。两个观察者在事件顺序上可能存在分歧，但如果是一个事件导致另一个事件的发生，那么就能消除模糊性。发送或接收消息可以在多个进程之间建立因果关系。「逻辑时钟」（现在也被称为兰伯特时钟），提供了一种标准的方法来对并发系统进行推理。

有了这个工具以后，计算机科学家开始想知道他们如何系统地将这些连接的计算机变得更大，而不增加Bug。兰伯特提出了一个优雅的解决方案：Paxos，一种允许多台计算机执行复杂任务的「一致性算法」。没有Paxos及其算法家族，现代计算就不可能存在。Paxos算法现在已经成为行业标准。

对于自己的研究成果，兰伯特表示，我希望它们都能发挥作用，“因为个人对美有着不同的理解，所以人们究竟会更喜欢哪个理论也是‘仁者见仁、智者见智’”。在提及成功的秘诀时，他认为，每个人的研究道路都会因人而异，由于现在的计算机科学环境已经和他开始起步的时代发生了天翻地覆的变化，他的经验可能并不适用于每一个人。如果一个人“最终想要成为自己想成为的人，就要做自己最严格的裁判”。