莱斯利Lamport

莱斯利Lamport，全文莱斯利·b·兰波特(生于1941年2月7日，纽约(美国，纽约)计算机科学家谁获得了2013年的奖项图灵奖解释和阐明…的行为分布式计算系统(即由多个自治通过相互交换信息进行通信的计算机)。兰波特在他获奖期间任期内在微软公司这使他成为微软研究团队中第五位获得该奖项的成员。

兰波特在20世纪50年代末就读于纽约的布朗克斯科学高中，之后获得了美国大学的学士学位学士学位在数学从麻省理工学院(麻省理工学院)1960年。他在大学继续他的数学研究布兰代斯大学他是马萨诸塞州沃尔瑟姆市的一名学生文学硕士1963年获博士学位，1972年获博士学位。从1965年到1969年，兰波特在佛蒙特州万宝路的万宝路学院教数学。1970年至1977年间，他受雇于马萨诸塞州计算机协会，担任计算机科学家。他在SRI国际公司担任过类似的职务，门洛帕克从1977年到1985年，他在加利福尼亚州数字设备公司系统研究中心，帕洛阿尔托从1985年到2001年。兰波特后来接受了微软研究机构首席计算机科学家的职位山景城2001年，他在加利福尼亚州。

在他的整个职业生涯中，兰波特一直致力于建立规则促进写作的过程项目而且算法．因为分布式计算网络是复杂的结构，看起来很混乱，他致力于创建一系列规则来统一和简化计算机科学家的工作。Lamport指出，确定因果关系对于维护并行计算系统之间的逻辑一致性很重要，比如两个相同的系统数据库．他确定，与计算机之间交换的消息相关的时间戳可以用来产生事件的顺序;这在银行交易等情况下特别有用，在这种情况下，存取款的确切顺序非常重要。然后可以使用排序来更新网络中所有计算机的信息。

Lamport还考虑了互斥问题，互斥是为了防止进程写入相同而开发的计算机内存的位置。解决方案，他称之为"面包店算法，”涉及到为每个等待写入内存的进程分配一个整数，这与面包店的方式大致相同赞助人在进入存储区时获取一个号码。Lamport致力于解决“拜占庭故障”(Byzantine failures)的问题，即分布式服务器中某个部件发生故障的情况计算机系统发送影响整个系统性能的冲突消息。

Lamport曾三次获得著名的Edsger W. Dijkstra分布式计算奖。Lamport获得了IEEE约翰·冯·诺依曼2008年获得奖章，2013年获得Jean-Claude lapere可靠计算奖。他被接纳为协会的一员美国国家科学院(1991)和国家工程院(2011)。