2013年图灵奖--莱斯利·兰波特简介

      大家好,我是执念斩长河。今天讲述的是2013年图灵奖获得者莱斯利·兰波特。图灵奖奖励他为分布式系统、时序逻辑和并行算法做出贡献。读完本篇博文大家可以收获的是:

  • 对数学的痴爱
  • 互斥算法的完整解决—面包算法
  • 什么是拜占庭将军问题,兰波特的解决方案
  • 兰波特经典的论文著作

      兰波特于1941年出生在纽约,兰波特中学时期就读的是著名的布朗克斯科学高中。这一时期,兰波特就表现出了对数学的浓厚兴趣,在高中数学刊物发表论文。高中毕业后进入麻省理工攻读数学,1960年毕业进入布兰迪斯大学攻读数学硕士,之后斩获数学博士论文。他的博士论文是 《带有奇异数据的柯西问题解析》。
       毕业之后进入Compass公司任职,一个偶然机会在ACM看到一道互斥算法题目,很快编写了一个快速算法以论文的形式进行提交。杂志编辑的回信说这是错误的,事后兰波特回忆不能用并行算法编写的程序,却不验证程序正确性。最后解决了这个问题发表论文 《狄克斯特拉并发编程问题新解》。 他给新算法起“面包店算法”,这个简单而有效的算法模拟了面包店为顾客提供服务所实行的“按顺序叫号”。这个算法可以有效解决多个相互竞争的进程互斥。 他的另一篇 《分布系统中的时间、时钟和事件的次序》 考虑完善互斥算法,并基于事务次序的概念去实现分布式系统,成为后来对各种并发系统行为进行分析和推理的基础,被誉为分布式计算领域的开山之作。
       1977年在研究可靠计算问题的过程中,兰波特提出并解决了拜占庭将军问题。 所谓拜占庭将军问题是指这样一个问题:假设有几股拜占庭军队正在一个敌城外扎营,每股军队由一个将军指挥。将军之间只能通过信使通信。观察完敌情后,他们必须达成一个一致的行动计划。然而,将军中可能有叛徒,会尽力阻止那些忠诚的将军对行动计划达成一致。解决这个问题的算法保证:

  • 所有忠诚的将军必须达成一致的行动计划
  • 少数叛徒不能使忠诚的将军做出错误的计划

l兰波特采用论文最后证明出:如果使用口头信息,当且仅当超过三分之二的将军是忠诚时该问题才可解。而如果使用不可伪造的书面信息,对于任何数目的将军和叛徒,该问题都是可解的。

2013年图灵奖--莱斯利·兰波特简介_第1张图片
上文出现的狄克斯特拉:
1972年图灵奖–埃德斯加·狄克斯特拉生平

你可能感兴趣的:(文学见识)