Redis集群方案
哨兵模式
在redis3.0以前的版本需要实现集群一般是借助于哨兵sentinel工具来监控master节点的状态,如果master异常,则会做主从切换,将某一台slave作为master,
哨兵的配置略微复杂,并且性能和高可用等方面表现一般,特别在主从切换的瞬间存在访问瞬断的情况,而且哨兵模式只有一个主节点对外进行服务,没法支持很高的
并发,而且单个节点内存也不宜设置的过大,否则会导致持久化文件过大,影响数据恢复或主从同步的效率。
高可用集群
redis集群是一个由多个主从节点群组组成的分布式服务器群,它具有复制、高可用和分片特性。redis集群不需要sentinel哨兵也能完成节点移除和故障
转移工鞥呢。需要将每个节点设置成集群模式,这种集群模式没有中心节点,可水平扩展,根据官方文档称:可以线性扩展到上万个节点(官方推荐不超过1000)。
redis集群的性能和高可用性均优于之前版本的哨兵模式,且集群配置非常简单。
Redis高可用集群搭建
redis集群至少三个master节点,我们这里搭建三个master节点,并且给每个master再搭建一个slave节点,总共6个redis节点,这里用三台机器部署6个实例。
每台机器一主一从,搭建步骤如下:
1 |
|
Java操作redis集群
借助redis的java客户端jedis可以操作以上集群,引用jedis坐标
1 | <dependency> |
Java编写访问redis集群代码:
1 | public class JedisClusterTest { |
集群Spring boot整合redis连接代码示例:redis-sentinel-cluster
- 引入依赖:
1 | <dependency> |
springboot项目核心配置:
1 | server: |
访问代码:
1 |
|
Redis集群原理分析
Redis Cluster将所有数据划分为16384个slot(槽位),每个节点负责其中一部分槽位。槽位的信息存储于每个节点中。
当Redis Cluster的客户端来连接集群时,它会得到一份集群的槽位配置信息,并将其缓存在客户端本地。这样当客户端要查找某个key时,可以直接定位到目标
节点。同时因为槽位的信息可能会存在客户端与服务器不一致的情况。还需要纠正机制来实现槽位信息的校验调整。
槽位定位
Cluster默认会对key值使用crc16算法进行hash得到一个整数值,然后用这个整数值对16384进行取摸到具体槽位。
HASH_SLOT = CRC16(key) mod 16384
跳转重定位
当客户端向一个错误的节点发出了指令,该节点会发现指令的key所在的槽位并不归自己管理,这时它会向客户端发送一个特殊的跳转指令携带目标操作的节点地址,
告诉客户端去链接这个节点去获取数据。客户端接收到指令后除了跳转到正确的节点上去操作,还会同步更新纠正本地的槽位映射表缓存,后续所有key将使用新的
槽位映射表。
Redis集群节点间的通信机制
redis cluster 节点间采用gossip协议进行通信
维护集群的元数据(集群节点信息,主从节点,节点数量,各节点共享的数据等)有两种方式:几种式和gossip
集中式
优点在于元数据的更新和读取,时效性非常好,一单元数据出现变更立即更新到集中式的存储中,其他节点读取的时候立即感知到;不足在于所有的元数据更新压力
集中在一个地方,可能导致元数据的存储压力。很多中间件都会借助zookeeper集中式存储元数据。
gossip
gossip协议包含多种消息,包括ping,pong,meet,fail等等。
meet:某个节点发送meet给新加入的节点,让新节点加入集群中,然后新节点就会开始与其他节点进行通信;
meet:某个节点发送meet给新加入的节点,让新节点加入集群中,然后新节点就会开始与其他节点进行通信;
ping:每个节点都会频繁给其他节点发送ping,其中包含自己的状态还有自己维护的集群元数据,互相通过ping交换元数据(类似自己感知到的集群节点增加
和移除hash slot信息等);
pong:对ping和meet消息的返回,包含自己的状态和其他信息,也可以用于信息广播和更新;
fail:某个节点判断另一个节点fail之后,就发送fail给其他节点,通知其他节点,指定的节点宕机了。
gossip通信的1000端口
每个节点都有一个专门用于节点间gossip通信的端口,就是自己提供的服务端口+10000,比如7001,那么用于节点通信的就是17001端口。每个节点间隔一段时间
就会往另外几个节点发送ping消息,同时其他节点接收到ping消息之后返回pong信息。
网络抖动
真实世界的机房网络往往并不是风平浪静的,他们经常会发生各种各样的小问题。比如网络抖动。突然之间部分链接变得不可访问,然后很快又恢复正常。
为解决这种问题,Redis cluster提供了一种选项cluster-node-timeout,表示当某个节点持续timeout的时间失联时,才可以认定该节点出现故障,需要进行
主从切换。如果没有这个选项,网络抖动会导致主从频繁切换(数据的重新复制)。
Redis集群选举原理分析
当slave发现自己的master变为FAIL状态时,进行failover,以期成为新的master。由于挂掉的master可能会有多个slave,从而存在多个slave竞争成为master
节点的过程,过程如下:
- slave发现自己的master变成fail
- 将自己记录的集群currentEpoch加1, 并广播failover_auth_request信息
- 其他节点接收到该信息,只有master响应,判断请求的合法性,并发送failover_auth_ack,对每一个epoch只发送一次ack.
- 尝试failover的slave搜集master返回的failover_auth_ack
- slave收到过半数master的ack后变成新的master(所以为什么至少要三个主节点,如果只有2个其中一个挂了,只剩一个节点是不能选举成功的)
- slave广播pong消息通知其他集群节点
从节点并不是在主节点已进入fail状态就马上尝试发生选举,而是有一定延迟,一定的延迟保证我们等待fail状态在集群中传播,slave如果立即选举,其他master
获取尚未意识到fail状态,可能会拒绝投票。
- 延迟计算公式
1 | DELAY = 500ms + random(0 ~ 500ms) + SLAVE_RANK * 1000ms |
SLAVE_RANK表示此slave已经从master复制数据的总量的rank。Rank越小代表已复制的数据越新。这种方式下,持有最新数据的slave将会首先发起选举(理论上)。
集群的一些问题
集群脑裂数据丢失问题
redis集群没有过半机制会有脑裂问题,网络分区导致脑裂后。多个主节点对外提供写服务,一旦网络分区恢复,会将其中一个主节点变为从节点,这时会有大量数据丢失。
规避方法可以在redis配置里加上参数(这种方法不可能百分百避免数据丢失,参考集群leader选举机制)
1 | min-replicas-to-write 1 //写数据成功最少同步的slave数量,这个数量可以模仿大于半数机制配置,比如集群总共三个节点可以配置1,加上leader就是2,超过了半数 |
注意:这个配置在一定程度上可能影响集群的可用性,比如slave少于1个,这个集群就算leader正常也不能提供服务,需要具体场景权衡。
集群是否完整才能对外提供服务
当redis.conf的配置cluster-require-full-coverage为no时,表示当负责一个插槽的主库下线且没有响应的从库进行故障恢复时,集群仍然可用,如果yes则集群不可用。
Redis集群为什么至少需要三个master节点,并且推荐节点数量为奇数
因为新master的选举需要大于半数的集群master节点同意才能选举成功。如果只有2个master节点,其中一个挂了,是达不到选举新master的条件的。
奇数个master节点可以在满足选举该条件的基础上节省一个节点,比如三个master节点和四个master节点的集群相比,大家如果都挂了一个master节点都能选举新的
master节点,如果都挂了2个master节点都没法选举新的master节点,所以奇数的master节点更多的是从节省机器资源角度考虑的。
Redis集群对批量操作命令的支持
对于类似mset,mget这样的多个key原生批量操作命令,redis集群只支持所有key落在同一个slot的情况,如果有多个key一定要用mset命令在redis集群上操作,
则可以在key的前面加上{xx},这样参数数据分片hash计算的只会是大括号里的值,遮掩功能确保不同的key能落到同一个slot里。示例如下:
1 | mset {user1}:1:name littlehui {user1}:1:age 18 |
假设name和age计算的hash slot值不一样,但是这条命令在集群下执行,redis只会用大括号里的 user1 做hash slot计算,所以算出来的slot值肯定相同,最后都能落在同一slot。
哨兵leader选举流程
当一个master服务器被某sentinel视为下线状态后,该sentinel会与其他sentinel协商选出sentinel的leader进行故障转移工作。每个发现master服务器进入下线的sentinel都可以要求其他sentinel选自己为sentinel的leader,选举是先到先得。同时每个sentinel每次选举都会自增配置纪元(选举周期),每个纪元中只会选择一个sentinel的leader。如果所有超过一半的sentinel选举某sentinel作为leader。之后该sentinel进行故障转移操作,从存活的slave中选举出新的master,这个选举过程跟集群的master选举很类似。
哨兵集群只有一个哨兵节点,redis的主从也能正常运行以及选举master,如果master挂了,那唯一的那个哨兵节点就是哨兵leader了,可以正常选举新master。
哨兵集群只有一个哨兵节点,redis的主从也能正常运行以及选举master,如果master挂了,那唯一的那个哨兵节点就是哨兵leader了,可以正常选举新master。
不过为了高可用一般都推荐至少部署三个哨兵节点。为什么推荐奇数个哨兵节点原理跟集群奇数个master节点类似。
分布式锁
分布式锁实现场景
互联网秒杀,抢优惠券,接口幂等性校验
实现原理
- setnx
- 原子加