【Redis Cluster机器】redis cluster核心原理分析：gossip通信，jedis smart定位，主备切换

1. 基础通信原理

1.1 redis cluster 节点间采用gossip协议进行通信：

跟集中式不同，不是将机器元数据(节点，故障等信息)集中存储某一个节点上，而是互相通信，保持整个集群所有节点的数据都是完整的，这种协议叫做gossip协议。

集中式：
优点： 尤其以 zookeeper 为经典，将元数据的更新和读取，集中到某一个节点上，一旦元素局发生了变更，立即就更新到到集中的存储中，其他节点读取的时候就可以立刻感知到；

    缺点： 所有的元数据的更新压力集中到一个地方，可能会导致元数据的存储有压力。

gossip：
优点： 元素局的更新比较分散，不是集中在一个地方，更新请求会陆陆续续的发送到各个节点进行更新，有一定的延时，能一定程度上的降低元数据更新的压力。

    缺点： 元数据更新有延时，可能会导致集群的一些操作会有一些滞后。

1.2 10000端口

1. 每个端口都有一个专门用于节点通信的端口，就是自己提供服务的端口号+10000，比如6379，那么用于节点间通信的就是16379端口，每个节点每个一段事件都会往另外的几个节点发送ping消息，同时其他几个节点接收到ping之后，如果节点正常，就会返回pong。

1.3 交互的信息

1. 故障信息，节点的增加和删除，节点包含的的hash slot信息等等

2. gossip协议

gossip协议包含多种消息，包括ping，pong，meet，fail，等待

• meet：某个节点发送meet给新加入的节点，让新节点加入集群中，然后新节点就会开始与其他节点通信

redis-trib.rb add-node

其实内部就是发送一个gossip meet消息，给新加入的节点，通知哪个节点新加入到redis cluster集群中。

• ping：每个节点都会频繁给其他节点发送ping，其中包含自己的状态 还有自己维护的机器元数据，互相通过ping交互元数据。

每个节点每秒都会频繁发送ping给其他的机器，pign，频繁的互相之间交互数据，互相进行元数据的更新。

• pong: 通过ping和meet，包含自己的状态和其他信息，也可以用于信息的广播和更新

• fail：某个节点判断另外一个节点fail之后，就发送fail给其他节点，通知其他节点，指定节点宕机了。

3. ping消息深入

• 问题：ping很频繁，而且要携带一些元数据，所以可能会加重网络负担。

• 现状： 每个节点每秒会指定10次的ping，每次会选择5个最久没有通信的其他节点

当然如果发现某个节点通信延时达到了 cluster_node_timeout / 2,那么立即发送ping，避免数据交换延时过长，落后的时间太长了。

比如说，两个节点都10分钟没有交换数据了，那么整个集群处于严重元数据不一致的情况，就会有问题。

所以 cluster_noe_timeout可以调节，如果调节比较大，那么就会降低发送的频率。

每次ping，一个要带上自己节点的信息，还有就是带上1/10其他节点的信息，发送数据，进行数据交换。

4.面向集群的jedis内部实现原理-jedis cluster api

1. 基于重定向的客户端

redis-cli -c,自动重定向

1. 请求重定向

   1. 客户端会挑选任意一个redis实例去发送命令，每个redis实例接收到命令，都护计算key对应的hash slot，如果在本地就在本地处理，否则返回moved给客户端，让客户端进行重定向。

   Tip： cluster keyslot mykey，可以查看一个key对应的hash slot是多少，用redis-cli的时候，可以加入-c参数，支持自动的请求重定向，redis-cli接收到moved之后，会自动重定向到对应的节点执行命令。

2. 计算hash

   1. 计算hash slot的算法，就是根据key计算CRC16的值，然后对16384取模，拿到对应的hash slot，用hash tag可以手动指定key对应的slot，同一个hash tag下的key，都会在一个hash slot中。

set k1:{100} v1

set k2:{100} v2

以上两个key就会路由到同一个hash slot上，即就会落到同一个master上。

1. hash slot查找

节点间通过gossip协议进行数据交换，就知道每个hash slot在哪个节点上。

5. smart jedis

5.1 什么是 smart jedis

基于重定向的客户端，很消耗网络IO，因为大部分情况下，可能都会出现一次请求重定向，才能找到正确的节点。

所以大部分的客户端，比如java redis客户端，就是jedis，都是smart的。

本地维护一份hashslot -> node的映射表，缓存，大部分情况下，直接走本地缓存就可以找到hash slot -> node,不需要通过节点moved重定向。

5.2 jediscluster的工作原理

1. jediscluster 初始化的时候，就会随机选择一个node，初始化hashslot-> node映射表，同时为每个节点创建一个jedispool连接池。
2. 每次基于jedis cluster执行操作时，首先jedis cluster都会在本地计算key的hashslot，然后在本地映射表中找到对应的节点。
3. 如果那个node正好还是持有的那个hash slot，那么就ok；如果说进行了hashcard这样的操作，可能hashslot已经不在那个node上了，就会返回moved。
4. 如果jediscluster api发现对应的节点返回moved，那么利用该节点的元数据，更新本地的hashslot -> node映射表缓存。
5. 重复上面几个不在，知道找到对应的节点，如果重试了5次，那么就报错，JedisClusterMaxRedirectionException

jedis老版本，可能会出现在集群某个节点故障还没完成自动切换恢复时，频繁更新hash slot，频繁ping节点检查活跃，导致大量网络IO开销

jedis最新版本，对于这些过度的hash slot更新和ping，都进行了优化，避免了类似问题

5.3 hash slot迁移和ask重定向

如果hash slot正在迁移，那么会返回ask重定向给jedis

jedis 接收到ask重定向之后，就会重新定位到目标节点去执行，当时ask发生在hash slot迁移过程中，所以jedis cluster api收到ask是不会更新hashslot本地缓存。

已经可以确定的说，hashslot已经迁移完了，moved是更新本地hashslot->node映射表缓存的。

6. redis cluster 高可用性和主备切换原理（类似哨兵）

6.1 判断节点单机

主观宕机： 一个节点认为另外一个节点宕机，那么就是pfail。
客观宕机：如果多个节点都认为另外一个节点宕机了，那么就fail，客观宕机。

在 cluster-node-timeout内，某个节点一致没有返回pong，那么就会被认为pfail。

如果一个节点认为某个节点pfail，那么就会在gossip ping消息中，ping给其他节点，如果超过半数的节点都认为pfail了。那么就会变成fail，客观宕机。

6.2 从节点过滤

对宕机的master node，从其所有的slave node中，选择一个切换成master node，

检查每个slave node与master node断开连接的时间，如果超过了cluster-node-timeout * cluster-slave-validity-factor，那么就没有资格切换成master。

这个也是跟哨兵一样的。

6.3 从节点选举

• 哨兵：对所有从节点进行排序，slave priority，offset，run id

• 选举的时候进行slave节点排序(通过复制数据的offset来设置排序时间)：

  • 每个从节点，都根据自己对master复制数据的offset，来设置一个选举时间，offset越大(复制数据越多)的从节点，选举时间越靠前，优先进行选举。

• 如果超过半数的投票都给了某个节点，那么就可以切换slave成master：

  • 所有的master node开始slave选举投票，给要进行选举的slave 进行投票，如果大部分master node(n/2 + 1)都投票给了某个从节点，那个从节点可以切换成master。

从节点执行主备切换，从节点切换称为主节点。

6.4 与哨兵比较

整个流程个哨兵相比，比较相似，所有说redis cluster 集成了replication和sentinel的功能。