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

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

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

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

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



本文編號(hào)：3125383