lamportSEARCH AGGREGATION
序 Lamport面包店算法是解決多個線程并發訪問一個共享的單用戶資源的互斥問題的算法。由萊斯利·蘭波特發明。 算法類比 Lamport把這個并發控制算法非常直觀地類比為顧客去面包店采購。 面包店一次只能接待一位顧客的采...
...容錯、拜占庭將軍問題。拜占庭將軍問題是Leslie Lamport（2013年的圖靈講得住）用來為描述分布式系統一致性問題（Distributed Consensus）在論文中抽象出來一個著名的例子。 這個例子大意是這樣的： 拜占庭帝國想要進攻一個...
...了無惡意節點的分布式一致性問題。 背景 1990年，Leslie Lamport在論文《The Part-Time Parliament》中提出Paxos算法。由于論文使用故事的方式，沒有使用數學證明，起初并沒有得到重視。直到1998年該論文才被正式接受。后來2001年Lamport...
...，使得確立精確的時間點概念在事實上成為可能。 Leslie Lamport 1978 年的論文 分布式系統中的時間，時鐘和事件順序 中對這個問題有了詳細描述，但是除了正確同步的物理時鐘，實際上并沒有提供一個詳細的解決方案。1...
...個將軍問題已被證實無解。 拜占庭將軍問題 于1982年由Lamport、Shostak和Pease著名描述，是一個帶反轉的廣義版本的兩個將軍問題。它描繪了同一個場景，但兩個以上的將軍需要對攻打他們共同敵人的時間作出同意。增加的一層復...
... 拜占庭問題 拜占庭問題又叫拜占庭將軍問題，是 Leslie Lamport 等科學家提出用來解釋一致性問題的一個虛構模型。Leslie Lamport 等人證明，當叛變者不超過1/3時，存在有效的拜占庭容錯算法（最壞需要F+1輪交互）。繁殖，如果叛...
...小百科 Byzantine Generals’ problem 拜占庭將軍問題是由 Leslie Lamport（2013 年的圖靈獎得主）提出的，研究分布式系統的容錯性。 拜占庭帝國想要進攻一個強大的敵人，為此派出了 10 支軍隊去包圍這個敵人。拜占庭帝國的將軍們只能...
...小百科 Byzantine Generals’ problem 拜占庭將軍問題是由 Leslie Lamport（2013 年的圖靈獎得主）提出的，研究分布式系統的容錯性。 拜占庭帝國想要進攻一個強大的敵人，為此派出了 10 支軍隊去包圍這個敵人。拜占庭帝國的將軍們只能...
...也是有限制的，即不到三分之一的網絡是不誠實的。 用Lamport、Shostak和Pease提出的算法解決的拜占庭將軍問題的運行時間（n = 成員數量, m = 叛徒數量） 這把我們帶到了計算機科學中一個經典的問題： 我們能做的更好嗎？ 本文...
...才有了分布式共識的需求。目前最為認同的共識算法就是lamport大神在98年發表的論文中提及的Paxos協議(然而由于太難以理解又在01年發表了paxos made simple)，即使過了這么多年，Paxos依然難以理解和難以實現，工程實現大多都是精...
...ubby 底層實現的共識（consensus）協議 Multi-Paxos，該協議對 Lamport 的原始 Paxos 算法做了改進，提高了運行效率 [ref ]。Chubby 作為鎖服務被 Google 應用在 GFS 和 Bigtable 中。受 Chubby 的影響，來自 Yahoo 研究院的 Benjamin Reed 和 Flavio Junqueir...
...ackend Checkpoint的執行流程 Checkpoint的執行流程是按照Chandy-Lamport算法實現的。 Checkpoint Barrier的對齊 全量Checkpoint 全量Checkpoint會在每個節點做備份數據時，只需要將數據都便利一遍，然后寫到外部存儲中，這種情況會影響備份性...
ChatGPT和Sora等AI大模型應用，將AI大模型和算力需求的熱度不斷帶上新的臺階。哪里可以獲得...
大模型的訓練用4090是不合適的，但推理（inference/serving）用4090不能說合適，...
圖示為GPU性能排行榜，我們可以看到所有GPU的原始相關性能圖表。同時根據訓練、推理能力由高到低做了...
