|
关于MongoDB,我们能看到的资料,基本都是在指导大家如何使用MongoDB,但是,MongoDB内部是如何运作的,资料不是很多。' s2 m2 [: d" H1 z3 U7 l# Y
/ w6 n7 N" y- w2 i& R 阅读使用手册,会有很多疑惑之处。例如,有人说,MongoDB 等同于分布式的 MySQL。它把一个Table ,按 row,分割成多个Shards,分别存放在不同的 Servers 上。这种说法是否正确?: \0 f, w# B% h& h) t% b9 E) f
: m s& O4 U7 y 不深入了解 MongoDB 的内部结构,就无法透彻地回答类似问题。这个系列文章,就来和大家探讨MongoDB的内部的工作方式。
% j& x3 [+ C- ?" M+ R2 L0 L' E! l; Y" F: h8 I5 B5 e+ V
: |5 J1 H, i: K7 X% y' |) u
2 f" b, L% a- N$ c
图1-1 MongoDB架构图
8 n. f, P# \1 X2 X; h0 M
' e( v s9 k ]' n# F7 z# X MongoDB 通常运行在一个服务器集群上,而不是一个单机。图1-1,描述了一个MongoDB集群的基本组成部分,包括若干shards,至少一个config server,至少一个routing servers(又称 mongos)。$ H. `) C3 b% \8 |2 J' Y8 R
. s, k" D% \" h4 M& SShards. e/ ?2 k3 J# y1 g9 Q9 S
: c' n) p, R5 C/ m- B {
MongoDB的最基本的数据单元,叫document,类似于关系式数据库中的行 row。一系列documents,组成了一个collection,相当于关系式数据库中的table。当一个 collection 数据量太大时,可以把该collection按documents切分,分成多个数据块,每个数据块叫做一个chunk,多个chunks聚集在一起,组成了一个shard。
+ c. {- z/ M6 r4 h8 |2 l* r( X8 K$ E* X
Sharding 的意义,不仅保障了数据库的扩容(scalability),同时也保障了系统的负载均衡(load balance)。
8 R, V5 t, Z1 C& K
. ^; n3 \$ C8 ?8 V2 V! t- g8 j 每一个shard存储在一个物理服务器(server)上。Server上运行着mongod进程,通过这个进程,对shard中的数据进行操作,主要是增删改查。4 e; Z! S* i' C5 T; M( ]" t
7 e1 s3 J1 H. K* N3 x2 \
如果系统中的每个shard,只存储了一份数据,没有备份,那么当这个shard所在的server挂了,数据就丢失了。在生产环境中,为了保证数据不丢失,为了提高系统的可用性(availability),每一个shard被存储多份,每个备份所在的servers,组成了一个replica set。
E: L8 f. W6 d, N2 b5 l) h l# T O u4 {# l
Shard keys
; p# _ O6 E- N7 n ; ^! y; w% _6 T, b' o
为了把collection切分成不同的chunks,从而存放到不同的shards中,我们需要制定一个切分的方式。
u: O, w9 U8 k7 J8 \2 Z2 x8 p& ~, N
如前所述,在 MongoDB 数据库中,一个表collection由多个行 documents 组成,而每个 document,有多个属性 fields。同一个 collection 中的不同的 documents,可能会有不同的 fields。例如,有个 collection 叫 Media,包含两条 documents,
& ]7 ]4 B8 L& \ G& v4 w3 J' |
{
0 T {1 Z( G8 D2 t, e; W% F "ISBN": "987-30-3652-5130-82",9 v. u+ u* ^$ a% ^& ~$ H
"Type": "CD",
4 z! q: l9 L5 P "Author": "Nirvana",5 x: o! s" Z- {3 j
"Title": "Nevermind",0 J/ H+ E" [! G M. }
"Genre": "Grunge",1 D. | O; [# }/ K
"Releasedate": "1991.09.24",& E# T& N3 |) m9 F3 u' G% n$ R
"Tracklist": [1 b6 m& y! ?6 Y. k1 V. b! m1 Y
{5 A3 N0 g1 S% I* Y, `; ^! U+ O1 A
"Track" : "1",. ^: a& i9 Z. l+ C; ?( z! [- m
"Title" : "Smells like teen spirit",
3 ~5 |' u! C5 \$ w% z9 e6 D. M "Length" : "5:02"
7 X R" Z3 |* K8 [2 j0 C },
5 c. Y# i! R$ ]- g/ W1 S E {/ E9 i8 l4 j# W4 T( o. s
"Track" : "2",
4 k% ~0 E9 E6 Q "Title" : "In Bloom",
: P- c% {9 Z5 Q6 L "Length" : "4:15": o& o" ]$ R+ y$ l) D3 w% z3 d
}' [5 H: ]; i6 o$ i- ?
]2 _) L5 v/ X& i/ q* p
}
! r5 M* i" V* y* T2 \1 s2 Q# O$ g4 n( x8 ^7 b: C1 l% v+ m e( I
{
: n' ]* q% G& a "ISBN": "987-1-4302-3051-9",8 l& E& {: K- Q" K/ C
"Type": "Book",( j( ~8 J8 x) |+ M2 `* K
"Title": "Definite Guide to MongoDB: The NoSQL Database", X" J9 y) {0 s3 G6 K
"Publisher": "Apress",+ P! D# d& V' p3 p2 @" C4 o
"Author": " Eelco Plugge",- @. m* ^- T9 r0 v7 `1 J
"Releasedate": "2011.06.09"3 ~9 @- {6 P# o
}; N; V3 \. W! k M5 y- o G$ ~) ^
/ E7 J; N$ ?/ V6 ~: Q" t) Q$ x9 ]$ a' ` 假如,在同一个 collection 中的所有 document,都包含某个共同的 field,例如前例中的“ISBN”,那么我们就可以按照这个 field 的值,来分割 collection。这个 field 的值,又称为 shard key。
6 p6 T0 Z& r+ W1 s/ y6 X1 v# G
; s3 `5 _3 n6 V3 O! i3 X 在选择shard key的时候,一定要确保这个key能够把collection均匀地切分成很多chunks。
- }3 N2 _# R: j4 g, n; f- s: v
f$ f' ~9 {, G" J7 K 例如,如果我们选择“author”作为shard key,如果有大量的作者是重名的,那么就会有大量的数据聚集在同一个chunk中。当然,假设很少有作者同名同姓,那么“author”也可以作为一个shard key。换句话说,shard key 的选择,与使用场景密切相关。) v+ P5 x9 t; S
( F' O+ u9 U# z( g b# d0 X& l* O
很多情况下,无论选择哪一个单一的 field 作为shard key,都无法均匀分割 collection。在这种情况下,我们可以考虑,用多个 fields,构成一个复合的shard key。6 u+ _1 }8 m. B9 S/ B7 v- G$ o5 [
- ?1 Y$ M2 T" ?, a$ I6 V
延续前例,假如有很多作者同名同姓,他们都叫“王二”。用 author 作为 shard key,显然无法均匀切割 collection。这时我们可以加上release-date,组成name-date的复合 shard key,例如“王二 2011”。$ }5 A' p; F" p
7 n- o2 Z9 c' A8 BChunks" g# f% F. I3 c
2 [3 ^% P, @ s4 E8 i
MongoDB按 shard key,把 collection切割成若干 chunks。每个 chunk 的数据结构,是一个三元组,{collection,minKey,maxKey},如图1-2 所示。
- ?: L4 y7 Z6 i9 n$ K
- x& e4 `5 r; Z( T$ X6 E+ `$ b
, d3 G" k& T4 _ l" H" n' d. V
图1-2 chunk的三元组 4 [# K. ?+ E# K" ?2 c( J
3 }! Z7 k+ L- ?" h6 [ 其中,collection 是数据库中某一个表的名称,而 minKey 和 maxKey 是 shard key的范围。每一个 document 的shard key 的值,决定了这条document应该存放在哪个chunk中。4 R0 J* s( d2 q
7 \% E0 Y {# o2 M
如果两条 documents 的 shard keys 的值很接近,这两条 documents 很可能被存放在同一个 chunk 中。
5 o# `/ O* X/ f- n/ r1 V
. M$ d# p- {2 I- e6 E: S9 ] Shard key 的值的顺序,决定了 document 存放的 chunk。在 MongoDB 的文献中,这种切割 collection 的方式,称为order-preserving。
. Z+ D9 Y: ]$ `0 R0 g$ r: K1 E' }
一个 chunk最多能够存储64MB的数据。 当某个chunk存储的 documents包含的数据量,接近这个阈值时,一个chunk会被切分成两个新的chunks。, d6 w- i1 Q, z" i5 X# e
) I9 h( k' m2 g% @0 k( Q4 N 当一个shard存储了过多的chunks,这个shard中的某些chunks会被迁移到其它 shard中。
" [: I: Z4 @9 j0 }* N
. \" f6 e2 Y' b/ u4 K; o* r 这里有个问题,假如某一条 document 包含的数据量很大,超过 64MB,一个 chunk 存放不下,怎么办?在后续章节介绍 GridFS 时,我们会详细讨论。
. S- B- z2 \+ q) V2 G5 L4 i; J
. Q8 Z) |$ ~- M! b4 N' [3 v3 h' z% [+ tReplica set# x; V, c" F5 }
- w9 j1 ?! F9 @ l& J 在生产环境中,为了保证数据不丢失,为了提高系统的可用性(availability),每一个shard被存储多份,每个备份所在的servers,组成了一个replica set。
# A" ~, X& p! W) @! ~. o. ?, ?, |) i1 ^2 ^& b. }# D
这个replica set包括一个primary DB和多个secondary DBs。为了数据的一致性,所有的修改(insert / update / deletes) 请求都交给primary处理。处理结束之后,再异步地备份到其他secondary中。8 D( Y5 B; e) m- t+ H
7 V. s+ V9 f- o0 W3 y Primary DB由replica set中的所有servers,共同选举产生。当这个primaryDB server出错的时候,可以从replica set中重新选举一个新的primaryDB,从而避免了单点故障。9 \' z1 ~% A0 O; g% N! o
- ~# ]9 e" k/ L8 o4 Y4 _& O6 s
Replica set的选举策略和数据同步机制,确保了系统的数据的一致性。后文详述。' T% C" M; [2 s/ c# F7 P9 s! V
5 R7 X0 o* }3 x' _$ Z
Config Server9 b% N, @- P, i
, F$ z6 W: }6 Z7 x8 f8 f Config servers用于存储MongoDB集群的元数据 metadata,这些元数据包括如下两个部分,每一个shard server包括哪些chunks,每个chunk存储了哪些 collections 的哪些 documents。
) w) l6 p( N k/ t- `3 s9 @% _5 ~$ `" a* R U8 j+ B3 t- @4 e l
每一个config server都包括了MongoDB中所有chunk的信息。7 C+ G" R" q" c# F
0 Q) E+ d; d" Q0 q! R
Config server也需要 replication。但是有趣的是,config server 采用了自己独特的replication模式,而没有沿用 replica set。
}+ ]$ W( @2 K2 D8 ^. i9 S& j/ K- q, F+ o' y0 k7 Z6 O9 C
如果任何一台config server挂了,整个 config server 集群中,其它 config server变成只读状态。这样做的原因,是避免在系统不稳定的情况下,冒然对元数据做任何改动,导致在不同的 config servers 中,出现元数据不一致的情况。
# ?4 J0 t; \& P& c) `
# F% J ^4 r1 ?1 l0 ] MongoDB的官方文档建议,配置3个config servers比较合适,既提供了足够的安全性,又避免了更多的config servers实例之间的数据同步,引起的元数据不一致的麻烦。1 o0 R6 F1 X4 i4 l {* m2 |# S9 _/ D, R
3 W( u& B9 M( d( \, ]2 z/ ?
Mongos
" r3 R! j7 R! I) {
* s4 S1 H4 ]4 z) G. T 用户使用MongoDB 时,用户的操作请求,全部由mongos来转发。
) _) C- J) Q' b
- U- G9 _2 M% W# U 当 mongos 接收到用户请求时,它先查询 config server,找到存放相应数据的shard servers。然后把用户请求,转发到这些 shard servers。当这些 shard servers完成操作后,它们把结果分别返回给 mongos。而当 mongos 汇总了所有的结果后,它把结果返回给用户。
+ m* t7 \8 H% E7 k0 t3 u) K: L9 D3 N* h
Mongos每次启动的时候,都要到config servers中读取元数据,并缓存在本地。每当 config server中的元数据有改动,它都会通知所有的mongos。
" q! @# U- M7 {' L! b) `: s1 }
r- }- w& V- i; T) L8 ?: G Mongos之间,不存在彼此协同工作的问题。因此,MongoDB所需要配置的mongos server的数量,没有限制。# D: n% V* Y2 {3 v) G" I! U
$ Z) E& ]6 y9 n8 W8 } 通过以上的介绍,我们对每个组成部分都有了基本的了解,但是涉及到工作的细节,我们尚有诸多疑问,例如,一个chunk的数据太大,如何切分?一个shard数据太多,如何迁移?在replica set中,如何选择primary?server挂了,怎么进行故障恢复?接下来的章节,我们逐个回答这些问题。8 Y# C! p; m( H- c0 _) |9 [
" }3 G _4 U$ U! G& k4 v% Q4 ^: |6 `: ]/ [
7 K! o+ X `" W# qReference,
: G( j0 w3 |9 b3 i& \& u; q
/ d; W3 \ A0 ?* x+ @/ e: \[0] Architectural Overview) D/ P) x! C6 d
http://www.mongodb.org/display/DOCS/Sharding+Introduction
6 i" y" k( ~8 s% i% X. A% s1 J% Y |
评分
-
查看全部评分
|