01 · 计算人生
成果背后的人
莱斯利·兰波特为分布式系统推理奠定基础：不同机器没有统一共享时钟，通信也并非完全可靠。他研究逻辑时钟、共识、容错和形式化规格，并在微软研究院继续发展实现之前描述和检查系统的工具。他的思想解释了如何在延迟和故障下实现协调，以及仍然存在的根本限制。
理解这项贡献
莱斯利·兰波特建立了分布式与并发计算的基础。即使机器没有完全同步的时钟，逻辑时钟仍能捕捉有用的事件顺序。他的贡献还包括复制状态机、一致性、安全性与活性，用于规定分布式系统必须做什么、不能发生什么。
为什么重要
这些思想帮助系统在延迟、故障和独立机器之间协调。