Redis集群原理

Redis集群是Redis提供的分布式数据库方案，集群通过分片来进行数据共享，并提供复制和故障转移功能。

1 节点

一个Redis集群通常由多个节点（node）组成，一个节点就是一个运行在集群模式下的Redis服务器，在刚开始的时候，每个节点都是相互独立的，它们都处于一个只包含自己的集群当中，要组建一个真正可工作的集群，必须将各个独立的节点连接起来，构成一个包含多个节点的集群。

连接各个节点的工作可以使用CLUSTER MEET命令来完成，该命令的格式如下：

CLUSTER MEET <ip> <port>

向一个节点node发送CLUSTER MEET命令，可以让node节点与ip和port所指的节点进行握手，当握手成功时，node节点就会将ip和port所指定的节点添加到node节点当前所在的集群中。

2 槽指派

Redis集群通过分片的方式来保存数据库中的键值对：集群的整个数据库被分为16384个槽（slot），数据库中的每个健都属于这16384个槽的其中一个，集群中的每个节点可以处理0个或最多16384个槽。

当数据库中的16384个槽都有节点在处理，集群处于上线状态（ok）；相反，如果，数据库中有任何一个槽没有得到处理，那么集群处于下线状态（fail）。

通过向节点发送CLUSTER ADDSLOTS命令，可以将一个或多个槽指派（assign）个节点负责：

CLUSTER ADDSLOTS <slot> [slot ...]

举个例子，执行以下命令可以将槽0至槽5000指派给节点7000负责：

127.0.0.1:7000>CLUSTER ADDSLOTS 0 1 2 3 4 ... 5000
ok

3 在集群中执行命令

所有的redis节点彼此互联(PING-PONG机制)，内部使用二进制协议优化传输速度和带宽。

客户端与redis节点直连,不需要中间proxy层.客户端不需要连接集群所有节点,连接集群中任何一个可用节点即可。

当客户端向节点发送与数据库健有关的命令时，接受命令的节点会计算出命令要处理的数据库健属于哪个槽，并检查这个槽是否指派给了自己：

• 如果健所在的槽正好就指派给了当前节点，那么节点直接执行这个命令；
• 如果健所在的槽并没有指派给当前节点，那么节点会向客户端返回一个MOVED错误，指引客户端转向（redirect）至正确的节点，并再次发送之前想要执行的命令。

4 复制与故障转移

Redis集群中的节点分为主节点（master）和从节点（slave），其中主节点用于处理槽，而从节点则用于复制某个主节点，并在被复制的主节点下线时，代替下线主节点继续处理命令请求。

4.1 故障检测

集群中每个节点都会定期地向集群中的其他节点发送PING消息，以此来检测对方是否在线，如果接受PING消息的节点没有在规定的时间内，向发送PING消息的节点返回PONG消息，那么发送PING消息的节点就会将接受PING消息的节点标记为疑似下线。

如果在一个集群里面，半数以上负责处理槽的主节点都将某个主节点x报告为疑似下线，那么这个主节点x将被标记为已下线，将主节点x标记为已下线的节点会向集群广播一条关于主节点x的FALL消息，所有收到这条FALL消息的节点都会立即将主节点x标记为已下线。

4.2 故障转移

当一个从节点发现自己正在复制的主节点进入了已下线状态时,从节点将开始对下线主节点进行故障转移,以下是故障转移的执行步骤:

1. 复制下线主节点的所有从节点里面,会有一个从节点被选中。
2. 被选中的从节点会执行SLAVEOF no one命令,成为新的主节点。
3. 新的主节点会撤销所有对已下线主节点的槽指派,并将这些槽全部指派给自己。
4. 新的主节点向集群广播一条PONG消息,这条PONG消息可以让集群中的其他节点立即知道这个节点已经由从节点变成了主节点,并且这个主节点已经接管了原本由已下线节点负责处理的槽。
5. 新的主节点开始接收和自己负责处理的槽有关的命令请求,故障转移完成。

4.3 选举新的主节点

新的主节点是通过选举产生的。

以下是集群选举新的主节点的方法:

1. 集群的配置纪元是一个自增计数器,它的初始值为0.

2. 当集群里的某个节点开始一次故障转移操作时,集群配置纪元的值会被增一。

3. 对于每个配置纪元,集群里每个负责处理槽的主节点都有一次投票的机会,而第一个向主节点要求投票的从节点将获得主节点的投票。

4. 当从节点发现自己正在复制的主节点进入已下线状态时,从节点会向集群广播一条CLUSTERMSG_TYPE_

   FAILOVER_AUTH_REQUEST消息,要求所有收到这条消息、并且具有投票权的主节点向这个从节点投票。

5. 如果一个王节点具有投票权(它正在负责处理槽),并且这个主节点尚未投票给其他从节点,那么王节点将同要求投票的从节点返回一条CLUSTERMSG_TYPE_FAILOVER_AUTH_ACK消息,表示这个主节点支持从节点成为新的主节点。

6. 每个参与选举的从节点都会接收CLUSTERMSG_TYPE_FAILOVER_AUTH_ACK消息,并根据目己收到了多少条这种消息来统计自己获得了多少主节点的支持。

7. 如果集群里有N个具有投票权的主节点,那么当一个从节点收集到大于等于N/2+1张支持票时,这个从节点就会当选为新的主节点。

8. 因为在每一个配置纪无里面,每个具有投票权的主节点只能投一次票,所以如果有N个主节点进行投票,那么具有大于等于N/2+1张支持票的从节点只会有一个,这确保了新的主节点只会有一个。

9. 如果在一个配置纪元里面没有从节点能收集到足够多的支持票,那么集群进入一个新的配置纪元,开再次进行选举,直到选出新的主节点为止。

5 参考资料

黄健宏著《Redis设计与实现》第17章