2013年图灵奖--莱斯利·兰波特简介
大家好，我是执念斩长河。今天讲述的是2013年图灵奖获得者莱斯利·兰波特。图灵奖奖励他为分布式系统、时序逻辑和并行算法做出贡献。读完本篇博文大家可以收获的是：
- 对数学的痴爱
- 互斥算法的完整解决—面包算法
- 什么是拜占庭将军问题，兰波特的解决方案
- 兰波特经典的论文著作
兰波特于1941年出生在纽约，兰波特中学时期就读的是著名的布朗克斯科学高中。这一时期，兰波特就表现出了对数学的浓厚兴趣，在高中数学刊物发表论文。高中毕业后进入麻省理工攻读数学，1960年毕业进入布兰迪斯大学攻读数学硕士，之后斩获数学博士论文。他的博士论文是 《带有奇异数据的柯西问题解析》。
毕业之后进入Compass公司任职，一个偶然机会在ACM看到一道互斥算法题目，很快编写了一个快速算法以论文的形式进行提交。杂志编辑的回信说这是错误的，事后兰波特回忆不能用并行算法编写的程序，却不验证程序正确性。最后解决了这个问题发表论文 《狄克斯特拉并发编程问题新解》。 他给新算法起“面包店算法”，这个简单而有效的算法模拟了面包店为顾客提供服务所实行的“按顺序叫号”。这个算法可以有效解决多个相互竞争的进程互斥。 他的另一篇 《分布系统中的时间、时钟和事件的次序》 考虑完善互斥算法，并基于事务次序的概念去实现分布式系统，成为后来对各种并发系统行为进行分析和推理的基础，被誉为分布式计算领域的开山之作。
1977年在研究可靠计算问题的过程中，兰波特提出并解决了拜占庭将军问题。 所谓拜占庭将军问题是指这样一个问题：假设有几股拜占庭军队正在一个敌城外扎营，每股军队由一个将军指挥。将军之间只能通过信使通信。观察完敌情后，他们必须达成一个一致的行动计划。然而，将军中可能有叛徒，会尽力阻止那些忠诚的将军对行动计划达成一致。解决这个问题的算法保证：
- 所有忠诚的将军必须达成一致的行动计划
- 少数叛徒不能使忠诚的将军做出错误的计划
l兰波特采用论文最后证明出：如果使用口头信息，当且仅当超过三分之二的将军是忠诚时该问题才可解。而如果使用不可伪造的书面信息，对于任何数目的将军和叛徒，该问题都是可解的。
上文出现的狄克斯特拉：
1972年图灵奖–埃德斯加·狄克斯特拉生平
2013年图灵奖--莱斯利·兰波特简介相关推荐
- 2010图灵奖--莱斯利·瓦里安特简介
大家好,我是执念斩长河.今天讲述的是2010年图灵奖获得者莱斯利·瓦里安特.图灵奖奖励他为机器学习.计算机复杂性以及平行和分布式计算这三个领域中的贡献.读完本文大家可以收获的是: 瓦里安特定义的计算机 ...
- 2013年图灵奖得主 Leslie Lamport 专访：程序员需要更多的数学知识
文章来源:AI科技评论 作者|李梅 编辑|陈彩娴 Leslie Lamport可能并不是一个家喻户晓的名字,但对于计算机科学家们来说,他是一些耳熟能详的「名字」幕后的贡献者.比如Paxos算法.排版程 ...
- Paxos算法是莱斯利·兰伯特(Leslie Lamport)1990年提出的一种基于消息传递的一致性算法。
Paxos算法是莱斯利·兰伯特(Leslie Lamport)1990年提出的一种基于消息传递的一致性算法.Paxos算法解决的问题是一个分布式系统如何就某个值(决议)达成一致.在工程实践意义上来说, ...
- 图灵奖简介、2012年图灵奖得主及其贡献领域简介
一.图灵奖简介 图灵奖(A.M. Turing Award,又译"杜林奖"),由美国计算机协会(ACM)于1966年设立,又叫"A.M. 图灵奖",专门奖励那些 ...
- 2013年图灵奖得主Leslie Lamport：如何写出数学上完美的算法
来源:新智元 本文约3100字,建议阅读6分钟 对程序员而言,对数学思维的强调永远不会过分,要写出好代码,不能惧怕数学. 图灵奖得主.分布式系统先驱.LaTeX之父Leslie Lamport认为,对 ...
- 2008年图灵奖--芭芭拉·利斯科夫简介
大家好,我是执念斩长河.今天讲述的是2008年图灵奖获得者芭芭拉·利斯科夫.图灵奖奖励他为计算机程序设计语言与系统理论实践做出创造性贡献.读完本文大家可以获得: 师从麦卡锡 开发维纳斯 抽象数据类型提 ...
- 1974年图灵奖--唐纳德·克努特简介
大家好,我是执念斩长河.今天讲述的是1974年图灵奖获得者唐纳德·克努特.图灵奖奖励他写出百万字的多卷本<计算机程序设计的艺术>.看完本篇博文大家可以获得: 克努特天才的学习经历 多卷本的 ...
- 2020年图灵奖Jeffrey和Alfred人物简介
本篇博文源于2020年图灵奖,旨在讲述图灵奖大佬Jeffrey David Ullman和Alfred Vaino Aho人物生平简介.读完本篇文章,大家可以轻松收获以下: Jeffrey David ...
- 1995年图灵奖--曼纽尔·布卢姆简介
大家好,我是执念斩长河.今天讲述的是1995年图灵奖获得者曼纽尔·布卢姆.图灵奖奖励他为计算机复杂性理论做出贡献.读完本篇博文大家可以收获的是: 什么是计算机复杂性理论 计算机复杂性分类 卢卡做出什么 ...
最新文章
- c语言写输入汉字输出区位码程序,2017年计算机应用基础检测试题
- 苹果风格ui_苹果如何使Soft-UI成为未来
- java使用Encoding导什么包_String getEncoding()
- 【Oracle的存储过程之面向对象之特性】
- 信息爆炸时代，对待信息的三种方式
- Python模拟谷歌浏览器发布文字、图片
- 怎么用c语言让电脑定时开关机,电脑定时开关机如何设置？小编教你设置电脑定时开机和关机...
- Python实现人脸识别
- 毕业设计2- MPU6050传感器调试记录（STM32CubeMX+STM32F103C8T6）
- 【AMAD】beaker -- 用于session和缓存的WSGI中间件
- js-web前端-多语言切换-data-localize
- mercury重置密码后服务器无响应,melogin.cn打不开的解决办法 水星路由器重置完无法上网...
- 训练孩子思维能力的几种方法
- python 心脏病可视化和分类预测
- 计算机相关专业的兼职大总结
- Ubuntu 10.04环境下载编译Android-2.2.1 （froyo） 源代码 1/2
- 老男孩脱产班Linux运维51期
- 短视频挺进在线音乐腹地
- CSS进阶（7）- 样式补充
- 高通平台msm8916修改开机logo【原创】