莱斯利り·兰波特とく

莱斯利り·兰波特とく
Leslie Lamport
出生しゅっしょう	(1941-02-07) 1941年ねん2月がつ7日にち 美国びくに纽约市し
母校ぼこう	麻あさ省しょう理工りこう学院がくいん（学士がくし） 布ぬの兰戴斯大学がく（博士はかせ）
知名ちめい于	LaTeX Sequential consistency Atomic Register Hierarchy Lamport面めん包つつみ店てん算法さんぽう 拜はい占うらない庭にわ将はた军问题 Paxos算法さんぽう
奖项	Dijkstra Prize（2000、2005） 约翰·冯诺依曼奖（2008） 图灵奖（2013）
网站	www.lamport.org
科学かがく生涯しょうがい
研究けんきゅう领域	计算机つくえ科学かがく
机つくえ构	微ほろ软研究けんきゅう院いん 康かん柏かしわ电脑 DEC SRI International
论文	The analytic Cauchy problem with singular data（1972）
博士はかせ導師どうし	Richard Palais

莱斯利り·兰波特とく（英語えいご：Leslie Lamport，1941年ねん2月がつ7日にち—），美国びくに计算机つくえ科学かがく家か。也是排はい版ばん系統けいとうLaTeX的てき開發かいはつ者しゃ。Lamport在ざい计算机つくえ科学かがく领域，特とく别是分布ぶんぷ式しき系けい统，领域有ゆう着ぎ深ふか远的影かげ响，也奠定じょう的てき此领域いき的てき基もと础。他た最さい著名ちょめい的てき贡献是ぜ在ざい分布ぶんぷ式しき系けい统中的てき逻辑时钟和わ事件じけん排はい序じょ，Bakery算法さんぽう和わ互斥解かい决方案あん，并发程ほど序じょ的てき规范和わ验证，不可ふか靠もたれ网络中ちゅう的てきPaxos协议，以及复制状じょう态机（Replicated State Machines）的てき概念がいねん。他た的てき成果せいか为他赢得了りょう许多奖项和わ荣誉，包括ほうかつ2013年ねん的てき图灵奖、Dijkstra奖、IEEE约翰·冯·诺依曼奖和かずthe Jean-Claude Laprie Award in Dependable Computing。他た还于2011年ねん当とう选为美国びくに国家こっか科学かがく院いん院いん士し。

经历

童わらわ年ねん时期

兰波特とく1941年ねん出生しゅっしょう于纽约。他た从小在ざい布ぬの朗ろう克かつ斯区（The Bronx）的てき一个中产阶级家庭长大，是ぜ欧おう洲しゅう移民いみん的てき儿子。他た的てき父ちち亲最初はつ计划成なり为一名医めいい生せい，但ただし在ざい经济大だい萧条时期却在一家いっか干ひ洗あらい公司こうし工作こうさく，而他的てき母はは亲则从一名裁缝变成了家庭主妇。

教育きょういく

兰波特とく就读于布ぬの朗ろう克かつ斯科学かがく高だか中ちゅう。在ざい这期间，他た第だい一次开始使用真空管来构建数字电路。随ずい后きさき，他た于1960年ねん获得麻あさ省しょう理工りこう学院がくいん(MIT)数学すうがく学士がくし学位がくい。兰波特とく继续在ざい布ぬの兰戴斯大学がく学がく习，1963年ねん获得数学すうがく硕士学位がくい。之これ后きさき，兰波特とく到いた佛ふつ蒙こうむ特とく州しゅう一所いっしょ小型こがた文科ぶんか学校がっこう——万まん宝たから路ろ学院がくいん教授きょうじゅ数学すうがく。1972年ねん获得数学すうがく博士はかせ学位がくい。他た的てき博士はかせ论文主要しゅよう研究けんきゅう解析かいせき偏へん微分びぶん方かた程ほど的てき奇き异性。他た之の后きさき继续研究けんきゅうILLIAC。兰波特とく最さい终得出で证明，分布ぶんぷ系けい统中的てき相しょう对次序じょ与あずか观察者しゃ有ゆう关。

工作こうさく

