2013 年图灵奖得主 Leslie Lamport：程序员需要更多的数学知识

图片地址：https://img.ithome.com/newsuploadfiles/2022/5/76a805a6-f526-4b96-b6a3-4d3b38841b6c.png

Leslie Lamport 可能并不是一个家喻户晓的名字，但对于计算机科学家们来说，他是一些耳熟能详的「名字」幕后的贡献者。比如 Paxos 算法、排版程序 LaTeX、规格语言 TLA+、「面包店算法」和「拜占庭将军问题」等等。Leslie Lamport 彻底改变了现代计算机之间的对话方式。2013 年，他被授予图灵奖，以表彰他在分布式系统方面的工作。在分布式系统中，不同网络上的多个组件协调一致，以实现一个共同的目标。互联网搜索、云计算和人工智能都需要协调众多强大的计算机器协同工作。当然，这种协调也会使我们遇到更多的问题。Lamport 曾经说过：「分布式系统是这样一种系统，在这种系统中，一台你甚至不知晓其存在的计算机出现了故障，就会导致你自己的计算机无法使用。」最大的问题来源之一是「并发系统」，即在重叠的时间片段内发生多个计算操作，这导致了一种模糊性：哪台计算机的时钟是正确的？在 1978 年的一篇开创性论文中，Lamp