上篇介紹了paxos的理論知識[要在實際工程運用大多數使用multi-paxos協議，原因是樸素paxos每次提議都執行完整paxos協議代價過大-3次網路互動，2 次本地持久化，因此，multi-paxos引入leader概念，較少paxos的prepare互動，較少樸素paxos每次提議互動過多問題；
在paxos集群中利用paxos協議選舉唯一的leader，在leader有效期內所有的議案都只能由leader發起，這裡強化了協議的假設：即leader有效期內不會有其他server提出的議案。因此對於redolog的同步過程，我們可以簡化掉產生logid階段和prepare階段，而是由唯一的leader產生logid，然後直接執行accept，得到多數派確認即表示redolog同步成功。leader如何選舉產生？
首先，multi-paxos協議並不假設全域性必須只能有唯一的leader來生成日誌，它允許有多個「自認為是leader的server」來並發生成日誌，這樣的場景即退化為basic-paxos。通過樸素paxos得到大多數acceptor同意後產生leader，並通過lease機制（下發有效期），保持leader身份。
如何優化讀取操作？
在paxos協議中，對於決議的讀取也是需要執行一輪paxos過程的，在實際工程中做資料恢復時，對每條日誌都執行一輪paxos的代價過大，因此引入需要引入一種被成為confirm的機制，即leader持久化一條日誌，得到多數派的accept後，就再寫一條針對這條日誌的confirm日誌，表示這條日誌已經確認形成了多數派備份，在回放日誌時，判斷如果一條日誌有對應的confirm日誌，則可以直接讀取本地內容，而不需要再執行一輪paxos。
RBAC在工程中運用
rbac許可權模型的運用 前言 角色訪問控制 rbac 引入了role的概念,目的是為了隔離user 即動作主體，subject 與privilege 許可權，表示對resource的乙個操作，即operation resource role作為乙個使用者 user 與許可權 privilege 的...
static extern 在大工程中的運用
一，static和extern 大工程下我們會碰到很多原始檔。檔案a.c static int i 只在a檔案中用 int j 在工程裡用 static void init 只在a檔案中用 void callme 在工程中用 上面的全域性i變數和init 函式只能用在a.c檔案中,全域性變數sum的...
ceph mon中的paxos應用
最近聽到分布式系統中用paxos的地方不少，比如最近螞蟻金服的oceanbase都提到使用了paxos,而筆者最近也在可以理解paxos和其工程使用，注意到ceph中的mon元件也是用paxos來實現mon集群的一致性，所以閱讀和分析了其 但本文僅僅分析paxos類本身的 至於paxos持久化日誌的...