兰波特とく的てき职业生涯しょうがい始はじめ于1970年ねん在ざい马萨诸塞州しゅう计算机つくえ协会(Massachusetts Computer Associates)担任たんにん计算机つくえ科学かがく家か，直ちょく到いた1977年ねん。他た于1977年ねん至いたり1985年ねん加入かにゅう国くに际斯坦ひろし福ぶく研究所けんきゅうじょ（SRI International），随ずい后きさき于1985年ねん至いたり2001年ねん加入かにゅうDigital Equipment Corporation和わCompaq。2001年ねん，兰波特とく加入かにゅう微ほろ软研究けんきゅう院いん。

事こと业和成就じょうじゅ

兰波特とく最さい著名ちょめい的てき是ぜ他た在ざい分布ぶんぷ式しき系けい统方面ほうめん的てき开创性せい工作こうさく，以及文ぶん档准备系统LaTeX的てき最初さいしょ开发者しゃ。他た获得了りょう2013年ねん图灵奖，因いん为他在ざい分布ぶんぷ式しき计算系けい统的看み似に混乱こんらん的てき行ぎょう为上实现了りょう清しん晰、定てい义明确的一致いっち性せい。在ざい分布ぶんぷ式しき计算系けい统中，几台自主じしゅ计算机つくえ通どおり过传递消息いき相互そうご通信つうしん。他た的てき贡献提ひさげ高だか了りょう计算机つくえ系けい统的正せい确性、性能せいのう和わ可か靠もたれ性せい。

在ざい他た的てき职业生涯しょうがい中ちゅう，兰波特とく在ざい分布ぶんぷ式しき和わ并发系けい统的てき理り论和实践方面ほうめん做出了りょう许多开创性せい的てき贡献。他た设计了りょう重要じゅうよう的てき算法さんぽう，并开发了提ひさげ高だか分布ぶんぷ式しき系けい统的质量的てき形式けいしき化か的てき建けん模も和わ验证协议。他た最さい著名ちょめい的てき论文包括ほうかつ“Time, Clocks, and the Ordering of Events in a Distributed System"以及"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs"。兰波特とく的てき工作こうさく获得了りょう许多奖项和わ荣誉，包括ほうかつDijkstra、IEEE Emanuel R. Piore、IEEE John von Neumann和わJean-Claude Laprie Award。他た于2011年ねん当とう选为美国びくに国家こっか科学かがく院いん院いん士し。

分布ぶんぷ式しき系けい统

兰波特とく在ざい分布ぶんぷ式しき系けい统领域いき有ゆう着ぎ重大じゅうだい的てき成就じょうじゅ。他た的てき成就じょうじゅ奠定了りょう分布ぶんぷ式しき系けい统理论的基もと础，并提高だか了りょう计算机つくえ系けい统的正せい确性、性能せいのう和わ可か靠もたれ性せい。

逻辑时钟和わ事件じけん排はい序じょ

兰波特とく的てき论文“Time, Clocks, and the Ordering of Events in a Distributed System"是ぜ他た被ひ引用いんよう最多さいた的てき作品さくひん之の一いち。它介绍了逻辑时钟的てき概念がいねん，逻辑时钟用よう于对分布ぶんぷ式しき系けい统中的てき事件じけん（events）进行排はい序じょ，这篇论文对分布ぶんぷ式しき系けい统领域いき产生了りょう深ふか远的影かげ响，并获得とく了りょう多た个奖项，包括ほうかつ"the 2000 Principles of Distributed Computing Conference Influential Paper Award"和わ"the ACM SIGOPS Hall of Fame Award in 2007"。

Bakery算法さんぽう和わ互斥解かい决方案あん

兰波特とく开发了りょう分布ぶんぷ式しき系けい统上来らい解かい决互斥（Mutual Exclusion）的てきBakery算法さんぽう，该算法ほう允まこと许多个进程ほど共きょう享とおる单个资源而不发生冲突，确保每ごと个进程ほど依よ次じ获得对资源げん的てき独占どくせん访问权。

并发程ほど序じょ的てき规范和わ验证

兰波特とく对并发程序じょ的てき规范和わ验证理り论（specification and verification of concurrent programs）做出了りょう重大じゅうだい贡献。他た是ぜ第だい一个阐明异步分布式算法的安全属性和活性属性概念（safety and liveness properties）的てき人じん。

Paxos 协议

兰波特とく还以他た在ざいPaxos协议（Paxos Protocol）方面ほうめん的てき成就じょうじゅ而闻名めい，Paxos协议可用かよう于在不可ふか靠もたれ或ある易えき出で错的处理器き网络中ちゅう解かい决一致いっち性せい（这个问题也被称しょう为拜はい占うらない庭にわ将はた军问题）。