redis的复制实现

欢迎阅读大魔王的睡前私语系列，这是Redis第八篇文章

---

复制

在Redis中，用户可以通过执行SLAVEOF命令或者设置slaveof选项，让一个服务器去复制（replicate）另一个服务器，我们称呼被复制的服务器为主服务器（master），而对主服务器进行复制的服务器则被称为从服务器（slave），如下图所示：

假设现在有两个Redis服务器，地址分别为127.0.0.1:6379和127.0.0.1:12345，如果我们向服务器127.0.0.1:12345发送以下命令：

127.0.0.1:12345 > SLAVEOF 127.0.0.1 6379
OK

那么 127.0.0.1:12345 将成为 127.0.0.1 6379 从服务器，而服务器127.0.0.1:6379则会称为127.0.0.1:12345的主服务器

进行复制中的主服务器双方的数据库将保存相同的数据，概念上将这种现象称为“数据库状态一致”。

旧版复制功能的实现

Redis的复制功能分为同步和命令传播两个操作：

• 同步操作用于将从服务器的数据库状态更新至主服务器当前所处的数据库状态
• 命令传播操作用于在主服务器的数据库状态被修改，导致主服务器的数据库状态出现不一致时，让主从服务器的数据库重新回到一致性

同步

当客户端向从服务器发送SLAVEOF命令，要求从服务器复制主服务器，从服务器首先需要执行同步操作，也即是，将从服务器的数据库状态更新至主服务器当前所处的数据库状态。

从服务器对主服务器的同步操作需要通过向主服务器发送SYNC命令完成，以下是SYNC命令的执行步骤：

1. 从服务器向主服务器发送SYNC命令
2. 收到SYNC命令的主服务器执行BGSAVE命令，在后台生成一个RDB文件，并使用一个缓冲区记录从现在开始执行的所有写命令。
3. 当主服务器的BGSAVE命令执行完毕时，主服务器会将BGSAVE命令生成的RDB文件发送个服务器，从服务器接收并载入这个RDB文件，将自己的数据库状态更新至主服务器执行BGSAVE命令时的数据库状态。
4. 主服务器将记录在缓冲区里面的所有写命令发送给从服务器，从服务器执行这些写命令，将自己的数据库状态更新至主服务器数据库当前所处的状态。

命令传播

在同步操作执行完毕之后，主从服务器两个的数据库达到一致状态，但每当主服务器执行客户端发送的谢明令，主服务器的数据库就可能会被修改，导致贮藏数据库状态不在一致。

为了让主从数据库再次回到一致性，主服务器需要对从服务器执行命令传播操作：主服务器将自己执行的写命令，发送给从服务器执行，当从服务器执行了相同的写命令之后，主从服务器将再次回到一致状态。

旧版复制功能的缺陷

Redis中，从服务器对主服务器的复制可以分为两种情况：

• 初次复制：从服务器以前没有复制过任何主服务器，或者从服务器当前要复制的主服务器和上一次复制的主服务器不同
• 断线后重新复制：：处于命令传播阶段的主从服务器因为网络原因而中断复制，但从服务器通过自动重连重新连上了主服务器，并且继续复制主服务器

旧版本的断线后重新复制效率较低，当断线重连后，从服务器再次发送SYNC命令给主服务器，从服务器接收和载入RDB文件将自己的数据库更新至主服务器数据库当前所处的状态。

当断线重连这种情况下，为了执行主服务器少量写命令产生的数据量通常比整个数据库的数据量要少得多，为了让从服务器补足一小部分缺失的数据，却要让主从服务器重新执行一次SYNC命令，这种做法非常低效。

SYNC命令是一个非常耗时的操作。每次执行SYNC命令，主从服务器需要执行以下动作：

• 主服务器需要执行BGSAVE命令来生成RDB文件，这个生成操作会耗费主服务器大量的CPU,内存和磁盘I/O资源
• 主服务器需要将自己生成的RDB文件发送给从服务器，这个发送操作会耗费主从服务器大量的网络资源，并且对主服务器响应命令灵丘的时间产生影响
• 接收到RDB文件的从服务器需要载入主服务器发送来的RDB文件，并且在载入期间，从服务器因为阻塞而没办法处理命令请求

新版复制功能实现

为了解决旧版本复制功能在断线复制的低效问题，Redis使用PSYNC命令代替SYNC命令来执行复制时的同步操作。

