發(fā)布時(shí)間：2021-04-08 10:30

　　PaxosStore是騰訊開發(fā)的高可用分布式存儲系統(tǒng),現(xiàn)已用于全面支持微信核心業(yè)務(wù).PaxosStore實(shí)現(xiàn)了分布式共識協(xié)議Paxos的一種變體,稱為TPaxos.TPaxos的新穎之處在于其"統(tǒng)一性":為每個參與者維護(hù)統(tǒng)一的狀態(tài)類型,并采用統(tǒng)一格式的消息進(jìn)行通信.然而,這種設(shè)計(jì)方案也帶來了TPaxos與Paxos之間的諸多差異,給理解TPaxos造成了障礙.其次,雖然騰訊開源了TPaxos協(xié)議的核心代碼（包括偽代碼與C++代碼）,但TPaxos仍缺少抽象而精確的形式化規(guī)約.最后,根據(jù)文獻(xiàn)檢索,TPaxos的正確性尚未經(jīng)過必要的數(shù)學(xué)論證或者形式化工具的檢驗(yàn).針對這些情況,有3個主要貢獻(xiàn):首先,從經(jīng)典的Paxos協(xié)議出發(fā),論證如何逐步推導(dǎo)出TPaxos協(xié)議.基于這種推導(dǎo),可以將TPaxos看作Paxos的一種自然變體,更易于理解.其次,給出了TPaxos協(xié)議的TLA+形式化規(guī)約.在開發(fā)規(guī)約的時(shí)候發(fā)現(xiàn),TPaxos協(xié)議描述中存在至關(guān)重要但并未充分闡明的微妙之處:在消息處理階段,參與者（作為接受者角色）是先作出"不再接受具有更小編號的提議"的承諾（promise）,還是先接受（accept）... 

【文章來源】：軟件學(xué)報(bào). 2020,31(08)北大核心EICSCD

【文章頁數(shù)】：26 頁

【參考文獻(xiàn)】：
期刊論文
[1]類Paxos共識算法研究進(jìn)展[J]. 王江,章明星,武永衛(wèi),陳康,鄭緯民.  計(jì)算機(jī)研究與發(fā)展. 2019(04)



本文編號：3125383