《大规模分布式存储系统》第6章 分布式表格系统【6.2】

javazx

6.2　Google Megastore
Google Bigtable架构把可扩展性基本做到了极致，Megastore则是在Bigtable系统
2 n5 W) g3 r8 n- Q9 ?  ?6 o8 x; \之上提供友好的数据库功能支持，增强易用性。Megastore是介于传统的关系型数据
% d) m' D% O1 q$ {% f! [7 N库和NoSQL之间的存储技术，它在Google内部使用广泛，如Google App Engine、社交
类应用等。
互联网应用往往可以根据用户进行拆分，比如Email系统、相册系统、广告投放
效果报表系统、购物网站商品存储系统等。同一个用户内部的操作需要保证强一致
. h% H7 Z# s9 `% r7 T! e性，比如要求支持事务，多个用户之间的操作往往只需要最终一致性，比如用户之
间发Email不要求立即收到。因此，可以根据用户将数据拆分为不同的子集分布到不
1 n' d9 ~# I* _% C同的机器上。Google进一步从互联网应用特性中抽取实体组（Entity Group）概念，
& X: L! B* P5 r, }从而实现可扩展性和数据库语义之间的一种权衡，同时获得NoSQL和RDBMS的优
0 C& w- L2 Q8 T3 w: K2 o$ L& e点。
如图6-5所示，用户定义了User和Photo两张表，主键分别为＜user_id＞和＜
- o8 ]6 u( p1 q, q- ~user_id,photo_id＞，每一个用户的所有数据构成一个实体组。其中，User表是实体组
根表，Photo表是实体组子表。实体组根表中的一行称为根实体（Root Entity），对应
Bigtable存储系统中的一行。根实体除了存放用户数据，还需要存放Megastore事务及
/ f# {2 W- X3 {" \. e" m+ D+ \复制操作所需的元数据，包括操作日志。
6 j& q2 f' t1 y3 |7 p. Y8 ^3 y7 L图　6-5　实体组语法
表6-1中有两个实体组，其中第一个实体组包含前三行数据，第二个实体组包含
最后一行数据。第一行数据来自User表，是第一个实体组的Root Entity，存放编号为
2 v+ n* B$ e8 i2 A101的用户数据以及这个实体组的事务及复制操作元数据；第二行和第三行数据来自
+ K9 E; Y9 h( u3 w) |Photo表，存放用户的照片数据。
Bigtable通过单行事务保证根实体操作的原子性，也就是说，同一个实体组的元
数据操作是原子的。另外，同一个实体组在Bigtable中连续存放，因此，多数情况下
' J( n& s4 H( t同一个用户的所有数据属于同一个Bigtable子表，分布在同一台Bigtable Tablet Server
机器上，从而提供较高的扫描性能和事务性能。当然，如果某一个实体组过大，比
" s# ?6 i/ J' F( I) P如超过一个子表的大小，这样的实体组跨多个子表，可以分布到多台机器。
7 k5 l) d; M1 m1 j* }' b6.2.1　系统架构
如图6-6所示，Megastore系统由三个部分组成：
图　6-6　Megastore整体架构
- L! x3 G4 O+ v, Y●客户端库：提供Megastore到应用程序的接口，应用程序通过客户端操作
Megastore的实体组。Megastore系统大部分功能集中在客户端，包括映射Megastore操
. T" w" S/ \% z: F% W# m; w作到Bigtable，事务及并发控制，基于Paxos的复制，将请求分送给复制服务器，通过
, w/ f: L$ B: X# Z* G  N协调者实现快速读等。
4 H6 ?8 A9 F% O8 z; b$ X●复制服务器：接受客户端的用户请求并转发到所在机房的Bigtable实例，用于
解决跨机房连接数过多的问题。
●协调者：存储每个机房本地的实体组是否处于最新状态的信息，用于实现快速
, @7 y! j4 l. W读。
/ E+ x4 w6 k" Y$ V/ p/ LMegastore的功能主要分为三个部分：映射Megastore数据模型到Bigtable，事务及
并发控制，跨机房数据复制及读写优化。Megastore首先解析用户通过客户端传入的
7 \6 @+ ]9 T; C0 H3 n. GSQL请求，接着根据用户定义的Megastore数据模型将SQL请求转化为对底层Bigtable
的操作。
在表6-1中，假设用户（user_id为101）往Photo表格中插入photo_id分别为500和
% A5 H1 Y' V) q9 U) I502的两行数据。这就意味着，需要向Bigtable写入主键（rowkey）分别为＜101，500
" Y4 I) t2 c$ L; Z( K( p& \＞和＜101，502＞的两行数据。为了保证写事务的原子性，Megastore首先会往该用
- w8 t- y: G! @: R户的根实体（Bigtable中主键为＜101＞的数据行）写入操作日志，通过Bigtable的单
行事务实现操作日志的原子性。接着，回放操作日志，并写入＜101，500＞和＜
101，502＞这两行数据。这两行数据在Bigtable属于同一个版本，客户端要么读到全
  v; V! Y2 l; P  R) _部行，要么一行也读不到。接下来分别介绍事务与并发控制、Paxos数据复制以及读