PSYNC命令具有完整重同步和部分重同步两种模式：

• 其中完整冲同步用于处理初次复制情况：完整冲同步的执行步骤和SYNC命令的执行步骤一致，都是通过主服务器发送RDB文件，从服务器载入执行。
• 部分重同步：用于处理断线后重复制的情况，当从服务器断线后重现连接上主服务器时，如果条件允许，主服务器可以将主从服务器连接断开期间执行的写命令发送给从服务器，从服务器主要接受并执行这些写命令，就可以将数据库更新至主服务器当前所处的状态

PSYNC命令的部分重同步模式解决了旧版本复制功能在处理断线重连后复制时出现的低效情况。当断线重连之后，执行以下步骤：

1. 从服务器向主服务器发送PSYNC命令
2. 主服务器向从服务器返回+CONTINUE回复，表示执行部分重同步
3. 从服务器接受+CONTINUE回复，准备执行部分重同步
4. 主服务器向从服务器发送断线期间主服务器执行的写命令

部分重同步的实现

部分重同步功能由以下三部分组成：

• 主服务器的复制偏移量（replication offset）和从服务器的复制偏移量
• 主服务器的复制积压缓冲区（replication backlog）
• 服务器运行ID（run ID）

复制偏移量

执行复制的双方——主服务器和从服务器分别维护一个复制偏移量

• 主服务器每次向从服务器传播N个字节的数据时，就将自己的复制偏移量的值加上N
• 从服务器每次收到主服务器传来的N个字节的数据时，就将自己的复制偏移量的值加上N

通过对比主从服务器的复制偏移量，程序可以分容易知道主从服务器是否处于一只状态：

• 如果主从服务器处于一致状态，那么主从服务器两者的偏移量总是相同的
• 相反，如果主从服务器两者的偏移量并不相同，那么说明主从服务器并未处于一致状态。

复制积压缓冲区

复制积压缓冲区是由主服务器维护的一个固定长度（fixed-size）先进先出的队列，默认大小为1MB。固定长度的先入先出队列不能随着元素的增加和减少而动态的调整长度，固定长度先进先出队列的长度是固定的，当入队元素的数量大于队列长度时，最先入队的元素会被弹出，而新元素会被放入队列

当主服务器进行命令传播时，它不仅会将写命令发送给所有从服务器，还会降所有写命令入队到复制积压缓冲区里面，如图所示：

因此，主服务器的复制积压缓冲区里面都保存这一部分最近传播的写命令，并且复制积压缓冲区会为队列中的每个字节记录响应的复制偏移量

当从服务器重新连接上主服务器时，从服务器会通过PSYNC命令将自己的复制偏移量offset发送给主服务器，主服务器会根据从服务器的复制偏移量来决定对从服务器执行何种同步操作：

• 如果offset偏移量之后的数据（即偏移量offset+1开始的数据）仍然存在于复制积压缓冲区里面，那么主服务器将对从服务器执行部分同步操作
• 相反，如果offset偏移量之后的数据已经不存在与复制积压缓冲区，那么主服务器将对从服务器执行完整同步操作

服务器运行ID

除了复制偏移量和复制积压缓冲器之外，实现部分重同步好需要用到服务器ID：

• 每个Redis服务器，不论主服务器还是从服务器，都会有自己的运行ID
• 运行ID在服务器启动时自动生成，由40个随机的十六进制的字符组成
  、

当从服务器对主服务器进行初次复制时，主服务器会将自己的运行ID传递给从服务器，而从服务器则将这个运行ID保存起来
当从服务器断线并重新连接上主服务器时，从服务器将当前连接的主服务器发送之前保存的运行ID：

• 如果从服务器保存的运行ID和当前连接的主服务器的运行ID相同，那么说明从服务器断线连接之前复制的就是当前连接的这个主服务器，主服务器可以继续尝试执行部分重同步操作
• 相反的，如果从服务器保存的运行ID和当前连接的主服务器的运行ID不同，那么说明从服务器断线之前复制的护服务器并不是当前连接的这个主服务器，主服务器将对从服务器执行完整的重同步操作

PSYNC命令的实现

PSYNC命令的调用方式有两种：

