本發明公開了一種成員組變更方法及裝置，此方法包括：步驟1，接收針對初始集群成員組的變更請求，根據初始集群成員組和所述變更請求確定目標集群成員組，根據初始集群成員組和目標集群成員組設置過渡集群成員組，過渡集群成員組中包括第一組和第二組，第一組包括初始集群成員組中的所有成員，第二組包括目標集群成員組中的所有成員；步驟2，初始集群成員組執行一致性算法，將初始集群成員組更新為過渡集群成員組；步驟3，過渡集群成員組執行所述一致性算法，將過渡集群成員組更新為目標集群成員組。本發明可以在無需中止集群服務的情況下一次性完成一個成員組中多個成員的替換，可有效提高集群服務的智能性和有效性。

技術領域

本發明涉及互聯網技術領域，尤其涉及一種成員組變更方法及裝置。

背景技術

Paxos算法是萊斯利·蘭伯特(Leslie Lamport)為解決分布式系統一致性問題提出的一種基于消息傳遞的一致性算法。基于消息傳遞通信模型的分布式系統中的進程可能會因為錯誤而停止并且因為異常而重啟，在網絡傳輸中的消息可能會延遲、丟失或重復，在不考慮可能出現消息篡改即拜占庭錯誤的情況下，Paxos算法解決是在一個可能發生以上異常情況的分布式系統中如何就某個值達成一致的問題。

Paxos的參與者可以充當提議者(proposer)，接受者(acceptor)和學習者(learner)三個角色中的至少一個角色。proposer它可以提出一個提案，一個提案信息包括提案編號n和提議的值(value)；acceptor是提案的處理者，它有權決定是接受(accept)還是拒絕這個提案，若提案獲得多數acceptors的接受，則稱該提案被選定(chosen)；learner只能學習已被選定的提案。Paxos通過滿足安全性約束和活性約束來保證算法的正確性，活性約束就是最終有一個提案被選定，安全性約束：

1.只有被proposer提出的提案才能被acceptor選定；

2.在一次Paxos instance算法中只能有一個值被選定(chosen)，同時

3.如果某個參與者認為某個提案被選定了，那么這個提案必須是真的被選定的那個。

Lamport就是不斷的加強上述的3個約束來得到Paxos算法，特別是約束2，lamport在“Paxos make simple”論文中用大量的篇幅來加強約束2，從而得到Paxos的如下的2階段提交的過程：

階段1a.proposer確定提案的編號n，然后向acceptors發送prepare請求，此prepare請求中所述提案的編號n。

階段1b.acceptor收到此請求后，判斷此提案的編號n不小于它之前響應過的提案的編號，則acceptor響應通過該prepare請求，且返回之前通過編號最大的提案的value(如果存在的話)，同時保證不會再通過任何編號小于n的任何提案。

階段2a.如果proposer收到多數派個的acceptor對編號為n的prepare請求的響應，那么它就會發送一個包括value為編號為n的提案的accept請求給acceptors，此處v要么是phase1b響應中最大編號提案的value，要么是proposer這次paxos需要提交的值。

階段2b.acceptor收到包括編號n的提案的accept請求，只要它還未對編號大于n的prepare請求作出響應，它就可以通過這個提案。

Paxos正是通過以上2階段完成一次Paxos，確定一次Paxos提交一個value值。Lamport在他的論文中也證明了算法的正確性，但在實踐中Paxos算法還有許多細節需要進一步的解決，如Paxos成員組變更問題。