深入浅出Redis之集群

最新推荐文章于 2025-09-19 19:51:57 发布

木唯韵

最新推荐文章于 2025-09-19 19:51:57 发布

阅读量436

点赞数

CC 4.0 BY-SA版权

文章标签： redis 数据库 java

本文链接：https://blog.csdn.net/muweiyun/article/details/129568097

Redis集群通过分片技术处理数据，每个节点可处理0-16384个槽，节点间通过CLUSTERMEET等命令建立联系。槽分配状态影响集群上线/下线，节点使用CLUSTERADDSLOTS指派槽。在执行命令时，节点判断键所属槽并处理或返回MOVED错误引导客户端。集群支持在线重新分片，使用复制和故障转移保证高可用性，从节点在主节点下线时接管。

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

节点

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

启动节点

一个节点就是一个运行在集群模式下的Redis服务器，Redis服务器在启动时会根据cluster-enabled配置选项是否为yes来决定是否开启服务器的集群模式，如图17-6所示。

节点(运行在集群模式下的 Redis服务器）会继续使用所有在单机模式中使用的服务器组件。

集群数据结构P264

CLUSTER MEET命令的实现 P268

槽指派

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

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

记录节点的槽指派信息

clusterNode 结构的slots属性和numslot属性记录了节点负责处理哪些槽:

slots属性是一个二进制位数组（ bit array)，这个数组的长度为16384/8=2048个字节，共包含16384个二进制位。

Redis 以0为起始索引，16383为终止索引，对slots数组中的16384个二进制位进行编号，并根据索引i上的二进制位的值来判断节点是否负责处理槽i:

如果slots 数组在索引i上的二进制位的值为1，那么表示节点负责处理槽i

如果slots数组在索引i上的二进制位的值为0，那么表示节点不负责处理槽i。

传播节点的槽指派信息

一个节点除了会将自己负责处理的槽记录在clusterNode结构的slots属性和numslots属性之外，它还会将自己的slots数组通过消息发送给集群中的其他节点,以此来告知其他节点自己目前负责处理哪些槽。

记录集群所有槽的指派信息P272

CLUSTER ADDSLOTS命令的实现 P274

当客户端对17-16所示的节点执行命令:

CLUSTER ADDSLOTS 1 2

将槽1和槽⒉指派给节点之后，节点的clusterstate结构将被更新成图17-17所示的样子:

clusterstate.slots 数组在索引1和索引2上的指针指向了代表当前节点的

clusterNode 结构。

并且clusterNode.slots数组在索引1和索引2上的位被设置成了1。

在集群中执行命令

在对数据库中的16384个槽都进行了指派之后，集群就会进入上线状态，这时客户端就可以向集群中的节点发送数据命令了。

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

如果键所在的槽正好就指派给了当前节点，那么节点直接执行这个命令。

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

计算键属于哪个槽

节点使用以下算法来计算给定键key属于哪个槽:

其中CRC16(key)语句用于计算键key的CRC-16校验和，而& 16383语句则用于计算出一个介于0至16383之间的整数作为键key的槽号。

使用CLUSTER KEYSLOT<key>命令可以查看一个给定键属于哪个槽。

判断槽是否由当前节点负责处理

当节点计算出键所属的槽i之后，节点就会检查自己在clusterstate.slots数组中的项i，判断键所在的槽是否由自己负责:

1）如果clusterstate.slots [i]等于clusterstate.myself，那么说明槽i由当前节点负责，节点可以执行客户端发送的命令。

2）如果clusterstate.slots [ i]不等于clusterstate.myself，那么说明槽i并非由当前节点负责，节点会根据clusterstate.slots[i]指向的clusterNode结构所记录的节点IP和端口号，向客户端返回MOVED错误，指引客户端转向至正在处理槽i的节点。

MOVED错误

当节点发现键所在的槽并非由自己负责处理的时候，节点就会向客户端返回一个MOVED错误，指引客户端转向至正在负责槽的节点。

节点数据库的实现

集群节点保存键值对以及键值对过期时间的方式，与第9章里面介绍的单机Redis服务器保存键值对以及键值对过期时间的方式完全相同。

节点和单机服务器在数据库方面的一个区别是，节点只能使用0号数据库，而单机Redis 服务器则没有这一限制。

slots_to_keys跳跃表每个节点的分值（score)都是一个槽号，而每个节点的成员( member)都是一个数据库键:

每当节点往数据库中添加一个新的键值对时，节点就会将这个键以及键的槽号关联到slots_to_keys跳跃表。

当节点删除数据库中的某个键值对时，节点就会在slots_to_keys跳跃表解除被删除键与槽号的关联。

通过在slots_to_keys跳跃表中记录各个数据库键所属的槽，节点可以很方便地对属于某个或某些槽的所有数据库键进行批量操作，例如命令CLUSTER GETKEYSINSLOT<slot><count>命令可以返回最多count个属于槽slot的数据库键，而这个命令就是通过遍历slots_to_keys跳跃表来实现的。