當前位置 主頁 > 站長資源大全 > iis7百科 > 最大化 縮小

    萊斯利·蘭伯特——分布式系統中的開創者

    欄目:iis7百科 時間:2019-12-17 09:15

      萊斯利·蘭波特(英語:Leslie Lamport,1941年2月7日出生),美國計算機科學家。也是排版系統LaTeX的開發者。Lamport以其在分布式系統中的開創性工作以及文檔準備系統LaTeX的最初開發者而聞名。萊斯利·蘭波特(Leslie Lamport)因對分布式計算系統看似混亂的行為施加清晰,明確的一致性而獲得了2013年的圖靈獎,在分布式計算系統中,幾臺自治計算機通過傳遞消息相互通信。他設計了重要的算法,并開發了正式的建模和驗證協議,以提高實際分布式系統的質量。這些貢獻提高了計算機系統的正確性,性能和可靠性。
      蘭波特1941年出生于紐約,是歐洲移民的兒子。 在麻省理工學院獲學士學位以后,蘭波特到布蘭戴斯大學攻讀數學博士,不久后放棄,到佛蒙特州一所小型文科學校——萬寶路學院教授數學。之后到麻省計算機協會做兼職工作,做ILLIAC設計。
      Lamport講自己是一個數學家,其次才算是計算機科學家。強調自己對于證明的重視。實際上,他給出了一個狀態機器來解決分布式進程通信的問題,類似于圖靈機,也是抽象機器或者說思維機器(mental machine)。
      Paxos算法是萊斯利·蘭伯特(Leslie Lamport)1990年提出的一種基于消息傳遞的一致性算法。Paxos算法解決的問題是一個分布式系統如何就某個值(決議)達成一致。在工程實踐意義上來說,就是可以通過Paxos實現多副本一致性,分布式鎖,名字管理,序列號分配等。比如,在一個分布式數據庫系統中,如果各節點的初始狀態一致,每個節點執行相同的操作序列,那么他們最后能得到一個一致的狀態。為保證每個節點執行相同的命令序列,需要在每一條指令上執行一個“一致性算法”以保證每個節點看到的指令一致。
      1972年獲博士學位,繼續研究ILLIAC。蘭波特最終得出證明,分布系統中的相對次序與觀察者有關。
     
777亚洲人成视频免费视频