爱吱声
标题: Sharding中Chunks的切分和迁移 [打印本页]
作者: shengnan007 时间: 2012-9-18 12:37
标题: Sharding中Chunks的切分和迁移
在上一篇文章“MongoDB架构概览”中，我们简单介绍了一下MongoDB中的shard，接下来，我们详细的讲解一下MongoDB的sharding model。2 |) O, |. j3 j: O" y$ w+ N
a( i6 A2 G4 M9 z 当MongoDB的一个 collection 数据量太大时，我们按照shard key，把该collection分成多个chunks，多个chunks聚集在一起，组成了一个shard。
! z: R) T1 ^4 ^# y0 R4 y( X4 Y; t4 b9 u% E3 ^0 {- j2 z
每一个 document 的shard key 的值，决定了这条document应该存放在哪个chunk中。如果两条 documents 的 shard keys 的值很接近，这两条 documents 很可能被存放在同一个 chunk 中。如图2-1所示。
: n4 U$ W2 }4 u: i9 x+ `
$ s' u; v# t; ^8 q7 G( {! `
) `3 j0 t) |, Q1 p5 O9 |8 q! z
: h1 Q) B+ n6 ?+ K+ l4 [, E3 e图2-1 shard key、chunk和shard的关系
2 W3 B. a$ [0 n( ~ 通过图2-1我们可以看到，数据在整个key space上的分布是不均匀的，这就导致了chunk中存储的数据量会不均匀。如果一个chunk中存储的数据太多了怎么办？多个chunks构成了一个shard，因此shard中的数据量也会不均匀，如果一个shard中存储的数据太多了怎么办？6 d3 a1 a; r( q# C( a8 m
+ Y5 I6 \: l! P$ a1 j5 m4 d
上一篇文章中，我们提到了解决办法。一个 chunk最多能够存储64MB的数据。当某个chunk存储的 documents包含的数据量，接近这个阈值时，一个chunk会被切分成两个新的chunks。当一个shard存储了过多的chunks，这个shard中的某些chunks会被迁移到其它 shard中。
. @/ k& A$ v. I# ]" w
8 g! I* a- F! ~, H 当用户产生存储数据的需求时，把插入数据的请求发送给mongos，mongos先查询 config server，找到存放相应数据的shard servers。然后把用户请求，转发到这些 shard servers，同时，mongos会根据历史上插入的每条数据的平均大小，判断这条数据插入到这个shard server的某个chunk后，是否会导致这个chunk的大小近似达到或者超过64M。& O5 C- K1 \8 G
8 x4 Q0 |; O1 }
如果mongos经过判断，发现chunk在插入这条数据之后，会近似达到或者超过64M，那么就说明这个chunk需要进行切分。Mongos就要和这个chunk所在的shard server联系，并发送一个切分chunk的请求。/ @4 b+ q" ]9 N$ b% ~9 N
6 V% X G5 e N1 {' _3 P
Shard server接收到mongos发送的请求之后，首先查询这个chunk的shard key range，然后根据这个key range，计算一个midpoint，然后把chunk从midpoint处分为两部分。同时，把这个变化通知到config server。
, m# R5 [9 V# W, ~1 n3 V4 @, Y/ w0 U$ a6 j3 X
请注意，这里只是切分chunk，切分后的chunk仍然在这个shard中。随着系统的运行，chunk中的数据量在增长，虽然通过切分操作，保持每个chunk中的数据不超过64M，但是， shard 中包含的 chunk 数量在增长。如果 shard server中的数据太多了怎么办？MongoDB通过chunk的迁移，来均衡shard servers之间的数据量。
; D. _. q& J9 k3 K. ^2 T* _
6 R" e X, v2 t/ G9 N& l6 y0 q 在mongos上运行着一个“balancer”进程，这个进程的任务是确保每个shard servers上的数据规模大致相同。当数据规模不均衡的状态被检测到之后，这个balancer会联系那个数据较多的shard，发出一个chunk迁移的命令。
% U6 \2 n: u, G1 f! s9 I K) @! Y8 j: H# e$ Z* B2 J
如何界定什么是数据规模不均衡呢？如果存储chunks最多的shard server，比存储chunks最少的shard server，chunks的个数之差超过预定的一个阈值n，balancer就向这个 shard server，发起chunk迁移指令。
) g! K( O, Z8 T2 P, t3 K
3 \+ Q4 r% b& ]7 T 在MongoDB中，n的值，与一个collection可以分成多少个chunks有关系，chunks的个数越多，n就越大，但是至少n要大于2。当shard servers中chunks个数的差值小于等于2的时候，迁移就可以结束了。
2 c6 G& `, R. q: w( t! k; F! T* ~9 H; ]' q$ z p, r: r, q
Chunk的迁移是在线进行的，也就是说所有的shard server都处于工作状态。Mongos从数据多的shard server中，选择一个chunk，迁移到一个数据少的shard server中。 为了方便理解，下文中，我们把数据多的shard server叫做orig server，数据少的shard server叫做dest server。. z% M" d( H& e% Y9 x* s; g& i, k
" r- l2 y/ R5 Y1 ~) ~% f B" ?; _ 迁移的过程中，首先 orig server向 dest server联系，成功建立数据通道之后，chunk数据会被从orig server拷贝到dest server。这个过程会持续一段时间，时间长短，取决于数据的大小，如图2-2中的过程A。
& p; T# C3 T W+ l8 y& R5 y$ `3 i9 k1 p" [( B3 L
在这期间，orig server可能会不断接收到mongos转发来的用户请求，包括insert、update等等，导致这个chunk包含的数据发生变化。这些新增的数据变更会被记录下来，不妨称之为 delta update。当过程 A 结束后，orig server 将向 dest server传输delta update，如图2-2中的过程B。4 p8 Y" i8 F+ ~2 q1 s
" y9 o, w5 F* ]0 n0 E; w ]: c }4 ? 在执行过程 B 期间，orig server很可能继续接收到mongos转发来的用户请求，导致这个chunk包含的数据进一步发生变化。当 orig server向 dest server，传输完第一轮 delta update以后，紧接着开始传第二轮 delta update，然后传第三轮 delta update。如此反复更新 delta，理论上可能会永久地持续下去。
" ]. J% b9 i6 s; r5 \8 n% f
7 ~8 f# L) m, T2 c& C0 _: H4 p 为杜绝这个可能，我们可以设置一个最大的传输轮次，当进行到最后一轮传输时，orig server会停止接受来自mongos的所有更新请求，并把这些请求记录下来。
- s4 [2 I/ \. t9 T- | ]$ i/ _) E$ u# |& B e1 H
. ]) B, r4 T0 m$ w& M
图2-2 chunk的迁移过程
当最后一轮传输结束之后，会经过如下的几个步骤来结束chunk迁移的操作。
1. Dest server会通知config server，该chunk已经从orig server迁移到了dest server中。Config server更新这个chunk的映射信息，如图2-2中的过程1。
2. Dest server通知orig server，数据传输已经结束，让orig server向 Mongos，提交一个StaleConfigException，如图2-2中的过程2.1和2.2。
3. Mongos会从config server查询到 dest server 的地址，如图2-2中的过程3.1。
接着，从orig server获取到最后一轮传输时，orig server尚未执行的，来自用户的数据更新请求，如图2-2中的过程3.2。
最后，Mongos 从orig server 获得这些尚未处理的请求后，把它们转发给dest server处理，如图2-2中的过程3.3。
4. 以上的过程结束之后，在未来的某个时间，orig server会把这份数据物理删除。
在迁移的过程中，存在着一种特殊情况。假如这个被迁移的chunk，正面临着高频率的更新请求，那么在传输delta update的时候，会发现delta update越来越大，以至于delta update的增长速度，大于从orig server到dest server的传输速度。
在这种情况下，整个迁移过程要中断，之前所传输的所有数据都被放弃，也就是图2-2中的过程A和B，以及过程 1-3，通通被放弃，相当于这个迁移操作没有发生过。Mongos会从 orig server 中，选择另外的一个chunk，重新开始迁移操作。选择的标准，是这个chunk 的数据更新的频率不高。
2 p- Q1 D' H& W& q1 z- @+ E
Reference，
[0] MongoDb Architecture
作者: puber 时间: 2012-9-27 17:18
底层运作机制最迷人。
作者: shengnan007 时间: 2012-9-27 17:53
puber 发表于 2012-9-27 17:18 
* I7 H$ m# B" M3 ]5 \9 M: Q- S& c底层运作机制最迷人。
4 p# }& e- B* a) W8 s1 x& p. D也最不好寫呀
| 欢迎光临 爱吱声 (http://www.aswetalk.net/bbs/) |
Powered by Discuz! X3.2 |