Redis 学习笔记（五）高可用之主从模式

admin

1 {" b5 z8 e2 `$ |5 y<p>上一节提到了 Redis 的持久性，也就是在服务器实例宕机或故障时，拥有再恢复的能力。但是在这个服务器实例宕机恢复期间，是无法接受新的数据请求。对于整体服务而言这是无法容忍的，因此我们可以使用多个服务器实例，在一个实例宕机中断时，另外的服务器实例可以继续对外提供服务，从而不中断业务。Redis 是如何做的呢？Redis 做法是<strong>增加冗余副本</strong>，<strong>将一份数据同时保存在多个实例</strong>上。那么如何保存各个实例之间的数据一致性呢？Redis 采用<strong>主从库读写分离模式</strong>来保证数据副本的一致性。</p>
<h2 id="一主从复制介绍">一、主从复制介绍</h2>
" y- u2 N- `* r! _' z<p>在 Redis 中提供复制的服务器称为主服务器（master）,被主服务器进行复制的服务器称为从服务器（slave ）。但是在复制方式上有所区别，主从库之间采用的是读写分离的方式：</p>
<ul>
9 L7 Z  u: _. p& |3 K<li><strong>读操作</strong>：主库和从库都可接收</li>
4 |( x) m# y8 g) Z7 c. S+ F8 L<li><strong>写操作</strong>：写操作先在主库中执行，然后再将操作同步给从库</li>
</ul>
<p><img src="https://img2022.cnblogs.com/blog/1707576/202202/1707576-20220211213252722-390582213.jpg" ></p>
<p>为何要采用读写分离，因为如果在不同实例上执行修改操作，要保证实例之间的一致性就必须加锁、实例间的协商等操作，会带来巨额的开销。如果采用读写分离，数据的修改迁移到主库上进行，然后再同步到从库上，就可以达到不使用锁达到数据一致性的效果。</p>
9 s2 S; N* p, }0 _<h2 id="二主从复制原理">二、主从复制原理</h2>
: }, e1 j- t) C3 {, b2 G<p>主从复制是如何进行复制的，是一次性全部复制，还是分批一批一批的复制？而且如果复制中网络中断，数据还能保持一致性吗，其内部原理是怎样的？Redis 的复制功能主要有两个操作：</p>
<ul>
, o% z1 G* C% K6 i& T' Y! \0 w% G<li>
<p><strong>同步（sync）</strong>：同步操作是将从库的数据状态更新至主库当前所处的状态，主要有全量复制和增量复制两种</p>
* q) ?1 P; b/ M; I9 o</li>
<li>
& e1 J0 t7 c, i0 J& V<p><strong>命令传播（command propagate）</strong>：命令传播是作用在主库的数据库状态被修改后，主从库之间的数据库状态出现不一致，让主从服务器的数据库状态重新回到一致性。</p>
</li>
</ul>
! `$ ]0 C# S4 ^$ Y<h3 id="21-同步操作">2.1 同步操作</h3>
<h4 id="211-全量复制">2.1.1 全量复制</h4>
: l8 H$ P' R( B2 n6 ^0 l. q1 p<p>在同步操作中，我们首先来看看全量复制，顾名思义也就是主库将所有的数据传送给从库。因为主从库初始化需要传输全部数据，所以第一次同步其实就是一次全量复制。当启动多个 Redis 实例时，主从库间就可以通过 <code>replicaof</code>(Redis 5.0 前使用的是 <code>slaveof</code>)命令形成主从库的关系，在这期间从库就会全量复制当前主库的数据库状态。主要分为三个阶段：</p>
# j3 f1 e. Y$ \3 S<ol>
( q- v% I' s. c" N- l<li>
4 e& T9 A9 ~* @- y" a6 Z  h<p><strong>主从库建立连接</strong>：主要是为全量复制做准备，在这一步，从库和主库建立起连接，告知主库进行数据同步，待主库确认回复后，主从库之间可以开始同步。主要的操作是从库给主库发送 <code>psync</code> 命令，主库根据这个命令参数来启动复制。而 <code>psync</code> 命令包含了主库的 <code>runID</code> 和 复制进度 <code>offset</code>两个参数：</p>
/ A5 d2 _" I# b; ~" E) S3 Z<ul>
<li><strong><code>runID</code></strong>: 是每个 Redis 实例启动时随机生成的 ID，它是用来唯一标记这个实例。而当主从库第一次复制时，从库不知道主库的 <code>runID</code> 。因此将 <code>runID</code> 设置为 “？”。</li>
<li><strong><code>offset</code></strong>：第一次设置为 -1，表示第一次复制</li>
( B' V9 h: ]  f( T3 e! l$ s+ |</ul>
1 Y9 c! k' `9 }# E2 z$ {3 ^<p>主库在接收到 psync 命令后，会利用 FULLRESYNC 响应命令带上两个参数：主库 <code>runID</code>和主库目前的复制进度 <code>offset</code> 来返回给从库。而从库在收到响应后会记录下主库传递的这两个参数。</p>
) |  C- v3 ^- k% l; [, V+ B</li>
& N8 _: n& [! Q: _; U* ?<li>
3 T5 ]9 N, Y' H7 N$ X- \<p><strong>主库将所有数据同步给从库</strong>：数据同步给从库后，从库接收到数据后，在本地完成数据加载。这个过程主要依赖于内存快照生成的 RDB 文件。</p>
<p>内部具体的流程是，主库先执行 <code>bgsave</code> 命令，执行持久化生成 RDB 文件，并将该文件发送给从库。从库在接收到 RDB 文件后，会先清空当前数据库，然后再加载 RDB 文件。</p>
" |  _" B/ }5 Q<p>在主库同步从库过程中，我们知道 <code>bgsave</code>命令系统会 fork 一个子线程来创建 RDB 文件，另外的主线程可以继续处理命令请求。而在同步过程中的新增的写操作，主库会在内存中用专门的 <code>replication buffer</code> 来记录这些写操作。</p>
* F6 l- u! j' p# V1 S</li>
# u0 i: F5 m& U. C  G5 o6 Q8 K<li>
' _& f3 R5 A0 e<p><strong>主库将新接收的写操作再发送给从库</strong>：当主库完成 RDB 文件发送后，就会将 <code>replication buffer</code> 中的写操作发送给从库，从库再执行这些写操作。到此完成所有的操作数据同步。</p>
! x/ v, _9 G4 H0 l# v</li>
# j* Y# t5 a) e% v</ol>
5 N' e$ t9 D. z. E5 K* e: G  m<p>结合一个实例来展示三个阶段：</p>
<p>现有两个实例，实例1（ip: 172.16.19.3）和实例 2（ip: 172.16.19.5）。在从实例2上执行以下命令后，实例2 就变成了实例 1 的从实例。执行以下命令后，实例2 就变成了实例1 的从库，并开始复制数据：</p>
: S4 s( n( G4 j0 s+ S# D9 u<pre><code class="language-sh">replicaof 172.16.19.3 6379
</code></pre>
3 n1 F; c; n" U& N( O<p><img src="https://img2022.cnblogs.com/blog/1707576/202202/1707576-20220211213311291-1707870632.jpg" ></p>
<h4 id="212-主从从模式复制">2.1.2 主从从模式复制</h4>
<p>在一次全量复制中，对于主库而言需要完成两个消耗资源的操作：发送 RDB 文件和 <code>repl buffer</code> 文件。所以如果请求的从库数量较多时，虽然主库会 fork 子线程进行生成 RDB 文件，但是从库请求数量过多，也会导致主线程 fork 操作过多，最终也会阻塞主线程的其他正常请求。所以，为了解决这个问题，我们可以<strong>通过 “主-从-从”模式来将主库生成 RDB 和传输 RDB 的压力，以级联的方式分散到从库上</strong>。如下图：</p>
<p><img src="https://img2022.cnblogs.com/blog/1707576/202202/1707576-20220211213330954-674647319.jpg" ></p>
<p>具体操作是: 在部署主从集群的时候，手动选择一个从库（比如选择内存资源配置较高的从库）用于级联其他的从库。然后可以再选择一些从库（如三分之一的从库），在这些从库上执行下面命令，让它们和刚才所选的从库建立起主从关系：</p>
% a4 R+ Y3 _% u* b; Y0 R# G  C<pre><code class="language-sh">replicaof 所选从库的IP 6379
- e' I' t* ~' D8 ~, ]; ~' m* M</code></pre>
<p>这样，这些级联的从库不用和主库进行交互，而只需要和连接的从库进行写操作同步即可。这样就可以减轻主库的压力了。</p>
<h4 id="213-增量复制">2.1.3 增量复制</h4>
( X$ x& l! d4 m- ~6 M. v<p>在主从库完成第一次的全量复制后，它们会形成一个网络连接，主库会通过这个连接将后续收到的命令操作再同步给从库。这个过程也称作为<strong>基于长连接的命令传播</strong>。这个长连接可以避免频繁的建立连接开销，后续我们会再提命令传播。</p>
<p>那么为什么需要增量复制呢，因为连接过程中存在着<strong>网络连接和阻塞</strong>，如果网络连接中断，主从库之间就无法实现命令传播。那如果再次进行全量复制，其开销就有点得不偿失。所以新设计出了增量复制，而与全量复制不相同，增量复制只会把主从库网络断联期间主库收到的命令同步给从库。其中重点就是利用<code>repl_backlog_buffer</code> 缓冲区，上面我们知道，在全量复制时，主库会把写操作命令写入 <code>replication buffer</code> ，与此同时，也会把这些操作命令写入 <code>repl_backlog_buffer</code> 缓冲区中（<code>repl_backlog_buffer</code> 是一个环形缓冲区，主库会记录自己写到的位置，从库则会记录自己已经读到的位置）。如下图：</p>
<p><img src="https://img2022.cnblogs.com/blog/1707576/202202/1707576-20220211213421342-676422844.jpg" ></p>
<p>主库在缓冲区的写位置偏移量就是 <code>master_repl_offset</code>，从库的读位置偏移量是 <code>slave_repl_offset</code>。正常情况下两个偏移量基本相等。</p>
: K: w+ g+ w$ _6 ]1 o- }- Q/ R  W<p>接下来我们看看网络连接断开时，主库有可能会收到新的写操作命令，一般而言，<code>master_repl_offset</code>会大于 <code>slave_repl_offset</code>。所以当主从库网络连接后，主库只需要将 <code>master_repl_offset</code> 和 <code>slave_repl_offset</code> 中间的命令操作同步给从库。</p>
3 Y7 U8 p5 C& N& j" @' k' n<p>如上图中的 <code>repl_backlog_buffer</code>示意图，主库和从库之间相差了<code>put d e</code>和 <code>put d f</code> 两个操作，在增量复制时，主库只需要将它们同步给从库即可。</p>
: z$ ?! O% Q$ L  `. m<p>我们再来看一下增量复制的流程：</p>
* M2 m) f3 G$ c1 q* b5 [<p><img src="https://img2022.cnblogs.com/blog/1707576/202202/1707576-20220211213439896-844044503.jpg" ></p>
- x& L* r- v4 p4 [% S6 j/ A<p><code>repl_backlog_buffer</code> 是一个环形缓冲区，所以存在这样的情况：在缓冲区写满后，主库会继续写入，这样就会覆盖之前的写操作，那么这有可能就会导致主从库之间的数据不一致。此时，我们可以调整 <code>repl_backlog_size</code> 这个参数，实际情况下可以根据应用调整 <code>repl_backlog_size</code> 的大小。</p>
9 c/ s4 q6 ?; W. r1 o* {<h3 id="22-命令传播">2.2 命令传播</h3>
<p>在上述初始化全量复制结束后，主从库两者的数据库状态达到一致完成了同步，后面两者则处于长连接状态。此时主库只需要一直将自己执行的写命令发送给从库，从库一直接收并执行主库发来的写命令即可保证主从库的数据一致性了。这个时候主从库会互相成为对方的客户端。</p>
' L" D4 C' a" J+ g' o0 q& d<h4 id="221-主库的命令传播">2.2.1 主库的命令传播</h4>
/ H% \- x8 i- t3 O; j<p>当完成了同步之后，主从库就会进入命令传播阶段，这时主库只要一直将自己执行的写命令发送给从库，而从库只要一 直接收并执行主库发来的写命令，就可以保证主从库保持数据操作一致性。</p>
<h4 id="222-从库的心跳检测">2.2.2 从库的心跳检测</h4>
<p>在该阶段，从库默认会以每秒一次的频率向主库发送命令：</p>
<pre><code class="language-sh">REPLCONF ACK &lt;replication_offset&gt;
& [- w4 p( m% X" \/ q</code></pre>
& X! [+ p0 @; e2 }+ L1 Z<ul>
<li>
<p>replication_offset 是从库当前的复制偏移量</p>
, ^2 D( q2 d, Z8 b% D</li>
6 V3 s$ o2 v# i) V<li>
( B6 X: b! ?) R2 j. M) |. a; Q7 g<p>REPLCONF ACK 命令的作用有</p>
<ul>
<li>
8 ~0 N- |, J+ l8 L* f; L( ~# N<p>检测主从库的网络连接状态：当主库超过一秒钟未收到从库发来的 REPLCONF ACK 命令，那么主库就会知道主从库之间连接出现问题。</p>
6 H* a4 f- I1 y: w# ^* q- ^, M</li>
+ i- o# {3 y3 d5 h<li>
<p>辅助实现 min-slaves 选项：Redis的<code>min-slaves-to-write</code>和<code>min-slaves-max-lag</code>两个选项可以防止主库在不安全的情况下执行写命令。</p>
<ul>
<li>
" D) x' q2 ?. L( K" G3 ?/ Z<p>举个例子，如果我们向主库提供以下设置：</p>
<pre><code class="language-sh">min-slaves-to-write 3
' M2 a9 d/ A2 w( x1 s  L' ^% R+ {min-slaves-max-lag 10
6 q- b. V9 J/ Y# u! O* p</code></pre>
- v" m. X0 W) ^<p>那么在从库的数量少于3个，或者三个从库的延迟（lag） 值都大于或等于10秒时，主库将拒绝执行写命令，这里的延迟值就是上面提到的INFO replication命令的lag值。</p>
' Z  O, D: Z4 Q$ {8 `4 S- s% c</li>
</ul>
</li>
8 S* }. x+ v% b) p5 y$ W<li>
<p>检测命令丢失: 如果因为网络故障，主库传播给从库的写命令在半路丢 失，那么<strong>当从库向主库发送REPLCONF ACK命令时，主库将发觉从库当前的复制偏移量少于自己的复制偏移量</strong>，然后主库就会根据从库提交的复制偏移量，在复制积压缓冲区（<code>repl_backlog</code>）里面找到从库缺少的数据，并将这些数据重新发送给从库。</p>
, F1 H# q5 x7 ?5 [' x</li>
</ul>
# V2 M; p  g+ h# j; Q" L</li>
</ul>
; L  x$ Q% a" l, H3 Y* y( J. ?2 h$ O<p>总结就是在传播命令阶段，主库通过向从库传播命令来更新从库的状态，保持主从库一致。而从库则通过向主库发送命令来进行心跳检测，以及命令丢失检测。</p>
  [8 L* N+ C2 {1 H5 `3 z* P<h2 id="三主从复制的面试题">三、主从复制的面试题</h2>
<h3 id="31-aof-记录的操作命令更全相比-rdb-丢失的数据更少那么为什么主从库间的复制不使用-aof-">3.1 AOF 记录的操作命令更全，相比 RDB 丢失的数据更少，那么为什么主从库间的复制不使用 AOF ?</h3>
<ul>
: T7 D% D: R# Z0 a9 u5 _" t* r<li><strong>RDB 文件是以压缩二进制的方式存储，文件小</strong>，所以在从库加载 RDB 文件时，速度会很快。而 AOF 需要依次重放每个写命令，过程相对 RDB 文件的方式要慢的多。</li>
: ^$ ^7 }% `2 C" r3 Y+ h<li>如果使用AOF 做全量复制，打开 AOF 功能需要选择文件刷盘的方式,选择不当会严重影响 Redis 的性能。而 RDB 持久化方式只需要定时备份和主从全量复制数据时才会触发生成一次快照。在大多数丢失数据不敏感的业务场景，其实是不需要开启 AOF 的。</li>
( _. v4 D" ?1 i4 Y+ M</ul>
) z; w  S) @; c5 a8 F8 ?8 v<h3 id="32-如何处理读写分离中的问题">3.2 如何处理读写分离中的问题</h3>
$ F; Q8 B% Y2 D) H) Z: O* |# i+ k<p>Redis 的读写分离可以实现 Redis 的读负载均衡，能够提高 Redis 服务器的并发量，但是在使用 Redis 读写分离时，也需要注意延迟不一致、数据过期问题。</p>
<h4 id="321-延迟与不一致问题">3.2.1 延迟与不一致问题</h4>
<p>对于命令传播阶段：因为命令传播阶段是异步操作，所以延迟与数据的不一致无法避免。有以下解决方式：</p>
! m9 l4 L2 ?. O<ul>
  f( B% S* {, L<li>若应用对数据不一致的接受程度较低，可以优化中从节点之间的网络环境、使用集群同时扩展写负载和读负载、监控主从节点延迟（offset）判断，若从节点延迟过大，则通知应用不再通过该从节点读取数据</li>
7 V+ `; D3 K% s  A$ \3 X! r</ul>
<p>对于非命令传播的其他阶段，可以对 <code>slave-serve-stale-date</code> 设置为 no 。则从节点只能响应 info、slaveof 等少数命令，可以保证对数据的一致性。</p>
+ `. l% t2 p6 |2 q* B<h4 id="322-数据过期问题">3.2.2 数据过期问题</h4>
, Y, T0 ^& |7 m8 A" g8 o1 `0 `<p>数据过期问题已经在<a  href="https://www.cnblogs.com/EthanWong/p/15866054.html"><em>Redis 的键管理</em></a> 中提到过，在单机 Redis 中存在惰性删除和定期删除两种删除策略。而在主从复制场景下，从库不会主动删除数据，主要通过主库控制从库中过期数据的删除。而主库的删除策略都不能保证主库及时对过期数据执行删除操作，所以当客户端通过 Redis 从库读取数据时很容易读取到已经过期的数据。</p>
4 N1 r- ~  k+ Y8 B<h4 id="323-故障切换问题">3.2.3 故障切换问题</h4>
<p>在没有使用哨兵的读写分离场景下，建议写监控程序进行切换读写分别连接的 Redis 节点。针对于手动进行切换的方式更复杂但是不容易出错。</p>
2 K  K% _. T" v+ i4 V: y  N9 |<h4 id="总结">总结</h4>
<blockquote>
<p>在使用读写分离前，可以考虑其他方法增加Redis的读负载能力：如尽量优化主节点（减少慢查询、减少持久化等其他情况带来的阻塞等）提高负载能力；使用Redis集群同时提高读负载能力和写负载能力等。如果使用读写分离，可以使用哨兵，使主从节点的故障切换尽可能自动化，并减少对应用程序的侵入。</p>
</blockquote>
<h2 id="参考资料">参考资料</h2>
8 N3 R! k9 G  [. D1 J<p>《Redis 设计与实现》</p>
<p>《Redis 开发与运维》</p>
<p><a  href="https://pdai.tech/md/db/nosql-redis/db-redis-x-copy.html">https://pdai.tech/md/db/nosql-redis/db-redis-x-copy.html</a></p>
' M; v6 W! l# F6 X) u' z1 B/ w<p><a  href="https://time.geekbang.org/column/article/272852">https://time.geekbang.org/column/article/272852</a></p>
<p><a  href="https://kaiwu.lagou.com/course/courseInfo.htm?courseId=59#/detail/pc?id=1782">https://kaiwu.lagou.com/course/courseInfo.htm?courseId=59#/detail/pc?id=1782</a></p>