写流程。
6.2.2　实体组
7 c4 V; F7 o7 N7 t: t如图6-7，总体上看，数据拆分成不同的实体组，每个实体组内的操作日志采用
/ W3 i- K) U  g! \' U0 Y( D% V8 l基于Paxos的方式同步到多个机房，保证强一致性。实体组之间通过分布式队列的方
式保证最终一致性或者两阶段提交协议的方式实现分布式事务。我们先看单个集群
的情况，暂时忽略基于Paxos的复制机制。
# ]% c5 K" N$ t" |$ R$ y图　6-7　Megastore实体组
图　6-7　（续）
/ L; C4 k/ R; p/ ~●单集群实体组内部：同一个实体组内部支持满足ACID特性的事务。数据库系
统事务实现时总是会提到REDO日志和UNDO日志，在Megastore系统中通过REDO日
9 n2 z* i0 W" D* z志的方式实现事务。同一个实体组的REDO日志都写到这个实体组的根实体中，对应
: D% v; ~7 A" A3 DBigtable系统中的一行，从而保证REDO日志操作的原子性。客户端写完REDO日志
& s0 J. l  E$ w: E1 f1 ?! [" [后，事务操作成功，接下来的事情只是回放REDO日志。如果回放REDO日志失败，
9 w  w; G" M) O( O9 g3 m0 ~5 T比如某些行所在的子表服务器宕机，事务操作也可成功返回客户端。后续的读操作
如果要求读取最新的数据，需要先回放REDO日志。
●单集群实体组之间：实体组之间一般采用分布式队列的方式提供最终一致性，
7 @4 t2 @+ e% H0 |9 B子表服务器上有定时扫描线程，发送跨实体组的操作到目的实体组。如果需要保证
9 J3 w. x8 X, a2 a5 J6 \. K多个实体组之间的强一致性，即实现分布式事务，只能通过两阶段提交协议加锁协
, U6 l  y8 I/ h) K+ o0 _. h调。
6.2.3　并发控制
9 _; d& }: D3 t  ?（1）读事务
# R0 e! [8 `/ i; }/ ZMegastore提供了三种读取模式：最新读取（current read）、快照读取（snapshot
+ n8 B5 i( y+ F3 F$ F: s) Mread）、非一致性读取（inconsistent read）。其中，最新读取和快照读取总是在单个
实体组内完成的。在开始某次最新读取之前，需要确保所有已提交的写操作已经全
/ j4 y1 _0 i% X; W" p, h部生效，然后读取最后一个版本的数据。对于快照读取，系统取出已知的最后一个
完整提交的事务版本并读取该版本的数据。与最新读取不同的是，快照读取的时候
, H8 s3 F' v2 z: M! L1 j0 K4 ~3 }可能有部分事务已经提交但没有生效（REDO日志同步成功但没有回放完成）。最新
读取和快照读取利用了Bigtable存储多版本数据的特性，保证不会读到未提交的事
务。非一致性读取忽略日志的状态而直接读取Bigtable内存中最新的值，可能读到不
9 y! P+ I( v3 S5 X/ H; e2 @完整的事务。
（2）写事务
3 D) l* v& l/ x# C* jMegastore事务中的写操作采用了预写式日志（Write-ahead日志或REDO日志），
9 e# i% `- |* p也就是说，只有当所有的操作都在日志中记录下来后，写操作才会对数据执行修
5 G1 N! |; }/ u9 E. T$ p5 z1 w改。一个写事务总是开始于一个最新读取，以便于确认下一个可用的日志位置，将
2 j% T. M; Z0 ~" J$ T6 s  A用户操作聚集到日志缓冲区，分配一个更高的时间戳，最后通过Paxos复制协议提交
& v2 U, z: ~5 W( ?到下一个可用的日志位置。Paxos协议使用了乐观锁的机制：尽管可能有多个写操作
' W! _$ u  L  ~( e8 a5 u. E同时试图写同一个日志位置，但最后只有一个会成功。其他失败的写操作都会观察
到成功的写操作，然后中止并重试。
: R& v7 K# y( S写事务流程大致如下：
1）读取：获取最后一次提交的事务的时间戳和日志位置；
2）应用逻辑：从Bigtable读取并且将写操作聚集到日志缓冲区中；
3）提交：将缓冲区中的操作日志追加到多个机房的Bigtable集群，通过Paxos协
+ d" T% f9 S0 ^0 L议保证一致性；
8 x; ~/ l0 t1 F  y4）生效：应用操作日志，更新Bigtable中的实体和索引；
5 o/ |9 \  Y1 u2 V7 e0 }; b( B5 f5）清理：删除不再需要的数据。
% y) G  D8 n, c5 g假如有两个先读后写（read-modify-write）事务T1和T2，其中：
T1:Read a;Read b;Set c=a+b;
4 l' E; y" f+ y0 P. z! ^3 WT2:Read a;Read d;Set c=a+d;
; a5 [9 }! E1 X: W# Y/ G, D3 a假设事务T1和T2对同一个实体组并发执行，T1执行时读取a和b,T2读取a和d，接
5 V  O7 a% o- t* s着T1和T2同时提交。Paxos协议保证T1和T2中有且只有一个事务提交成功，假如T1
提交成功，T2将重新读取a和d后再次通过Paxos协议提交。对同一个实体组的多个事
务被串行化，Megastore之所以能提供可串行化的隔离级别，得益于定义的实体组数
& c+ S  _0 i/ u: [' w据模型，由于同一个实体组同时进行的更新往往很少，事务冲突导致重试的概率很
" Y9 a8 ]4 N0 m  n0 i0 l低。
. b" \* K& h' L. {# A8 ]6.2.4　复制
, l; L( ~, _) A" J* }4 G9 s对于多个集群之间的操作日志同步，Megastore系统采用的是基于Paxos的复制协
* K+ Y' E8 U$ @议机制，对于普通的Master-Slave强同步机制，Master宕机后，Slave如果需要切换为
: \* w. D; V( k5 ~& sMaster继续提供服务需要首先确认Master宕机，检测Master宕机这段时间是需要停止
写服务的，否则将造成数据不一致。基于Paxos的复制协议机制主要用来解决机器宕
% i5 H, L+ n% P' L6 ?9 q机时停止写服务的问题，Paxos协议允许在只是怀疑Master宕机的情况下由Slave发起
修改操作，虽然可能出现多点同时修改的情况，但Paxos协议将采用投票的机制保证
$ l3 }( Q* U: G4 M8 `只有一个节点的修改操作成功。这种方式对服务的影响更小，系统可用性更好。
Megastore通过Paxos协议将数据复制到多个数据中心，而且机器故障自动切换不
停写服务，保证了高可靠性和高可用性。当然，Megastore部署时往往会要求将写操
7 x% g2 l* S6 N5 F9 h; Z  e作强同步到多个机房，甚至是不同地域的多个机房，因此，延时比较长，一般为几
8 `$ s$ P' m* ]7 H3 c: l& A6 N/ }0 u十毫秒甚至上百毫秒。
( [% N% z" h8 e0 b; E* v" L9 H8 v6.2.5　索引
( u  c: P0 T9 D5 g: tMegastore数据模型中有一个非常重要的概念：索引（Index），分为两大类：
# g  U0 \- p( `& u2 v. H●局部索引（local index）：局部索引是单个实体组内部的，用于加速单个实体
0 S3 N$ G/ l1 d" P. K组内部的查找。局部索引属于某个实体组，实体组内数据和局部索引的更新操作是
原子的。在某个实体组上执行事务操作时先记录REDO日志，回放REDO日志时原子
: f0 h# O4 Y! g地更新实体组内部的数据和局部索引。图6-5中的PhotosByTime就是一个局部索引，
0 B. C; K8 v9 G映射到Bigtable相当于每个实体组中增加一些主键为（user_id,time,photo_id）的行。
●全局索引（global index）：全局索引横跨多个实体组。图6-5中的PhotosByTag
就是一个全局索引，映射到Bigtable是一张新的索引表，主键为
+ }, Z. S; z- ^) I# ^' E6 ^; U（tag,user_id,photo_id），即索引字段+Photo数据表主键。
除了这两大类索引外，Megastore还提供了一些额外的索引特性，主要包含以下
几个：
●STORING子句：通过在索引中增加STORING字句，系统可以在索引中冗余一
. q+ b9 |6 ~& y- }& ?* B/ F些常用的列字段，从而不需要查询基本表，减少一次查询操作。冗余存储的问题使
6 e% W- R8 a2 @' e& q# Z8 O0 G索引数据量变得更大。PhotosByTag索引中冗余存储了thumbnail_url，根据tag查询
photo的thumbnail_url时只需要一次读取索引表即可。
●可重复索引：Megastore数据某些中某些字段是可重复的，相应的索引就是可重
复索引。这就意味这，一行数据可能对应多行索引。PhotosByTag是重复索引，每个
* o" O8 D" y$ {photo可能有不同tag，分别对应不同的索引行。
6.2.6　协调者
* l# H$ i" U/ |（1）快速读
Paxos协议要求读取最新的数据至少需要经过一半以上的副本，然而，如果不出
5 G6 T6 j) k0 T: L  H+ B! B. q现故障，每个副本基本都是最新的。也就是说，能够利用本地读取（local reads）实
: r& _. P3 C+ T现快速读，减少读取延时和跨机房操作。Megastore引入协调者来记录每个本机房
Bigtable实例中的每个实体组的数据是否最新。如果实体组的数据最新，读取操作只
需要本地读取，没有跨机房操作。实体组有更新操作时，写操作需要将协调者记录
# E: b3 i5 C: {; e# j3 ?8 q; r4 H的实体组状态更新为无效，如果某个机房的Bigtable集群写入失败，需要首先使得相
应的协调者记录的实体组状态失效以后写操作才可以成功返回客户端。
3 h7 a0 M6 U& S# Z6 Z- S. D* U（2）协调者的可用性
每次写操作都需要涉及协调者，因此协调者出现故障将会导致系统不可用。当
协调者因为网络或者主机故障等原因导致不可用时，需要检测到协调者故障并将它
* L5 ^/ }3 i& I隔离。
7 @8 \# W* M1 y3 t* wMegastore使用了Chubby锁服务，协调者在启动时从数据中心获取Chubby锁。为
  c/ E1 I7 |$ y6 T了处理请求，协调者必须持有Chubby锁。一旦因为出现问题导致锁失效，协调者就
会恢复到一个默认的保守状态：认为所有它所能看见的实体组都是失效的。如果协
1 P' }6 F6 \' {( g4 X调者的锁失效，写操作可以安全地将它忽略；然而，从协调者不可用到锁失效有一
' u/ |4 j. N& h% [6 g个短暂（几十秒）的Chubby锁过期时间，这个时间段写操作都会失败。所有的写入
者都必须等待协调者的Chubby锁过期。
（3）竞争条件
4 p8 N5 \; E- Y) I! Z- n- P除了可用性问题，对于协调者的读写协议必须满足一系列的竞争条件。失效操
) a5 b) B3 w2 U4 |作总是安全的，但是生效操作必须谨慎处理。在异步网络环境中，消息可能乱序到
达协调者。每条生效和失效消息都带有日志位置信息。如果协调者先收到较晚的失
5 Z- S/ X. d# n0 i2 @1 N效操作再收到较早的生效操作，生效操作将被忽略。
$ T) S' J3 c* ?& W协调者从启动到退出为一个生命周期，每个生命周期用一个唯一的序号标识。
生效操作只允许在最近一次对协调者进行读取操作以来序号没有发生变化的情况下
修改协调者的状态。
6.2.7　读取流程
/ ~$ L2 s$ i( @& h0 D; NMegastore的读取流程如图6-8所示。Megastore最新读取流程如下。
图　6-8　Megastore读取流程
# D1 }0 s3 Y' j/ p: P4 j* T1）本地查询。查询本地副本的协调者来决定这个实体组上数据是否已经是最新
1 [, o1 l+ G7 m. R的。
2）发现位置。确认一个最高的已经提交的操作日志位置，并选择最新的副本，
具体操作如下：
( n1 T, K& ^% `/ j2 J" B9 ^3 k●本地读取（Local Read）：如果本地查询确认本地副本已经是最新的，直接读
0 e& I6 Z7 z, U6 e3 h3 T* s取本地副本已经提交的最高日志位置和相应的时间戳。这实际上就是前面提到的快
速读。
0 q3 X1 r' N- `& X* ]7 ]" T●多数派读取（Majority Read）：如果本地副本不是最新的（或者本地查询、本
' o$ x: N% N' U9 D地读取超时），从多数派副本中读取最大的日志位置，然后从中选取一个响应最快
或者最新的副本，并不一定是本地副本。
3）追赶。一旦某个副本被选中，就采取如下方式使其追赶到已知的最大位置
+ k9 K, h9 I2 a处：
. Q9 @7 z4 E  D7 o: E& _4 W●获取操作日志：对于所选副本中所有不知道Paxos共识值的日志位置，从其他
; k3 d8 R# c: Q- n1 D/ o副本中读取。对于所有不确定共识值的日志位置，利用Paxos发起一次无操作的写
（Paxos中的no-op）。Paxos协议将会促使大多数副本达成一个共识值：要么是无操
  ]6 D2 V8 k9 [/ L作写，要么是以前已提交的一次写操作。
●应用操作日志：顺序地应用所有已经提交但还没有生效的操作日志，更新实体
组的数据和索引信息。
2 L3 ~' G' L" o" U, X4）使实体组生效。如果选取了本地副本且原来不是最新的，需要发送一个生效
! V8 @; q* x4 g. U消息以通知协调者本地副本中这次读取的实体组已经最新。生效消息不需要等待应
答，如果请求失败，下一个读取操作会重试。
& K0 h* s& {! k& k* h7 T5）查询数据。在所选副本中通过日志中记录的时间戳读取指定版本数据。如果
0 P6 r- \- u( a7 k& G# Y所选副本不可用了，重新选取一个替代副本，执行追赶操作，然后从中读取数据。
& \% P) T0 c  f6 D. s* d6.2.8　写入流程
Megastore的写入流程如图6-9所示。
图　6-9　Megastore写入流程
+ ]$ Q8 J1 S" z: q执行完一次完整的读操作之后，下一个可用的日志位置，最后一次写操作的时
间戳，以及下一次的主副本（Leader）都知道了。在提交时刻所有的修改操作都被打
& t7 w2 Y& a! G& V5 D包，同时还包含一个时间戳、下一次主副本提名，作为提议的下一个日志位置的共
% E7 T) ^* `. `  p- L" g识值。如果该值被大多数副本通过，它将被应用到所有的副本中，否则整个事务将
中止且从读操作开始重试。
% U1 @, `. b4 z$ |写入过程包括如下几个步骤：
1）请求主副本接受：请求主副本将提议的共识值（写事务的操作日志）作为0
$ Q, W  y& X/ F) Y( R4 l! H号提议。如果成功，跳至步骤3）。
5 R$ A' ^; a* Q( g2）准备：对于所有的副本，运行Paxos协议准备阶段，即在当前的日志位置上
9 i8 O* }6 B8 T0 B+ j使用一个比以前所有提议都更高的提议号进行提议。将提议的共识值替换为已知的
拥有最高提议号的副本的提议值。
7 ?0 b, `  e+ R7 p9 y# Z3）接受：请求剩余的副本接受主副本的提议，如果大多数副本拒绝这个值，返
9 V+ t, z7 V8 y4 r! R回步骤2）。Paxos协议大多数情况下主副本不会变化，可以忽略准备阶段直接执行
. @7 U+ {7 }* J5 U这个阶段，这就是Megastore中的快速写。
4）使实体组失效：如果某些副本不接受多数派达成的共识值，将协调者记录的
实体组状态标记为失效。协调者失效操作返回前写操作不能返回客户端，从而防止
, [. J1 [  C" V用户的最新读取得到不正确的结果。
8 k+ v+ B4 {9 Q' F4 U! K5 i: g5）应用操作日志：将共识值在尽可能多的副本上应用生效，更新实体组的数据
和索引信息。
* ?% C- V. p2 K% N: q1 h6.2.9　讨论
$ e% B. E% W( g2 Y) _分布式存储系统有两个目标：一个是可扩展性，最终目标是线性可扩展；另外
一个是功能，最终目标是支持全功能SQL。Megastore是一个介于传统的关系型数据
库和分布式NoSQL系统之间的存储系统，融合了SQL和NoSQL两者的优势。
0 X9 q  Y' l( Y  U' Z  U3 s9 ?# uMegastore的主要创新点包括：
+ j- J6 `! t& H3 ]( z7 p9 O* o" [●提出实体组的数据模型。通过实体组划分数据，实体组内部维持关系数据库的
ACID特性，实体组之间维持类似NoSQL的弱一致性，有效地融合了SQL和NoSQL两
  _, q6 c( |% X# C者的优势。另外，实体组的定义方式也在很大程度上规避了影响性能和可扩展性的
Join操作。
●通过Paxos协议同时保证高可靠性和高可用性，既把数据强同步到多个机房，
又做到发生故障时自动切换不影响读写服务。另外，通过协调者和优化Paxos协议使
得读写操作都比较高效。
当然，Megastore也有一些问题，其中一些问题来源于Bigtable，比如单副本服
3 a/ R2 A* y  }' M务，SSD支持较弱导致Megastore在线实时服务能力上有一定的改进空间，整体架构
过于复杂，协调者对读写服务和运维复杂度的影响。因此，Google后续又开发了一
. C  l: k. y! a/ Y套革命性的Spanner架构用于解决这些问题。
6 N9 J& |" C+ z1 I( a) ^6 C" Q4 K' Q