2013 · 计算机系统

没有共同钟表，如何安排顺序？

分布式系统需要为事件排序、对状态达成一致的规则。

莱斯利·兰波特

2013图灵奖

视觉指南

奖项，化为图解

阅读图解文字

这些思想帮助系统在延迟、故障和独立机器之间协调。

逻辑顺序不是物理时间；一致性保证依赖通信和故障模型的假设。

01 · 核心想法

莱斯利·兰波特建立了分布式与并发计算的基础。即使机器没有完全同步的时钟，逻辑时钟仍能捕捉有用的事件顺序。他的贡献还包括复制状态机、一致性、安全性与活性，用于规定分布式系统必须做什么、不能发生什么。

这些思想帮助系统在延迟、故障和独立机器之间协调。

02 · 人物

莱斯利·兰波特为分布式系统推理奠定基础：不同机器没有统一共享时钟，通信也并非完全可靠。他研究逻辑时钟、共识、容错和形式化规格，并在微软研究院继续发展实现之前描述和检查系统的工具。他的思想解释了如何在延迟和故障下实现协调，以及仍然存在的根本限制。

03 · 延伸阅读

本站原创讲解依据官方获奖记录。领域标签用于编辑导航。