• 如果从服务器以前没有复制过任何主服务器，或者之前没有执行过SLAVEOF no one命令，那么从服务器开始一次新的㢟时将向从服务器发送PSYNC ？ -1命令，主动请求主服务器进行完整重同步。
• 相反的，如果从服务器已经复制过某个主服务器，那么从服务器在开始一次新的复制时将向主服务器发送PSYNC runid offset 命令：其中runid是上一次复制的主服务器额运行ID，而offset则是从服务器当前的复制偏移量，接收到这个命令的主服务器会通过这两个参数来判断应该对从服务器执行哪种同步操作

根据情况，接受到PSYNC命令的主服务器会向从服务器返回以下三种回复的其中一种：

• 如果主服务器返回+FULLRESYNC runid offset 回复，那么表示主服务器将与从服务器执行完整的重同步操作：其中runid时这个主服务器的运行ID，从服务器将这个ID保存起来，在下一次发送PASYNC命令使用；而offset则是主服务器当前的复制偏移量，从服务器会将这个值作为自己的初始化复制偏移量。
• 如果主服务器返回CONTINUE回复，那么表示主服务器将与从服务器执行部分重同步操作，从服务器只要等着主服务器将自己缺少的那部分数据发送过来就可以了
• 如果主服务器返回-ERR回复，那么表示主服务器的版本低于2.8，它识别不了PSYNC命令，从服务器将向主服务器发送SYNC命令，并且与车主服务器执行完整同步操作

复制的实现

通过向从服务器发送SLAVEOF命令，我们可以让一个从服务器去复制一个主服务器：

SLAVEOD <master_ip> <master_port>

步骤1：设置主服务器的地址和端口

从服务器首先呀做的就是将客户端给定的主服务器IP和短偶保存到服务器状态的materhost属性和masterport属性里面：

struct redisServer{
	//主服务器地址
	char *masterhost;
	//主服务的端口
	int masterport;
};

SLAVEOF命令是一个异步命令，在完成masterhost属性和masterport属性的设置工作之后，从服务器将向发送SLAVEOF命令的客户端返回OK，表示复制指令已经被接受，而实际的复制工作将在OK返回之后才真正开始执行。

步骤2：建立套接字连接

在SLAVEOF命令执行之后，从服务器将根据命令所设置的IP地址和端口，创建连向主服务器的套接字连接：

• 如果从服务器创建的套接字能成功连接到主服务器，那么从服务器将为这个套接字关联一个专门用于处理文件事件处理器，这个处理器将负责执行后续的复制工作，比如，接受RDB文件。
• 而主服务器在接受从服务器的套接字连接之后，将为该套接字创建相应的客户端状态，并将从服务器看作是一个连接到主服务器的客户端对待，这时舱服务器将同时具有服务器（server）和客户端（client）两个身份：从服务器可以向主服务器发送命令请求，而主服务器则会向从服务器返回命令回复

步骤3：发送PING命令

从服务器称为主服务器的客户端之后，做的第一件事就是向主服务器发送一个PING命令，这个PING命令的作用如下：

• 虽然主从服务器成功建立起套接字连接，但是双方并没有使用该套接字进行通信，通过发送PING命令可以检查套接字的读写状态是否正常
• 因为复制工作接下来几个步骤必须在主服务器可以正常处理命令请求的状态下才能进行，通过发送PING命令可以检查主服务器能否正常处理命令请求

从服务器发送PING命令之后将遇到以下三种情况

• 从服务器发送PING命令之后将遇到一个命令回复，但从服务器却不能在规定时限（timeout）内读取出命令回复内容，那么表示主从服务器之间的网络连接状态不佳，不能继续执行复制工作的后续步骤。当出现这种情况下，从服务器断开并重新创建连向主服务器的套接字
• 如果主服务器向从服务器返回一个错误，那么表示主服务器暂时没办法处理从服务器的命令请求，不能继续执行复制工作的后续步骤。当出现这种情况下，从服务器断开并重新创建爱你连向主服务器的套接字。
• 如果从服务器读到“PONG”回复，那么表示主从服务器之间的网络连接状态正常，并且主服务器可以正常处理从服务器发送的命令请求，在这种情况下，从服务器可以继续执行复制工作的下个步骤

步骤4：身份验证

从服务器在收到主服务器返回的“PONG”回复之后，下一步要做的是决定是否进行身份验证：

• 如果从服务器设置了masterauth选项，那么进行身份验证
• 如果从服务器没有设置masterauth选项，那么不进行身份验证

