当前位置 主页 > 站长资源大全 > iis7百科 > 最大化 缩小

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

    栏目:iis7百科 时间:2019-12-17 09:15

      莱斯利·兰波特(英语:Leslie Lamport,1941年2月7日出生),美国计算机科学家。也是排版系统LaTeX的开发者。Lamport以其在分布式系统中的开创性工作以及文档准备系统LaTeX的最初开发者而闻名。莱斯利·兰波特(Leslie Lamport)因对分布式计算系统看似混乱的行为施加清晰,明确的一致性而获得了2013年的图灵奖,在分布式计算系统中,几台自治计算机通过传递消息相互通信。他设计了重要的算法,并开发了正式的建模和验证协议,以提高实际分布式系统的质量。这些贡献提高了计算机系统的正确性,性能和可靠性。
      兰波特1941年出生于纽约,是欧洲移民的儿子。 在麻省理工学院获学士学位以后,兰波特到布兰戴斯大学攻读数学博士,不久后放弃,到佛蒙特州一所小型文科学校——万宝路学院教授数学。之后到麻省计算机协会做兼职工作,做ILLIAC设计。
      Lamport讲自己是一个数学家,其次才算是计算机科学家。强调自己对于证明的重视。实际上,他给出了一个状态机器来解决分布式进程通信的问题,类似于图灵机,也是抽象机器或者说思维机器(mental machine)。
      Paxos算法是莱斯利·兰伯特(Leslie Lamport)1990年提出的一种基于消息传递的一致性算法。Paxos算法解决的问题是一个分布式系统如何就某个值(决议)达成一致。在工程实践意义上来说,就是可以通过Paxos实现多副本一致性,分布式锁,名字管理,序列号分配等。比如,在一个分布式数据库系统中,如果各节点的初始状态一致,每个节点执行相同的操作序列,那么他们最后能得到一个一致的状态。为保证每个节点执行相同的命令序列,需要在每一条指令上执行一个“一致性算法”以保证每个节点看到的指令一致。
      1972年获博士学位,继续研究ILLIAC。兰波特最终得出证明,分布系统中的相对次序与观察者有关。