基于對(duì)象的分布式協(xié)調(diào)服務(wù)研究與實(shí)現(xiàn).pdf

1、許多大規(guī)模的分布式系統(tǒng)都依賴于協(xié)調(diào)服務(wù)，分布式協(xié)調(diào)服務(wù)往往需要復(fù)制數(shù)據(jù)到不同的機(jī)器上來容錯(cuò)以滿足活性需求，同時(shí)維護(hù)數(shù)據(jù)副本之間的一致性來保證安全性。在不可靠的分布式環(huán)境下，安全性和活性無法同時(shí)完全滿足。Paxos和其它類似的一致性協(xié)議如Viewstamp Replicaiton(VR)，ZAB，Raft是目前最好的可以用于維持?jǐn)?shù)據(jù)副本之間一致性的算法。谷歌的基于Paxos協(xié)議實(shí)現(xiàn)的分布式協(xié)調(diào)服務(wù)系統(tǒng)Chubby和雅虎的基于ZAB協(xié)議實(shí)現(xiàn)

2、Zookeeper在保證安全性的同時(shí)，也達(dá)到了非常高程度的活性。
　　本文實(shí)現(xiàn)了一個(gè)完整的分布式協(xié)調(diào)服務(wù)系統(tǒng)Sabber，Sabber采用基于用戶自定義對(duì)象的方式提供了容錯(cuò)的協(xié)調(diào)服務(wù)，利用基于Raft協(xié)議的復(fù)制狀態(tài)機(jī)來維護(hù)對(duì)象狀態(tài)在不同副本之間的一致性?？蛻舳送ㄟ^遠(yuǎn)程方法調(diào)用(RPC)訪問復(fù)制狀態(tài)機(jī)所維護(hù)的對(duì)象，Sabber向客戶端提供了線性一致性語義?；趯?duì)象的接口相比于Zookeeper的基于文件系統(tǒng)的接口，避免了分割控制流和

3、數(shù)據(jù)流，也使得用戶可以更加容易，自然的實(shí)現(xiàn)自定義的協(xié)調(diào)服務(wù)。Sabber支持多種類型的方法調(diào)用，使得用戶可以靈活的實(shí)現(xiàn)各類協(xié)調(diào)服務(wù)，同時(shí)客戶端能夠如同進(jìn)入本地對(duì)象一樣進(jìn)入遠(yuǎn)程對(duì)象。本文提出了一些優(yōu)化技術(shù)來使得Raft協(xié)議在實(shí)際的系統(tǒng)中更好的運(yùn)轉(zhuǎn)，包括支持多份日志文件，二分追趕策略等。本文也實(shí)現(xiàn)了作為一個(gè)完整的系統(tǒng)所需要一系列模塊，包括動(dòng)態(tài)配置更新，快照和日志回收，客戶端交互。實(shí)驗(yàn)測試表明Sabber提供了安全性保證，在讀寫性能上與Zoo