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

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

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

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

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

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

上文出现的狄克斯特拉：
1972年图灵奖–埃德斯加·狄克斯特拉生平