簡單的概念
zk是高性能，高可用的分布式協(xié)調(diào)框架，
zk并沒有完全采用paxos協(xié)議，而是采用自定義的zab(原子消息廣播協(xié)議)協(xié)議保證事務(wù)的一致性。
zab協(xié)議是為分布式協(xié)調(diào)服務(wù)zk專門設(shè)計(jì)的一種支持奔潰恢復(fù)的原子廣播協(xié)議。
基于這種協(xié)議，zk實(shí)現(xiàn)了一種主備模式的系統(tǒng)架構(gòu)來保持集群各個(gè)副本之間的數(shù)據(jù)的一致性
設(shè)計(jì)的目標(biāo)
提供了一個(gè)高性能、高可用并且具有嚴(yán)格順序訪問的控制能力的分布式協(xié)調(diào)服務(wù)
- 高性能使得zk能夠應(yīng)用于那些對系統(tǒng)吞吐量有明確要求的的大型分布式系統(tǒng)中
- 高可用使得分布式單點(diǎn)問題得到了很好的解決
- 嚴(yán)格的順序訪問控制使得客戶端能夠基于zk實(shí)現(xiàn)一些復(fù)雜同步原語言
目標(biāo)一 簡單的數(shù)據(jù)模型
使得分布式程序能夠通過一個(gè)共享的、樹型結(jié)構(gòu)的名字空間來進(jìn)行相互協(xié)調(diào)
這里所說的樹型結(jié)構(gòu)的名字空間，是指zk服務(wù)器內(nèi)存中一個(gè)數(shù)據(jù)模型，其由一系列被稱為znode的數(shù)據(jù)節(jié)點(diǎn)組成
總體來說，其數(shù)據(jù)模型類似一個(gè)文件系統(tǒng)，而znode之間的層次
目標(biāo)二 可以構(gòu)建集群
一個(gè)zookeeper集群通常由一組機(jī)器組成 一般3-5臺機(jī)器就可以組成一個(gè)zookeeper集群
組成zk集群的每臺機(jī)器都會在內(nèi)存中維護(hù)當(dāng)前的服務(wù)器的狀態(tài)。并且每臺機(jī)器之間相互通信
值得一提的是，只要集群中存在超過一半機(jī)器能夠正常工作，那么整個(gè)集群就能夠正常對外服務(wù)。
zk的客戶端程序會選擇和集群中任意一臺機(jī)器共同來創(chuàng)建一個(gè)tcp連接。一旦客戶端和某臺zk服務(wù)器之間的連接斷開后，客戶端會自動連接到集群中某個(gè)機(jī)器
目標(biāo)三 順序訪問
對于來自客戶端的每個(gè)更新請求，zk都會分配一個(gè)全局唯一的遞增編號，這個(gè)編號反映了所有事務(wù)操作的先后順序，應(yīng)用程序可以使用zk的這個(gè)特性來來實(shí)現(xiàn)
目標(biāo)四 高性能
由于zk將全景數(shù)據(jù)都存放在內(nèi)存中，并直接服務(wù)于客戶端所有的非事務(wù)請求，因此尤其適用于讀操作為主的應(yīng)用場景
未完 補(bǔ)充中
