Redis 源码解析 - Redis 集群模式添加/删除节点

在Redis集群模式中，添加和删除节点的源码解析主要集中在cluster.c文件中，涉及到节点的发现、槽位（slot）的分配与迁移、以及集群状态的传播等关键环节。以下是具体解析：

添加节点

1. 节点相遇 (MEET):

   • 新节点启动后，需要通过向集群中现有的某个节点发送MEET消息来宣布自己的存在。这通常通过配置文件或启动参数指定已知节点列表来完成。
   • 相应的处理逻辑在clusterProcessMeetMessages函数中，集群节点会验证新节点的身份，并通过Gossip协议将其信息传播给其他节点。

2. 槽位分配:

   • 新节点加入集群后，需要为其分配槽位。这通常在人工介入下通过工具（如redis-trib.rb或redis-cli的集群管理命令）完成，或者通过自定义脚本调用相应的API。
   • 分配槽位的逻辑涉及调用clusterAddSlotsToNode函数，它会修改节点状态并更新槽位分配信息，然后通过Gossip传播这些变更。

删除节点

1. 节点下线检测:

   • Redis集群通过监控PING/PONG消息来检测节点是否下线。长时间未收到PONG响应的节点会被标记为FAIL状态。
   • 故障检测逻辑在clusterUpdateState和clusterProcessPing等函数中实现。

2. 槽位迁移与故障转移:

   • 当一个主节点被认为下线时，集群可能会触发故障转移流程，选择一个从节点晋升为主节点，并迁移原主节点负责的槽位。
   • 故障转移的决策和执行在clusterFailover函数中，涉及新主节点的选择、槽位迁移以及集群状态的更新。

3. 节点删除确认:

   • 正式从集群中删除节点（非故障转移情况），通常需要手动操作，包括使用工具或API明确从集群中移除节点及其槽位。
   • 实际操作中可能包括调用类似clusterDelSlotsFromNode来清除节点的槽位分配，随后更新集群视图并传播这些变化。

Gossip协议在添加/删除节点中的作用

• 在整个过程中，Gossip协议扮演着信息传播的角色，确保节点状态、槽位分配等集群元数据的变化能迅速扩散至整个集群。
• 当节点添加或删除时，相关的状态更新信息（如新节点的加入、槽位的重新分配）会通过PING/PONG消息中的集群状态摘要传播，维持集群的一致性。

源码阅读建议

• 仔细阅读cluster.c中的函数，特别是与节点状态管理、槽位分配、故障转移相关的逻辑。
• 注意跟踪Gossip消息的构造与处理流程，理解其在集群信息同步中的作用。
• 实践中，可以结合Redis提供的集群管理工具或直接使用redis-cli的集群命令，观察执行添加/删除节点操作时的底层日志输出，辅助理解源码逻辑。