分散式共識靈活Paxos英文參考資料目錄

靈活Paxos是比Paxos更寬鬆靈活的演算法，它是一個簡單的觀察，不需要要求 Paxos 中的所有群體都參與，要求領導選舉階段（階段 1）使用的仲裁與之前複製階段（階段 2）使用的仲裁能重疊就足夠了。大多數法定人數仲裁都是滿足這一要求，但還有更多。因此，Paxos 只是安全達成分散式共識的廣泛可能性中的一個點。

下面的論文、演講和開源專案涉及如何使用Paxos來構建更具彈性的分散式系統：

檔案

文章和部落格文章

A More Flexible Paxos - 系統社群對靈活 Paxos 的簡要介紹，由Sugu Sougoumarane在Tech [url=https://twitter.com/ssougou]musings 上釋出[/url]
多數同意不是達成共識所必需的- 靈活 Paxos 論文的主要結果摘要，由Heidi Howard發表在Read、Write 和 Execute
靈活的 Paxos：一種新型的可擴充套件、有彈性和高效能的共識演算法成為可能- Dahlia Malkhi在VMware Research描述了 Flexible Paxos 的故事
MySQL 中的分散式永續性- 修改 MySQL 半同步複製過程以提高整體一致性的提議，由Sugu Sougoumarane在Tech [url=https://twitter.com/ssougou]musings 上釋出[/url]
靈活的 Paxos：Quorum 交叉點重新審視- 流行的研究部落格，晨報，涵蓋了靈活的 Paxos 預印本，由Adrian Colyer釋出在晨報上
法定人數系統的負載、容量和可用性- 繼靈活 Paxos 中的引文之後，晨報涵蓋了 Naor & Wool，由Adrian Colyer釋出在晨報上
在 Pluscal 和 TLA+ 中對 Paxos 和靈活 Paxos 建模- Murat Demirbas詳細介紹了他如何使用 Pluscal 對檢查 Paxos 和靈活 Paxos 進行建模，釋出在後設資料上
靈活 Paxos 總結：放寬法定人數限制
Paul Cavallaro 關於靈活的 Paxos
UPaxos 和主備複製
改進了 Raft 的多數仲裁
Paxosmon: Gotta Consensus Them - 各種 Paxos 變體的很好的總結

會談

分散式共識：使不可能成為可能- 分散式共識領域主要成果的概述。海蒂·霍華德 (Heidi Howard)於 2016 年在倫敦 OSCON 上的演講。[幻燈片]
靈活的 Paxos：使用 TLA+ 重新審視群體交集- Microsoft Research 的 Dr TLA+ 系列的一部分
使用靈活的 Paxos 構建可擴充套件、彈性和一致的系統- Heidi Howard 在 Dockercon 2017 上的演講

程式碼

LibFPaxos - LibPaxos3的補丁，它將仲裁大小作為配置引數公開。根據 3 條款 BSD 獲得許可。
LibFPaxos Benchmarks - 使用Mininet從 Flexible Paxos 論文中重現 LibFPaxos 實驗的指令碼。在麻省理工學院獲得許可。
靈活 Paxos TLA+ - 單值靈活 Paxos 的 TLA+ 規範。在麻省理工學院獲得許可。
靈活的 Raft TLA+ - Raft 的 TLA+規範，針對靈活的法定人數進行了修改。在麻省理工學院獲得許可。
LogDevice - 來自 Facebook 的分散式日誌儲存系統
Paxi - 分散式共識演算法的模擬框架，其中包括各種演算法的原型，包括 Flexible Paxos 和 Fast Flexible Paxos
FrankenPaxos - 另一個分散式共識模擬器，其中包括各種共識演算法的原型，包括 Flexible Paxos
FlexibleZoo - Max Meldrum 的Zookeeper fork
FPaxosPython - 靈活 Paxos 的（天真）實現

分散式共識靈活Paxos英文參考資料目錄

相關文章