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

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

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

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