zookeeper 是如何保證事務的順序一致性的？

zookeeper 採用了全局遞增的事務 Id 來標識，全部的 proposal（提議）都在被 

提出的時候加上了 zxid，zxid 其實是一個 64 位的數字，高 32 位是 epoch（時 

期; 紀元; 世; 新時代）用來標識 leader 週期，若是有新的 leader 產生出來，epoch

會自增，低 32 位用來遞增計數。當新產生 proposal 的時候，會依據數據庫的兩 

階段過程，首先會向其餘的 server 發出事務執行請求，若是超過半數的機器都能 

執行而且可以成功，那麼就會開始執行。

Java Program!