在需要进行身份验证的情况下，从服务器将向主服务器发送一条AUTH命令，命令的参数为从服务器masterauth选项的值。

从服务器在身份验证阶段可能遇到的情况如下：

• 如果主服务器没有设置requirepass选项，并且从服务器也没有设置masterauth选项，那么主服务器将继续执行从服务器发送的命令，复制工作可以继续执行
• 如果从服务器通过AUTH命令发送的密码和主服务器requirepass选项设置的密码相同，那么主服务器将继续执行从服务器发送的命令，复制工作可以继续进行。与此相反，如果主从服务器设置的密码不相同，那么主服务器将返回一个invalid password错误
• 如果主服务器设置了requirepass选项，但从服务器没有设置masterauth徐娘，那么主服务器将返回一个NOAUTH错误。另一方面，如果主服务器没有设置requirepass选项，但从服务器却设置了masterauth选项，那么主服务器将返回一个no password is set错误

从服务器在身份验证阶段可能遇到的情况，以及各个情况的处理方式如下图：

步骤5：发送端口信息

在身份验证步骤之后，从服务器将执行命令REPLCONF listening-port port-number，向主服务器发送给从服务器的监听端口号。

主服务在收到这个命令之后，将端口号记录在从服务器所对应的客户端状态的slave_listening_port属性中：

typedef struct redisClient{
	//从服务器的监听端口号
	int slave_listening_port;
}redisClient;

slave_listening_port属性目前唯一的作用就是在主服务器执行INFO replication命令时，打印出从服务器的端口号

步骤6：同步

在这一步，从服务器将向主服务器发送PSYNC命令，执行同步操作并将自己的数据库更新至主服务器数据库当前所处的状态。

同步操作执行之前，只有从服务器是主服务器的客户端，但是在执行同步操作之后，主服务器也会成为从服务器的客户端：

• 如果PSYNC命令执行的是完整重同步操作，那么主服务器需要称为从服务器的客户端，才能将保存在缓冲区里面的写命令发送给服务器执行
• 如果PSYNC命令执行的是部分重同步操作，那么主服务器需要成为从服务器的客户端，才能向从服务器发送保存在复制积压缓冲区里面的写命令

正因为主服务器成为了从服务器的客户端，所以从服务器才可以通过发送写命令来改变从服务器的数据库状态。

步骤7：命令传播

当完成同步操作之后，主从服务器就会进入命令传播阶段，这是主服务器只要将自己执行的写命令发送给从服务器，而从服务器只要一直接受并且执行主服务器发来的写命令，就可以保证主从服务器保持一致

心跳检测

在命令传播阶段，从服务器默认会以每秒一次的频率，向主服务器发送命令：

REPLCONF ACK  replicatioin_offset

其中REPLCONF ACK命令对主从服务器有三个作用：

• 检测主从服务器的网络连接状态
• 辅助实现min-slaves选项
• 检测命令丢失

检测主从服务器的网络连接状态

主从服务器可以通过接受和发送REPLCONF ACK命令来检查两者之间的网络连接是否正常：如果主服务器超过一秒没有收到从服务器发送的REPLCONF ACK命令，那么主服务器就知道主从服务器之间的连接出现问题。

复制实现main-slaves配置选项

Redis的min-slaves-to-write和min-slaves-max-log两个选项可以防止主服务器在不安全的情况下执行写命令。

例如，我们向主服务器提供以下设置：

min-slaves-to-write 3
min-slaves-max-log 10

那么在从服务器的数量少于3个，或者三个从服务器的延迟（lag）值都大于等于10秒，主服务器将拒绝执行写命令

检测命令丢失

如果因为网络故障，主服务器传播给从服务器的写命令在半路丢失，那么当从服务器向主服务器发送REPLCONF ACK命令时，主服务器将发觉从服务器当前的复制偏移量少于自己的复制偏移量，然后主服务器就会根据从服务器提交的复制偏移量，在复制积压缓冲区里面找到从服务器缺少的数据，并将这些数据重新发送给从服务器。操作如图所示：

主服务器向从服务器补发缺失数据这一操作的原理和缺失重同步操作的原理非常相似，这两个操作的区别在于，补发缺失数据操作在主服务器没有断线的情况下执行，而部分重同步操作则在主从服务器断线重连后执行