|
第5章 分布式键值系统
/ a' A; K# O. _ p分布式键值模型可以看成是分布式表格模型的一种特例。然而,由于它只支持5 z% F& \% t7 Q) E# \- F3 \- a
针对单个key-value的增、删、查、改操作,因此,适用3.3.1节提到的哈希分布算9 `+ {3 c' A, h
法。3 T- L+ a+ H/ S; ^9 [0 e8 e/ A% C
Amazon Dynamo是分布式键值系统,最初用于支持购物车应用。Dynamo将很多. ~& D! i, y# a* [
分布式技术融合到一个系统内,学习Dynamo的设计对理解分布式系统的理论很有帮
" L. q3 y' D' L1 P助。当然,这个系统的主要价值在于学术层面,从工程的角度看,Dynamo牺牲了一' a! V9 w6 \" g/ F5 O. Y. z" T
致性,却没有换来什么好处,不适合直接模仿。
4 N& P* j2 h8 X& @Tair是淘宝网开发的分布式键值系统,它借鉴了Dynamo系统的一些设计思路并
+ D8 @1 ^2 k% p3 v做了一些创新,其中最大的变化就是从P2P架构修改为带有中心节点的架构,笔者认4 n _, j. v9 I, ~! `- x" |" _( l
为,这种思路在大方向上是正确的。
+ ]$ b$ M( g& a7 j4 c. D# r本章首先详细介绍Amazon Dynamo的设计思路,接着介绍淘宝网的Tair系统。
0 a. h; j* J) z9 ^5.1 Amazon Dynamo
2 p% r7 S, ^0 d. \3 L) h' pDynamo以很简单的键值方式存储数据,不支持复杂的查询。Dynamo中存储的是
- S" ~4 e; y. {- U数据值的原始形式,不解析数据的具体内容。Dynamo主要用于Amazon的购物车及S3 k& ~; S8 g9 @) l* q. F* K5 }! [$ w
云存储服务。 J+ D! S6 {' E$ ]
Dynamo通过组合P2P的各种技术打造了线上可运行的分布式键值系统,表5-1中
1 b3 h8 W: l8 L' t" s# J4 v7 x列出了Dynamo设计时面临的问题及最终采取的解决方案。
" Q: L2 S' ], [! G6 s/ Z% Q6 t5.1.1 数据分布
: ~8 D' E, R A; WDynamo系统采用3.3.1节(见图3-2)中介绍的一致性哈希算法将数据分布到多个% o( U* g8 t5 P9 a8 j& }( ?2 q
存储节点中。一致性哈希算法思想如下:给系统中每个节点分配一个随机token,这1 v* @9 {5 M: ^& P
些token构成一个哈希环。执行数据存放操作时,先计算主键的哈希值,然后存放到
" w+ t; V. S- }+ `1 B% E: e4 J/ h顺时针方向第一个大于或者等于该哈希值的token所在的节点。一致性哈希的优点在6 X! _0 V$ d1 G+ v3 U2 }
于节点加入/删除时只会影响到在哈希环中相邻的节点,而对其他节点没影响。
4 {( M0 s! V' g/ N3 @考虑到节点的异构性,不同节点的处理能力差别可能很大,Dynamo使用了改进
8 J5 g1 C% I9 O9 V$ L( X的一致性哈希算法:每个物理节点根据其性能的差异分配多个token,每个token对应6 @3 g( ]: H* k
一个“虚拟节点”。每个虚拟节点的处理能力基本相当,并随机分布在哈希空间中。6 Z! O0 X6 D+ p% C' w+ ^
存储时,数据按照哈希值落到某个虚拟节点负责的区域,然后被存储在该虚拟节点
. Z B: @ S) e7 L' L所对应的物理节点中。
U, f. w; e2 L* z4 V* {0 [+ e( F* j如图5-1所示,某Dynamo集群中原来有3个节点,每个节点分配了3个token:节点
9 e. a* ]9 o# I' Q) N1(1,4,7),节点2(2,3,8),节点3(0,5,6)。存放数据时,首先计算主
y- k8 O9 ?9 Z- k键的哈希值,并根据哈希值将数据存放到对应token所在的节点。假设增加节点4,
* r5 n: Y3 k' U1 S( D/ `5 Z7 zDynamo集群可能会分别将节点1和节点3的token 1和token 5迁移到节点4,节点token分
% {) f2 K) V6 E' y4 h$ a; D配情况变为:节点1(4,7),节点2(2,3,8),节点3(0,6)以及节点4(1,
/ ^7 w$ X" W" w- P1 v" y5 g5)。这样就实现了自动负载均衡。6 u9 ]. X7 u! a+ q! A
图 5-1 Dynamo虚拟节点" f9 I' e$ l) E8 `5 M/ P* j
为了找到数据所属的节点,要求每个节点维护一定的集群信息用于定位。$ ]+ [, o) a# V
Dynamo系统中每个节点维护整个集群的信息,客户端也缓存整个集群的信息,因
8 ?, G2 q6 Z7 E( m- M; H- }此,绝大部分请求能够一次定位到目标节点。' ]1 x# p( _( E: F
由于机器或者人为的因素,系统中的节点成员加入或者删除经常发生,为了保6 R7 M \2 P/ R' u' ~8 J
证每个节点缓存的都是Dynamo集群中最新的成员信息,所有节点每隔固定时间(比
! }; T V% w% F9 i+ p7 R1 Q1 E如1s)通过Gossip协议的方式从其他节点中任意选择一个与之通信的节点。如果连接' @4 z) H$ q8 [
成功,双方交换各自保存的集群信息。
2 j% l+ r: M7 w( W" H; kGossip协议用于P2P系统中自治的节点协调对整个集群的认识,比如集群的节点& c7 d/ a" O# x [- \% h
状态、负载情况。我们先看看两个节点A和B是如何交换对世界的认识的:0 X3 l6 b( A9 C8 {
1)A告诉B其管理的所有节点的版本(包括Down状态和Up状态的节点);
3 @. Y& t; R. A, ^* \; s$ N2)B告诉A哪些版本它比较旧了,哪些版本它有最新的,然后把最新的那些节
! @' s3 n* J7 a3 y# N点发给A(处于Down状态的节点由于版本没有发生更新所以不会被关注);& Q2 {4 ]: x3 Z
3)A将B中比较旧的节点发送给B,同时将B发送来的最新节点信息做本地更( q" g8 c, n' ]' q& p# H- ?
新;
& M# A. e* d$ R4)B收到A发来的最新节点信息后,对本地缓存的比较旧的节点做更新。% C" c, c3 p; ]( c" Y% U
由于种子节点的存在,新节点加入可以做得比较简单。新节点加入时首先与种
% u8 D& F- o- S- Z! _5 U6 {' Y+ Q子节点交换集群信息,从而对集群有了认识。DHT(Distributed Hash Table,也称为
$ Q6 o- Q! V c+ G+ v+ k一致性哈希表)环中原有的其他节点也会定期和种子节点交换集群信息,从而发现
9 E- d, q5 c: h$ E( j: ]* P新节点的加入。 O0 f& Z7 X/ ]4 [+ v, ?
集群不断变化,可能随时有机器下线,因此,每个节点还需要定期通过Gossip协
2 A# b, n) _+ j4 n2 g/ O6 D, P议同其他节点交换集群信息。如果发现某个节点很长时间状态都没有更新,比如距
9 R; P% M$ d4 L" |0 `& D* B% V9 r离上次更新的时间间隔超过一定的阈值,则认为该节点已经下线了。+ @& \) u0 x) a+ G0 T: A
5.1.2 一致性与复制
$ @, j- U8 a3 z! ?# `) a4 S4 s! K为了处理节点失效的情况(DHT环中删除节点),需要对节点的数据进行复
5 z$ _& f$ ]% _/ a0 z8 [$ a; c制。思路如下:假设数据存储N份,DHT定位到的数据所属节点为K,则数据存储在
% W5 f h' x2 z- u节点K,K+1,……,K+N-1上。如果第K+i(0≤i≤N-1)台机器宕机,则往后找一台
. c" F* l0 \" t" [' e机器K+N临时替代。如果第K+i台机器重启,临时替代的机器K+N能够通过Gossip协
6 g6 h! f# L1 X4 O6 P# m; K7 I议发现,它会将这些临时数据归还K+i,这个过程在Dynamo中叫做数据回传(Hinted$ H: v$ E" D2 e% J; ]1 K9 f
Handoff)。机器K+i宕机的这段时间内,所有的读写均落入到机器[K,K+i-1]和
1 u( E% W* b; m8 H5 c7 V. k* T: d[K+i+1,K+N]中。如果机器K+i永久失效,机器K+N需要进行数据同步操作。一般来5 T- }$ J6 S8 l) |# l
说,从机器K+i宕机开始到被认定为永久失效的时间不会太长,积累的写操作也不会
; f2 m( s0 W- E- J2 U9 Y% h太多,可以利用Merkle树对机器的数据文件进行快速同步(参见下一小节)。$ S% h- [! Z$ q# A# K7 {$ y+ `( H/ b9 j
NWR是Dynamo中的一个亮点,其中N表示复制的备份数,R指成功读操作的最) e/ p" s0 P' Y+ w6 h0 x
少节点数,W指成功写操作的最少节点数。只要满足W+R>N,就可以保证当存在不 P- @- ?- i& C" l+ a
超过一台机器故障的时候,至少能够读到一份有效的数据。如果应用重视读效率,
& Y4 `6 _4 f j可以设置W=N,R=1;如果应用需要在读/写之间权衡,一般可设置N=3,W=2,
+ R: X9 i0 ^4 |/ zR=2;当然,如果丢失最后的一些更新也不会有影响的话,也可以选择W=1,R=1,
0 p% O# j: a1 |- x" h) h( \N=3。
8 e5 \* I. k5 ]3 T4 PNWR看似很完美,其实不然。在Dynamo这样的P2P集群中,由于每个节点存储7 L9 ~& w+ h- Q8 j# j
的集群信息有所不同,可能出现同一条记录被多个节点同时更新的情况,无法保证 J3 s( q) l' u% r
多个节点之间的更新顺序。为此Dynamo引入向量时钟(Vector Clock)的技术手段来# O6 U* }# Y$ h& Z
尝试解决冲突,如图5-2所示。: h9 [. J% ?; W4 H3 U0 K2 P
图 5-2 向量时钟
8 n U7 W, r4 e& e% GDynamo中的向量时钟用一个[nodes,counter]对表示。其中,nodes表示节点,
6 j. ]2 R9 M7 W& g; \7 P d, _4 lcounter是一个计数器,初始为0,节点每次更新操作加1。首先,Sx对某个对象进行2 _5 L- j1 t* m5 y
一次写操作,产生一个对象版本D1([Sx,1]),接着Sx再次操作,counter值更新为
m3 L3 U1 D; X) K$ c2,产生第二个版本D2([Sx,2]);之后,Sy和Sz同时对该对象进行写操作,Sy将
; D0 E- A3 @( |. Y% v7 s, B自身的信息加入向量时钟产生了新的版本D3([Sx,2],[Sy,1]),Sz同样产生了新
6 w4 d/ N, k7 I3 V: L4 E的版本信息D4([Sx,2],[Sz,1]),这时系统中就有了两个冲突的版本。最常见的
7 I- l: Y% I4 h4 y% w冲突解决方法有两种:一种是通过客户端逻辑来解决,比如购物车应用;另外一种
0 \- T d% x. l- M常见的策略是"last write wins",即选择时间戳最新的副本,然而,这个策略依赖集群
% ~1 g8 h: K) H+ e, {5 v! y内节点之间的时钟同步算法,不能完全保证准确性。
! L3 m% v7 c! `( h a向量时钟不能完美解决冲突,即使N+W>R,Dynamo也只能保证每个读取操作能
- T# W) \! `4 [读到所有的更新版本,这些版本可能冲突,需要进行版本合并。Dynamo只保证最终
N% \/ n6 [% l' w4 |一致性,如果多个节点之间的更新顺序不一致,客户端可能读取不到期望的结果。
+ n3 c( ]4 u7 v, l# q q' G- R# v这个不一致问题需要注意,因为影响到了应用程序的设计和对整个系统的测试工1 a& L7 G& T) M" {6 |5 p9 u- F
作。2 _ O9 b/ c2 ^
5.1.3 容错
, e" y5 A! G( w' u: Z9 g. I" tDynamo把异常分为两种类型:临时性的异常和永久性异常。有一些异常是临时7 V n2 F; [) c- y4 T1 \. Z
性的,比如机器假死;其他异常,如硬盘报修或机器报废等,由于其持续时间太
# m: Z/ G- {" H9 D+ _长,称为永久性的。下面解释Dynamo的容错机制:/ o, [# H! A- q; f4 \
●数据回传 在Dynamo设计中,一份数据被写到K,K+1,……,K+N-1这N台
. {% y' g$ o4 a8 j, C机器上,如果机器K+i(0≤i≤N-1)宕机,原本写入该机器的数据转移到机器K+N,
( I- k- f; @$ X; a' r如果在指定的时间T内K+i重新提供服务,机器K+N将通过Gossip协议发现,并将启
% M( Q2 c4 y6 @. _1 Q/ {. [动传输任务将暂存的数据回传给机器K+i。' G( Y, ` [: |
●Merkle树同步 如果超过了时间T机器K+i还是处于宕机状态,这种异常被认为
7 V& V: i* `1 d' \是永久性的。这时需要借助Merkle树机制从其他副本进行数据同步。Merkle树同步的 S( L2 W* r0 C: N0 G c5 P
原理很简单,每个非叶子节点对应多个文件,为其所有子节点值组合以后的哈希
8 Z( {; ^3 o+ ~# i值;叶子节点对应单个数据文件,为文件内容的哈希值。这样,任何一个数据文件
# _. y4 I0 }# E( N8 A( q9 |不匹配都将导致从该文件对应的叶子节点到根节点的所有节点值不同。每台机器对
$ q) }; `. J$ D8 o8 d O3 Q每一段范围的数据维护一颗Merkle树,机器同步时首先传输Merkle树信息,并且只需
! @) n" M% @3 n0 {要同步从根到叶子的所有节点值均不相同的文件。
+ c$ f6 T, p- g' w●读取修复 假设N=3,W=2,R=2,机器K宕机,可能有部分写操作已经返回客1 W3 I6 y9 k3 {: y
户端成功了但是没有完全同步到所有的副本,如果机器K出现永久性异常,比如磁盘5 Z% k! J8 @" q/ f
故障,三个副本之间的数据一直都不一致。客户端的读取操作如果发现了某些副本
: u6 P) ]% \% L K8 w1 f版本太老,则启动异步的读取修复任务。该任务会合并多个副本的数据,并使用合' _# B/ K e8 t7 W; l" t! i2 A5 K
并后的结果更新过期的副本,从而使得副本之间保持一致。
! F G) z8 T5 f3 C2 P. a5 X5.1.4 负载均衡
) ^0 [6 R- h3 m! X+ ?& U( p) [2 J, l }Dynamo的负载均衡取决于如何给每台机器分配虚拟节点号,即token。由于集群
7 L" V" j8 _9 t5 E- V* S9 h环境的异构性,每台物理机器包含多个虚拟节点。一般有如下两种分配节点号的方* `. \, {+ _% y6 f5 ~8 T
法。
7 r) b S5 f+ ^3 a3 M●随机分配。每台物理节点加入时根据其配置情况随机分配S个Token。这种方法# m" P z- t* U6 q8 H3 |
的负载平衡效果还是不错的,因为自然界的数据大致是比较随机的,虽然可能出现
9 o1 ?2 Q9 L9 F9 ^* K某段范围的数据特别多的情况(如baidu、sina等域名下的网页特别多),但是只要切6 S* d; a2 p% t) C: C9 p3 y
分足够细,即S足够大,负载还是比较均衡的。这个方法的问题是可控性较差,新节
% f0 Y3 t5 E1 f点加入/离开系统时,集群中的原有节点都需要扫描所有的数据从而找出属于新节点
* P. z3 j. }9 }4 D的数据,Merkle树也需要全部更新;另外,增量归档/备份变得几乎不可能。
% G% k- P- Y! K●数据范围等分+随机分配。为了解决上种方法的问题,首先将数据的哈希空间3 K2 P3 t: m8 X$ `
等分为Q=N×S份(N=机器个数,S=每台机器的虚拟节点数),然后每台机器随机选, ]8 H9 W% y& D0 I+ |7 J1 b0 N0 |
择S个分割点作为Token。和上种方法一样,这种方法的负载也比较均衡,并且每台
2 R, [% v& T1 U2 y* P6 e$ Y机器都可以对属于每个范围的数据维护一颗逻辑上的Merkle树,新节点加入/离开时
2 z& I; }) b7 Y& w( e只需扫描部分数据进行同步,并更新这部分数据对应的逻辑Merkle树,增量归档也
, G j% d9 M* l0 Y变得简单。
( c8 L# x! u, b/ I+ C0 r# k3 q另外,Dynamo对单机的前后台任务资源分配也做了一些工作。Dynamo中同步操( q. _5 N$ D3 v% l
作、写操作重试等后台任务较多。为了不影响正常的读写服务,需要对后台任务能6 B$ H! c4 I) N; y
够使用的资源做出限制。Dynamo中维护一个资源授权系统。该系统将整个机器的资
) w7 H1 P8 {8 ], ?6 R% z8 b源切分成多个片,监控60秒内的磁盘读写响应时间,事务超时时间及锁冲突情况,
! V% ~$ V' i T# R6 y: f根据监控信息算出机器负载从而动态调整分配给后台任务的资源片个数。9 `$ [+ S9 ?0 t5 ~7 h6 p
5.1.5 读写流程, c7 |5 T+ ^ I8 |7 Y
Dynamo的读写流程如图5-3和图5-4所示。
$ V' }- f) `5 x- ?/ C图 5-3 Dynamo写入流程 D# G- Y% b; G W6 I3 u6 I3 \' n4 F) E
图 5-4 Dynamo读取流程' e7 O" t4 ]! m
Dynamo写入数据时,首先,根据一致性哈希算法计算出每个数据副本所在的存
! A- r# B. G$ Z0 [储节点,其中一个副本作为本次写操作的协调者。接着,协调者并发地往所有其他2 d/ n/ W) c( M% H8 @. i
副本发送写请求,每个副本将接收到的数据写入本地,协调者也将数据写入本地。
6 G0 L3 k0 S0 d* \& ?当某个副本写入成功后,回复协调者。如果发给某个副本的写请求失败,协调者会8 i. ~: V* S% b! t5 _
将它加入重试列表不断重试。等到W-1个副本回复写入成功后(即加上协调者共W个/ z# N0 b4 \/ R7 P: O. {. X
副本写入成功),协调者可以回复客户端写入成功。协调者回复客户端成功后,还
( f& @" N* | D会继续等待或者重试,直到所有的副本都写入成功。
' B3 P" ^; `- o/ M8 f: XDynamo读取数据时,首先,根据一致性哈希算法计算出每个副本所在的存储节
2 I X6 ^0 v$ \1 a! D" O点,其中一个副本作为本次读操作的协调者。接着,协调者根据负载策略选择R个副5 R5 t1 C8 Z" `$ b. Z# A
本,并发地向它们发送读请求。每个副本读取本地数据,协调者也读取本地数据。
5 c* c) I* r3 n/ G当某个副本读取成功后,回复协调者读取结果。等到R-1个副本回复读取成功后(即4 O: a# w; t; E/ Y& B
加上协调者共R个副本读取成功),协调者可以回复客户端。这里分为两种情况:如
# c2 _/ e/ P6 M! l% x果R个副本返回的数据完全一致,将某个副本的读取结果回复客户端;否则,需要根
% ?; ]) v$ G" _/ i0 D据冲突处理规则合并多个副本的读取结果。Dynamo系统默认的策略是根据修改时间% o$ O) I' a; P% x! c/ _1 p
戳选择最新的数据,当然用户也可以自定义冲突处理方法。读取过程中如果发现某
- p' I- k% |1 }些副本上的数据版本太旧,Dynamo内部会异步发起一次读取修复操作,使用冲突解
8 N* n& }, ~5 e+ ]$ N决后的结果修正错误的副本。0 q+ y2 P+ j) |
5.1.6 单机实现/ I! B# [" ^, u7 S" [! @1 u9 A
Dynamo的存储节点包含三个组件:请求协调、成员和故障检测、存储引擎。$ c4 t* b3 s! m$ H
Dynamo设计支持可插拔的存储引擎,比如Berkerly DB(BDB),MySQL InnoDB# Z. m& g0 ?! n
等。存储的需求很多,设计成可插拔的形式允许用户根据应用特点选择合适的存储
' t# r+ r) h; ~% V3 Z7 Z- c引擎,比如BDB存储的对象大小一般在几十KB之内,而MySQL可以处理更大的对
% @0 A- C! o) d1 h! r% o象。用户会根据应用对象大小选择存储引擎,默认为BDB。+ |( Z* X1 t, O( k# D7 R% d( v. L
请求协调组件采用基于事件驱动的设计,每个客户端的读写请求对应一个状态
% L& o2 y% `) Z机,系统根据发生的事件及状态机中的状态决定下一步的操作。比如读取操作对应" X! n: I* K; g: j# S
的状态包括:
$ Y( K' M$ ^. k4 v+ d9 R8 L●协调者发送读请求到其他节点;! I- y- d0 _9 h; B. y
●等待其他节点返回读取结果,最少需要R-1个;( B+ i+ t. N7 C8 [4 B7 ]2 D
●如果请求其他节点返回失败,需要按照一定的策略重试;) H+ u1 B0 U# j3 z, G& q, C. c
●如果到达时间限制成功的节点仍然小于R-1个,返回客户端请求超时;4 A7 c- ?; K+ y* ~8 ?5 Z$ ]
●合并协调者及其他R-1个节点的读取结果,并返回客户端,合并的结果可能包 X7 |5 S, i$ E5 S2 \
含多个冲突版本;如果设置了冲突解决方法,协调者还需要解决冲突。
/ ^1 u1 R# R a读操作成功返回客户端以后对应的状态机不会立即被销毁,而是等待一小段时
- ]6 g9 n+ l6 z G; @7 J间,这段时间内可能还有一些节点会返回过期的数据,协调者将更新这些节点的数( X4 W: N" l8 P1 o% {
据到最新版本,这个过程称为读取修复。
5 f* L" r# r* |& ^$ j: H5.1.7 讨论
" g' R. p) G% Z- ZDynamo采用无中心节点的P2P设计,增加了系统可扩展性,但同时带来了一致1 {" D% y1 n. q+ a" U. a7 A4 x9 J
性问题,影响上层应用。另外,一致性问题也使得异常情况下的测试变得更加困
. \+ M3 s$ J# |难,由于Dynamo只保证最基本的最终一致性,多客户端并发操作的时候很难预测操. }5 s' r3 _6 U8 w2 ^2 o8 v
作结果,也很难预测不一致的时间窗口,影响测试用例设计。
/ s; E! `6 ~8 [+ L9 G总体上看,Dynamo在Amazon的使用场景有限,后续的很多系统,如Simpledb,
1 L. R- C' \# p9 g% Z: p; d采用其他设计思路以提供更好的一致性。主流的分布式系统一般都带有中心节点,
; X% ]/ G1 B% e! f% ?这样能够简化设计,而且中心节点只维护少量元数据,一般不会成为性能瓶颈。# `% X- S, p9 p& g5 n+ @
从Amazon、Facebook等公司的实践经验可以得出,Dynamo及其开源实现: h ]9 o# F$ p) r
Cassandra在实践中受到的关注逐渐减少,无中心节点的设计短期之内难以成为主' E% @ I% o+ Y, Q% f4 V
流。另一方面,Dynamo综合使用了各种分布式技术,在实践过程中可以选择性借
% S% S& ?0 B! d* m鉴。
* z- M; Y8 X$ C6 b# r4 [5 j5 N1 X! ^! R
, U+ W* a, {$ j( H6 N2 ~2 y+ E7 v/ n
|
|