redis cluster
redis cluster是redis的分布式解决方案,在redis 3.0版本推出后有效的解决了reids分布式方面的需求。redis cluster的主要特性有:
- 数据进行分片,在每个master上保存一部分数据
- 内置高可用支持,部分master不可用时,仍可提供服务
- 支持n个master节点,每个master node可以挂载多个slave node
- 支持自动选举机制,在master node故障时,会从slave node中选举出新的master,并进行切换
- 每个master节点都负责进行数据读写操作,每个节点之间会进行通信
redis cluster的虚拟槽分区(hash slot)
虚拟槽分区是redis cluster采用的分区方式。
- redis cluster为我们预设了16384个hash slot(范围0-16383),每一个hash slot映射一个数据子集。
- 数据子集中的key通过计算crc16的值,然后对16384取模,来确认对应的hash slot。
- 每个master管理一部分slot,根据master节点的数据平均分配。
- 由于数据保存在slot中,当节点扩容或缩容时,对slot进行重新分配迁移即可,数据不会丢失。
- 分配迁移slot的成本是非常低的(slot的总数只有16384个)
- redis cluster的节点之间会共享消息,每个节点都会知道是哪个节点负责哪个范围内的slot
节点间的内部通信机制
基础通信原理
- redis cluster节点间采取gossip协议进行通信
跟集中式不同,不是将集群元数据(节点信息,故障,等等)集中存储在某个节点上,
而是互相之间不断通信,保持整个集群所有节点的数据是完整的
- 集中式:好处在于,元数据的更新和读取,时效性非常好,一旦元数据出现了变更,
立即就更新到集中式的存储中,其他节点读取的时候立即就可以感知到;
不好在于,所有的元数据的更新压力全部集中在一个地方,可能会导致元数据的存储有压力- gossip:好处在于,元数据的更新比较分散,不是集中在一个地方,更新请求会陆陆续续,
打到所有节点上去更新,有一定的延时,降低了压力; 缺点,元数据更新有延时,可能导致集群的一些操作会有一些滞后
- 10000端口
- 每个节点都有一个专门用于节点间通信的端口,就是自己提供服务的端口号+10000,比如7001,那么用于节点间通信的就是17001端口
- 每个节点每隔一段时间都会往另外几个节点发送ping消息,同时其他几点接收到ping之后返回pong
- 交换的信息
故障信息,节点的增加和移除,hash slot信息,等
gossip协议
gossip协议包含多种消息,包括ping,pong,meet,fail
- meet: 某个节点发送meet给新加入的节点,让新节点加入集群中,然后新节点就会开始与其他节点进行通信
redis-trib.rb add-node
其实内部就是发送了一个gossip meet消息,给新加入的节点,通知那个节点去加入我们的集群 - ping: 每个节点都会频繁给其他节点发送ping,其中包含自己的状态还有自己维护的集群元数据,互相通过ping交换元数据
每个节点每秒都会频繁发送ping给其他的集群,ping,频繁的互相之间交换数据,互相进行元数据的更新 - pong: 返回ping和meet,包含自己的状态和其他信息,也可以用于信息广播和更新
- fail: 某个节点判断另一个节点fail之后,就发送fail给其他节点,通知其他节点,指定的节点宕机了
ping消息
- ping很频繁,而且要携带一些元数据,所以可能会加重网络负担
每个节点每秒会执行10次ping,每次会选择5个最久没有通信的其他节点 - 当然如果发现某个节点通信延时达到了cluster_node_timeout / 2,那么立即发送ping,避免数据交换延时过长,落后的时间太长了
- 比如说,两个节点之间都10分钟没有交换数据了,那么整个集群处于严重的元数据不一致的情况,就会有问题
所以cluster_node_timeout可以调节,如果调节比较大,那么会降低发送的频率 - 每次ping,一个是带上自己节点的信息,还有就是带上1/10其他节点的信息,发送出去,进行数据交换
至少包含3个其他节点的信息,最多包含总节点-2个其他节点的信息
消息头
ping和pong数据包包含所有类型的数据包(例如,请求故障转移投票的数据包)通用的消息头。
通用消息头具有以下信息:
- 节点id,在第一次创建节点时分配的160位伪随机字符串,在redis cluster节点的整个生命周期中都保持不变
- 节点标志,指示该节点是从节点,主节点还是其他节点信息
- 发送节点的哈希槽的位图
- 发送节点的tcp端口
- 发送节点的状态
- 发送节点的主节点id(如果它是从节点)
客户端路由
moved重定向
- 每个节点通过通信都会共享redis cluster中槽和集群中对应节点的关系
- 客户端向redis cluster的任意节点发送命令,接收命令的节点会根据crc16规则进行hash运算与16384取模,计算自己的槽和对应节点
- 如果保存数据的槽被分配给当前节点,则去槽中执行命令,并把命令执行结果返回给客户端
- 如果保存数据的槽不在当前节点的管理范围内,则向客户端返回moved重定向异常
- 客户端接收到节点返回的结果,如果是moved异常,则从moved异常中获取目标节点的信息
- 客户端向目标节点发送命令,获取命令执行结果
ask重定向
什么是ask重定向?
在对集群进行扩容和缩容时,需要对槽及槽中数据进行迁移
当客户端向某个节点发送命令,节点向客户端返回moved异常,告诉客户端数据对应的槽的节点信息
如果此时正在进行集群扩展或者缩容操作,当客户端向正在迁移的节点发送命令时,要操作的数据已经被迁移到别的节点了,就会返回ask,这就是ask重定向机制
步骤:
- 客户端向目标节点发送命令,目标节点中的槽正在迁移中,此时目标节点会返回ask重定向给客户端
- 客户端接收到ask后,向新的节点发起重定向操作,通过发送asking命令的方式来操作。
- 新节点执行命令,把命令执行结果返回给客户端
- 客户端接收ask重向后,并不会更新本地映射表(槽和集群中节点的对应关系)
多key操作(hash tags)
在redis cluster中,每个key对应的hash slot都各不相同,数据保存的节点也不尽相同。那么如何做到多个key的批量操作呢?
hash tags就是用来解决这个问题的,使用hash tags可以确保多个key映射到同一个hash slot中。
redis cluster中为了实现hash tags做了些特殊计算。
如果一个键包含一个 “{…}” 这样的模式,只有 { 和 } 之间的字符串会被用来做哈希以获取哈希槽
但是由于可能出现多个 { 或 },算的算法如下:
- 如果键包含一个 { 字符。
- 那么在 { 的右边就会有一个 }。
- 在 { 和 } 之间会有一个或多个字符,第一个 } 一定是出现在第一个 { 之后。
例如:
- abc{hello} yhn{hello}
- {abc}}hello {abc}}nihao
多key操作:
mset {user:1000}.name angela {user:1000}.surname white
参考资料: