http://www.cnblogs.com/leesf456/p/6107600.html
一、前言
前面學習了Zookeeper服務端的相關細節，其中對于集群啟動而言，很重要的一部分就是Leader選舉，接著就開始深入學習Leader選舉。
二、Leader選舉
2.1 Leader選舉概述
Leader選舉是保證分布式數據一致性的關鍵所在。當Zookeeper集群中的一臺服務器出現以下兩種情況之一時，需要進入Leader選舉。
(1) 服務器初始化啟動。
(2) 服務器運行期間無法和Leader保持連接。
下面就兩種情況進行分析講解。
1. 服務器啟動時期的Leader選舉
若進行Leader選舉，則至少需要兩臺機器，這里選取3臺機器組成的服務器集群為例。在集群初始化階段，當有一臺服務器Server1啟動時，其單獨無法進行和完成Leader選舉，當第二胎服務器Server2啟動時，此時兩臺機器可以相互通信，每臺機器都試圖找到Leader，于是進入Leader選舉過程。選舉過程如下
(1) 每個Server發出一個投票。由于是初始情況，Server1和Server2都會將自己作為Leader服務器來進行投票，每次投票會包含所推舉的服務器的myid和ZXID，使用(myid, ZXID)來表示，此時Server1的投票為(1, 0)，Server2的投票為(2, 0)，然后各自將這個投票發給集群中其他機器。
(2) 接受來自各個服務的投票。集群的每個服務器收到投票后，首先判斷該投票的有效性，如檢查是否是本輪投票、是否來自LOOKING狀態的服務器。
(3) 處理投票。針對每一個投票，服務器都需要將別人的投票和自己的投票進行PK，PK規則如下
· 優先檢查ZXID。ZXID比較大的服務器優先作為Leader。
· 如果ZXID相同，那么就比較myid。myid較大的服務器作為Leader服務器。
對于Server1而言，它的投票是(1, 0)，接收Server2的投票為(2, 0)，首先會比較兩者的ZXID，均為0，再比較myid，此時Server2的myid最大，于是更新自己的投票為(2, 0)，然后重新投票，對于Server2而言，其無須更新自己的投票，只是再次向集群中所有機器發出上一次投票信息即可。
(4) 統計投票。每次投票后，服務器都會統計投票信息，判斷是否已經有過半機器接受到相同的投票信息，對于Server1、Server2而言，都統計出集群中已經有兩臺機器接受了(2, 0)的投票信息，此時便認為已經選出了Leader。
(5) 改變服務器狀態。一旦確定了Leader，每個服務器就會更新自己的狀態，如果是Follower，那么就變更為FOLLOWING，如果是Leader，就變更為LEADING。
2. 服務器運行時期的Leader選舉
在Zookeeper運行期間，Leader與非Leader服務器各司其職，即便當有非Leader服務器宕機或新加入，此時也不會影響Leader，但是一旦Leader服務器掛了，那么整個集群將暫停對外服務，進入新一輪Leader選舉，其過程和啟動時期的Leader選舉過程基本一致。假設正在運行的有Server1、Server2、Server3三臺服務器，當前Leader是Server2，若某一時刻Leader掛了，此時便開始Leader選舉。選舉過程如下
(1) 變更狀態。Leader掛后，余下的非Observer服務器都會講自己的服務器狀態變更為LOOKING，然后開始進入Leader選舉過程。
(2) 每個Server會發出一個投票。在運行期間，每個服務器上的ZXID可能不同，此時假定Server1的ZXID為123，Server3的ZXID為122；在第一輪投票中，Server1和Server3都會投自己，產生投票(1, 123)，(3, 122)，然后各自將投票發送給集群中所有機器。
(3) 接收來自各個服務器的投票。與啟動時過程相同。
(4) 處理投票。與啟動時過程相同，此時，Server1將會成為Leader。
(5) 統計投票。與啟動時過程相同。
(6) 改變服務器的狀態。與啟動時過程相同。
2.2 Leader選舉算法分析
在3.4.0后的Zookeeper的版本只保留了TCP版本的FastLeaderElection選舉算法。當一臺機器進入Leader選舉時，當前集群可能會處于以下兩種狀態
· 集群中已經存在Leader。
· 集群中不存在Leader。
對于集群中已經存在Leader而言，此種情況一般都是某臺機器啟動得較晚，在其啟動之前，集群已經在正常工作，對這種情況，該機器試圖去選舉Leader時，會被告知當前服務器的Leader信息，對于該機器而言，僅僅需要和Leader機器建立起連接，并進行狀態同步即可。而在集群中不存在Leader情況下則會相對復雜，其步驟如下
(1) 第一次投票。無論哪種導致進行Leader選舉，集群的所有機器都處于試圖選舉出一個Leader的狀態，即LOOKING狀態，LOOKING機器會向所有其他機器發送消息，該消息稱為投票。投票中包含了SID（服務器的唯一標識）和ZXID（事務ID），(SID, ZXID)形式來標識一次投票信息。假定Zookeeper由5臺機器組成，SID分別為1、2、3、4、5，ZXID分別為9、9、9、8、8，并且此時SID為2的機器是Leader機器，某一時刻，1、2所在機器出現故障，因此集群開始進行Leader選舉。在第一次投票時，每臺機器都會將自己作為投票對象，于是SID為3、4、5的機器投票情況分別為(3, 9)，(4, 8)， (5, 8)。
(2) 變更投票。每臺機器發出投票后，也會收到其他機器的投票，每臺機器會根據一定規則來處理收到的其他機器的投票，并以此來決定是否需要變更自己的投票，這個規則也是整個Leader選舉算法的核心所在，其中術語描述如下
· vote_sid：接收到的投票中所推舉Leader服務器的SID。
· vote_zxid：接收到的投票中所推舉Leader服務器的ZXID。
· self_sid：當前服務器自己的SID。
· self_zxid：當前服務器自己的ZXID。
每次對收到的投票的處理，都是對(vote_sid, vote_zxid)和(self_sid, self_zxid)對比的過程。
規則一：如果vote_zxid大于self_zxid，就認可當前收到的投票，并再次將該投票發送出去。
規則二：如果vote_zxid小于self_zxid，那么堅持自己的投票，不做任何變更。
規則三：如果vote_zxid等于self_zxid，那么就對比兩者的SID，如果vote_sid大于self_sid，那么就認可當前收到的投票，并再次將該投票發送出去。
規則四：如果vote_zxid等于self_zxid，并且vote_sid小于self_sid，那么堅持自己的投票，不做任何變更。
結合上面規則，給出下面的集群變更過程。
(3) 確定Leader。經過第二輪投票后，集群中的每臺機器都會再次接收到其他機器的投票，然后開始統計投票，如果一臺機器收到了超過半數的相同投票，那么這個投票對應的SID機器即為Leader。此時Server3將成為Leader。
由上面規則可知，通常那臺服務器上的數據越新（ZXID會越大），其成為Leader的可能性越大，也就越能夠保證數據的恢復。如果ZXID相同，則SID越大機會越大。
2.3 Leader選舉實現細節
1. 服務器狀態
服務器具有四種狀態，分別是LOOKING、FOLLOWING、LEADING、OBSERVING。
LOOKING：尋找Leader狀態。當服務器處于該狀態時，它會認為當前集群中沒有Leader，因此需要進入Leader選舉狀態。
FOLLOWING：跟隨者狀態。表明當前服務器角色是Follower。
LEADING：領導者狀態。表明當前服務器角色是Leader。
OBSERVING：觀察者狀態。表明當前服務器角色是Observer。
2. 投票數據結構
每個投票中包含了兩個最基本的信息，所推舉服務器的SID和ZXID，投票（Vote）在Zookeeper中包含字段如下
id：被推舉的Leader的SID。
zxid：被推舉的Leader事務ID。
electionEpoch：邏輯時鐘，用來判斷多個投票是否在同一輪選舉周期中，該值在服務端是一個自增序列，每次進入新一輪的投票后，都會對該值進行加1操作。
peerEpoch：被推舉的Leader的epoch。
state：當前服務器的狀態。
3. QuorumCnxManager：網絡I/O
每臺服務器在啟動的過程中，會啟動一個QuorumPeerManager，負責各臺服務器之間的底層Leader選舉過程中的網絡通信。
(1) 消息隊列。QuorumCnxManager內部維護了一系列的隊列，用來保存接收到的、待發送的消息以及消息的發送器，除接收隊列以外，其他隊列都按照SID分組形成隊列集合，如一個集群中除了自身還有3臺機器，那么就會為這3臺機器分別創建一個發送隊列，互不干擾。
· recvQueue：消息接收隊列，用于存放那些從其他服務器接收到的消息。
· queueSendMap：消息發送隊列，用于保存那些待發送的消息，按照SID進行分組。
· senderWorkerMap：發送器集合，每個SenderWorker消息發送器，都對應一臺遠程Zookeeper服務器，負責消息的發送，也按照SID進行分組。
· lastMessageSent：最近發送過的消息，為每個SID保留最近發送過的一個消息。
(2) 建立連接。為了能夠相互投票，Zookeeper集群中的所有機器都需要兩兩建立起網絡連接。QuorumCnxManager在啟動時會創建一個ServerSocket來監聽Leader選舉的通信端口(默認為3888)。開啟監聽后，Zookeeper能夠不斷地接收到來自其他服務器的創建連接請求，在接收到其他服務器的TCP連接請求時，會進行處理。為了避免兩臺機器之間重復地創建TCP連接，Zookeeper只允許SID大的服務器主動和其他機器建立連接，否則斷開連接。在接收到創建連接請求后，服務器通過對比自己和遠程服務器的SID值來判斷是否接收連接請求，如果當前服務器發現自己的SID更大，那么會斷開當前連接，然后自己主動和遠程服務器建立連接。一旦連接建立，就會根據遠程服務器的SID來創建相應的消息發送器SendWorker和消息接收器RecvWorker，并啟動。
(3) 消息接收與發送。消息接收：由消息接收器RecvWorker負責，由于Zookeeper為每個遠程服務器都分配一個單獨的RecvWorker，因此，每個RecvWorker只需要不斷地從這個TCP連接中讀取消息，并將其保存到recvQueue隊列中。消息發送：由于Zookeeper為每個遠程服務器都分配一個單獨的SendWorker，因此，每個SendWorker只需要不斷地從對應的消息發送隊列中獲取出一個消息發送即可，同時將這個消息放入lastMessageSent中。在SendWorker中，一旦Zookeeper發現針對當前服務器的消息發送隊列為空，那么此時需要從lastMessageSent中取出一個最近發送過的消息來進行再次發送，這是為了解決接收方在消息接收前或者接收到消息后服務器掛了，導致消息尚未被正確處理。同時，Zookeeper能夠保證接收方在處理消息時，會對重復消息進行正確的處理。
4. FastLeaderElection：選舉算法核心
· 外部投票：特指其他服務器發來的投票。
· 內部投票：服務器自身當前的投票。
· 選舉輪次：Zookeeper服務器Leader選舉的輪次，即logicalclock。
· PK：對內部投票和外部投票進行對比來確定是否需要變更內部投票。
(1) 選票管理
· sendqueue：選票發送隊列，用于保存待發送的選票。
· recvqueue：選票接收隊列，用于保存接收到的外部投票。
· WorkerReceiver：選票接收器。其會不斷地從QuorumCnxManager中獲取其他服務器發來的選舉消息，并將其轉換成一個選票，然后保存到recvqueue中，在選票接收過程中，如果發現該外部選票的選舉輪次小于當前服務器的，那么忽略該外部投票，同時立即發送自己的內部投票。
· WokerSender：選票發送器，不斷地從sendqueue中獲取待發送的選票，并將其傳遞到底層QuorumCnxManager中。
(2) 算法核心
上圖展示了FastLeaderElection模塊是如何與底層網絡I/O進行交互的。Leader選舉的基本流程如下
1. 自增選舉輪次。Zookeeper規定所有有效的投票都必須在同一輪次中，在開始新一輪投票時，會首先對logicalclock進行自增操作。
2. 初始化選票。在開始進行新一輪投票之前，每個服務器都會初始化自身的選票，并且在初始化階段，每臺服務器都會將自己推舉為Leader。
3. 發送初始化選票。完成選票的初始化后，服務器就會發起第一次投票。Zookeeper會將剛剛初始化好的選票放入sendqueue中，由發送器WorkerSender負責發送出去。
4. 接收外部投票。每臺服務器會不斷地從recvqueue隊列中獲取外部選票。如果服務器發現無法獲取到任何外部投票，那么就會立即確認自己是否和集群中其他服務器保持著有效的連接，如果沒有連接，則馬上建立連接，如果已經建立了連接，則再次發送自己當前的內部投票。
5. 判斷選舉輪次。在發送完初始化選票之后，接著開始處理外部投票。在處理外部投票時，會根據選舉輪次來進行不同的處理。
· 外部投票的選舉輪次大于內部投票。若服務器自身的選舉輪次落后于該外部投票對應服務器的選舉輪次，那么就會立即更新自己的選舉輪次(logicalclock)，并且清空所有已經收到的投票，然后使用初始化的投票來進行PK以確定是否變更內部投票。最終再將內部投票發送出去。
· 外部投票的選舉輪次小于內部投票。若服務器接收的外選票的選舉輪次落后于自身的選舉輪次，那么Zookeeper就會直接忽略該外部投票，不做任何處理，并返回步驟4。
· 外部投票的選舉輪次等于內部投票。此時可以開始進行選票PK。
6. 選票PK。在進行選票PK時，符合任意一個條件就需要變更投票。
· 若外部投票中推舉的Leader服務器的選舉輪次大于內部投票，那么需要變更投票。
· 若選舉輪次一致，那么就對比兩者的ZXID，若外部投票的ZXID大，那么需要變更投票。
· 若兩者的ZXID一致，那么就對比兩者的SID，若外部投票的SID大，那么就需要變更投票。
7. 變更投票。經過PK后，若確定了外部投票優于內部投票，那么就變更投票，即使用外部投票的選票信息來覆蓋內部投票，變更完成后，再次將這個變更后的內部投票發送出去。
8. 選票歸檔。無論是否變更了投票，都會將剛剛收到的那份外部投票放入選票集合recvset中進行歸檔。recvset用于記錄當前服務器在本輪次的Leader選舉中收到的所有外部投票（按照服務隊的SID區別，如{(1, vote1), (2, vote2)...}）。
9. 統計投票。完成選票歸檔后，就可以開始統計投票，統計投票是為了統計集群中是否已經有過半的服務器認可了當前的內部投票，如果確定已經有過半服務器認可了該投票，則終止投票。否則返回步驟4。
10. 更新服務器狀態。若已經確定可以終止投票，那么就開始更新服務器狀態，服務器首選判斷當前被過半服務器認可的投票所對應的Leader服務器是否是自己，若是自己，則將自己的服務器狀態更新為LEADING，若不是，則根據具體情況來確定自己是FOLLOWING或是OBSERVING。
以上10個步驟就是FastLeaderElection的核心，其中步驟4-9會經過幾輪循環，直到有Leader選舉產生。
三、總結
經過本篇博文的學習，了解了Leader選舉的具體細節，這對于之后的代碼分析會打下很好的基礎。也謝謝各位園友的觀看~