Bigkey 问题的解决思路与方式探索
作者:vivo 互联网数据库团队- Du Ting
在 Redis 运维过程中,由于 Bigkey 的存在,会影响业务程序的响应速度,严重的还会造成可用性损失,DBA 也一直和业务开发方强调 Bigkey 的规避方法以及危害。
一、背景
在 Redis 运维过程中,由于 Bigkey 的存在,会影响业务程序的响应速度,严重的还会造成可用性损失,DBA 也一直和业务开发方强调 Bigkey 的规避方法以及危害,但是 Bigkey 一直没有完全避免。全网 Redis 集群有 2200 个以上,实例数量达到 4.5 万以上,在当前阶段进行一次全网 Bigkey 检查,估计需要以年为时间单位,非常耗时。我们需要新的思路去解决 Bigkey 问题。
二、Bigkey 介绍
2.1、什么是 Bigkey
在 Redis 中,一个字符串类型最大可以到 512MB,一个二级数据结构(比如 hash、list、set、zset 等)可以存储大约 40 亿个(2^32-1)个元素,但实际上不会达到这么大的值,一般情况下如果达到下面的情况,就可以认为它是 Bigkey 了。
【字符串类型】: 单个 string 类型的 value 值超过 1MB,就可以认为是 Bigkey。
【非字符串类型】:哈希、列表、集合、有序集合等, 它们的元素个数超过 2000 个,就可以认为是 Bigkey。
2.2 Bigkey 是怎么产生的
我们遇到的 Bigkey 一般都是由于程序设计不当或者对于数据规模预料不清楚造成的,比如以下的情况。
【统计】:遇到一个统计类的 key,是记录某网站的访问用户的 IP,随着时间的推移,网站访问的用户越来越多,这个 key 的元素数量也会越来越大,形成 Bigkey。
【缓存】: 缓存类 key 一般是这样的逻辑,将数据从数据库查询出来序列化放到 Redis 里,如果业务程序从 Redis 没有访问到,就会查询数据库并将查询到的数据追加到 Redis 缓存中,短时间内会缓存大量的数据到 Redis 的 key 中,形成 Bigkey。
【队列】:把 Redis 当做队列使用,处理任务,如果消费出现不及时情况,将导致队列越来越大,形成 Bigkey。
这三种情况,都是我们实际运维中遇到的,需要谨慎使用,合理优化。
2.3 Bigkey 的危害
我们在运维中,遇到 Bigkey 的情况下,会导致一些问题,会触发监控报警,严重的还会影响 Redis 实例可用性,进而影响业务可用性,在需要水平扩容时候,可能导致水平扩容失败。
2.3.1 内存空间不均匀
内存空间不均匀会不利于集群对内存的统一管理,有数据丢失风险。下图中的三个节点是同属于一个集群,它们的 key 的数量比较接近,但内存容量相差比较多,存在 Bigkey 的实例占用的内存多了 4G 以上了。
可以使用使用 Daas 平台“工具集-操作项管理”,选择对应的 slave 实例执行分析,找出具体的 Bigkey。
2.3.2 超时阻塞
Redis 是单线程工作的,通俗点讲就是同一时间只能处理一个 Redis 的访问命令,操作 Bigkey 的命令通常比较耗时,这段时间 Redis 不能处理其他命令,其他命令只能阻塞等待,这样会造成客户端阻塞,导致客户端访问超时,更严重的会造成 master-slave 的故障切换。造成阻塞的操作不仅仅是业务程序的访问,还有 key 的自动过期的删除、del 删除命令,对于 Bigkey,这些操作也需要谨慎使用。
超时阻塞案例
我们遇到一个这样超时阻塞的案例,业务方反映程序访问 Redis 集群出现超时现象,hkeys 访问 Redis 的平均响应时间在 200 毫秒左右,最大响应时间达到了 500 毫秒以上,如下图。
hkeys 是获取所有哈希表中的字段的命令,分析应该是集群中某些实例存在 hash 类型的 Bigkey,导致 hkeys 命令执行时间过长,发生了阻塞现象。
1.使用 Daas 平台“服务监控-数据库实例监控”,选择 master 节点,选择 Redis 响应时间监控指标“redis.instance.latency.max”,如下图所示,从监控图中我们可以看到
(1)正常情况下,该实例的响应时间在 0.1 毫秒左右。
(2)监控指标上面有很多突刺,该实例的响应时间到了 70 毫秒左右,最大到了 100 毫秒左右,这种情况就是该实例会有 100 毫秒都在处理 Bigkey 的访问命令,不能处理其他命令。
通过查看监控指标,验证了我们分析是正确的,是这些监控指标的突刺造成了 hkeys 命令的响应时间比较大,我们找到了具体的 master 实例,然后使用 master 实例的 slave 去分析下 Bigkey 情况。
2.使用 Daas 平台“工具集-操作项管理”,选择 slave 实例执行分析,分析结果如下图,有一个 hash 类型 key 有 12102218 个 fields。
3. 和业务沟通,这个 Bigkey 是连续存放了 30 天的业务数据了,建议根据二次 hash 方式拆分成多个 key,也可把 30 天的数据根据分钟级别拆分成多个 key,把每个 key 的元素数量控制在 5000 以内,目前业务正在排期优化中。优化后,监控指标的响应时间的突刺就会消失了。
2.3.3 网络阻塞
Bigkey 的 value 比较大,也意味着每次获取要产生的网络流量较大,假设一个 Bigkey 为 10MB,客户端每秒访问量为 100,那么每秒产生 1000MB 的流量,对于普通的千兆网卡(按照字节算是 128MB/s)的服务器来说简直是灭顶之灾。而且我们现在的 Redis 服务器是采用单机多实例的方式来部署 Redis 实例的,也就是说一个 Bigkey 可能会对同一个服务器上的其他 Redis 集群实例造成影响,影响到其他的业务。
2.3.4 迁移困难
我们在运维中经常做的变更操作是水平扩容,就是增加 Redis 集群的节点数量来达到扩容的目的,这个水平扩容操作就会涉及到 key 的迁移,把原实例上的 key 迁移到新扩容的实例上。当要对 key 进行迁移时,是通过 migrate 命令来完成的,migrate 实际上是通过 dump + restore + del 三个命令组合成原子命令完成,它在执行的时候会阻塞进行迁移的两个实例,直到以下任意结果发生才会释放:迁移成功,迁移失败,等待超时。如果 key 的迁移过程中遇到 Bigkey,会长时间阻塞进行迁移的两个实例,可能造成客户端阻塞,导致客户端访问超时;也可能迁移时间太长,造成迁移超时导致迁移失败,水平扩容失败。
迁移失败案例
我们也遇到过一些因为 Bigkey 扩容迁移失败的案例,如下图所示,是一个 Redis 集群水平扩容的工单,需要进行 key 的迁移,当工单执行到 60%的时候,迁移失败了。
1. 进入工单找到失败的实例,使用失败实例的 slave 节点,在 Daas 平台的“工具集-操作项管理”进行 Bigkey 分析。
2. 经过分析找出了 hash 类型的 Bigkey 有 8421874 个 fields,正是这个 Bigkey 导致迁移时间太长,超过了迁移时间限制,导致工单失败了。
3.和业务沟通,这些 key 是记录用户访问系统的某个功能模块的 ip 地址的,访问该功能模块的所有 ip 都会记录到给 key 里面,随着时间的积累,这个 key 变的越来越大。同样是采用拆分的方式进行优化,可以考虑按照时间日期维度来拆分,就是一段时间段的访问 ip 记录到一个 key 中。
4.Bigkey 优化后,扩容的工单可以重试,完成集群扩容操作。
三、Bigkey 的发现
Bigkey 首先需要重源头治理,防止 Bigkey 的产生;其次是需要能够及时的发现,发现后及时处理。分析 Bigkey 的方法不少,这里介绍两种比较常用的方法,也是 Daas 平台分析 Bigkey 使用的两种方式,分别是 Bigkeys 命令分析法、RDB 文件分析法。
3.1 scan 命令分析
Redis4.0 及以上版本提供了--Bigkeys 命令,可以分析出实例中每种数据结构的 top 1 的 Bigkey,同时给出了每种数据类型的键值个数以及平均大小。执行--Bigkeys 命令时候需要注意以下几点:
建议在 slave 节点执行,因为--Bigkeys 也是通过 scan 完成的,可能会对节点造成阻塞。
建议在节点本机执行,这样可以减少网络开销。
如果没有从节点,可以使用--i 参数,例如(--i 0.1 代表 100 毫秒执行一次)。
--Bigkeys 只能计算每种数据结构的 top1,如果有些数据结构有比较多的 Bigkey,是查找不出来的。
Daas 平台集成了基于原生--Bigkeys 代码实现的查询 Bigkey 的方式,这个方式的缺点是只能计算每种数据结构的 top1,如果有些数据结构有比较多的 Bigkey,是查找不出来的。该方式相对比较安全,已经开放出来给业务开发同学使用。
3.2 RDB 文件分析
借助开源的工具,比如 rdb-tools,分析 Redis 实例的 RDB 文件,找出其中的 Bigkey,这种方式需要生成 RDB 文件,需要注意以下几点:
建议在 slave 节点执行,因为生成 RDB 文件会影响节点性能。
需要生成 RDB 文件,会影响节点性能,虽然在 slave 节点执行,但是也是有可能造成主从中断,进而影响到 master 节点。
Daas 平台集成了基于 RDB 文件分析代码实现的查询 Bigkey 的方式,可以根据实际需求自定义填写 N,分析的 top N 个 Bigkey。该方式相对有一定风险,只有 DBA 有权限执行分析。
3.3 Bigkey 巡检
通过巡检,可以暴露出隐患,提前解决,避免故障的发生,进行全网 Bigkey 的巡检,是避免 Bigkey 故障的比较好的方法。由于全网 Redis 实例数量非常大,分析的速度比较慢,使用当前的分析方法很难完成。为了解决这个问题,存储研发组分布式数据库同学计划开发一个高效的 RDB 解析工具,然后通过大规模解析 RDB 文件来分析 Bigkey,可以提高分析速度,实现 Bigkey 的巡检。
四、 Bigkey 处理优化
4.1 Bigkey 拆分
优化 Bigkey 的原则就是 string 减少字符串长度,list、hash、set、zset 等减少元素数量。当我们知道哪些 key 是 Bigkey 时,可以把单个 key 拆分成多个 key,比如以下拆分方式可以参考。
big list:list1、list2、...listN
big hash:可以做二次的 hash,例如 hash%100
按照日期拆分多个:key20220310、key20220311、key202203212
4.2 Bigkey 分析工具优化
我们全网 Redis 集群有 2200 以上,实例数量达到 4.5 万以上,有的比较大的集群的实例数量达到了 1000 以上,前面提到的两种 Bigkey 分析工具还都是实例维度分析,对于实例数量比较大的集群,进行全集群分析也是比较耗时的,为了提高分析效率,从以下几个方面进行优化:
可以从集群维度选择全部 slave 进行分析。
同一个集群的相同服务器 slave 实例串行分析,不同服务器的 slave 实例并行分析,最大并发度默认 10,同时可以分析 10 个实例,并且可以自定义输入执行分析的并发度。
分析出符合 Bigkey 规定标准的所有 key 信息:大于 1MB 的 string 类型的所有 key,如果不存在就列出最大的 50 个 key;hash、list、set、zset 等类型元素个数大于 2000 的所有 key,如不存在就给出每种类型最大的 50 个 key。
增加暂停、重新开始、结束功能,暂停分析后可以重新开始。
4.3 水平扩容迁移优化
目前情况,我们有一些 Bigkey 的发现是被动的,一些是在水平扩容时候发现的,由于 Bigkey 的存在导致扩容失败了,严重的还触发了 master-slave 的故障切换,这个时候可能已经造成业务程序访问超时,导致了可用性下降。
我们分析了 Daas 平台的水平扩容时迁移 key 的过程及影响参数,内容如下:
(1)【cluster-node-timeout】:控制集群的节点切换参数,master 堵塞超过 cluster-node-timeout/2 这个时间,就会主观判定该节点下线 pfail 状态,如果迁移 Bigkey 阻塞时间超过 cluster-node-timeout/2,就可能会导致 master-slave 发生切换。
(2)【migrate timeout】:控制迁移 io 的超时时间,超过这个时间迁移没有完成,迁移就会中断。
(3)【迁移重试周期】:迁移的重试周期是由水平扩容的节点数决定的,比如一个集群扩容 10 个节点,迁移失败后的重试周期就是 10 次。
(4)【一个迁移重试周期内的重试次数】:在一个起迁移重试周期内,会有 3 次重试迁移,每一次的 migrate timeout 的时间分别是 10 秒、20 秒、30 秒,每次重试之间无间隔。
比如一个集群扩容 10 个节点,迁移时候遇到一个 Bigkey,第一次迁移的 migrate timeout 是 10 秒,10 秒后没有完成迁移,就会设置 migrate timeout 为 20 秒重试,如果再次失败,会设置 migrate timeout 为 30 秒重试,如果还是失败,程序会迁移其他新 9 个的节点,但是每次在迁移其他新的节点之前还会分别设置 migrate timeout 为 10 秒、20 秒、30 秒重试迁移那个迁移失败的 Bigkey。这个重试过程,每个重试周期阻塞(10+20+30)秒,会重试 10 个周期,共阻塞 600 秒。其实后面的 9 个重试周期都是无用的,每次重试之间没有间隔,会连续阻塞了 Redis 实例。
(5)【迁移失败日志】:迁移失败后,记录的日志没有包括迁移节点、solt、key 信息,不能根据日志立即定位到问题 key。
我们对这个迁移过程做了优化,具体如下:
(1)【cluster-node-timeout】:默认是 60 秒,在迁移之前设置为 15 分钟,防止由于迁移 Bigkey 阻塞导致 master-slave 故障切换。
(2)【migrate timeout】:为了最大限度减少实例阻塞时间,每次重试的超时时间都是 10 秒,3 次重试之间间隔 30 秒,这样最多只会连续阻塞 Redis 实例 10 秒。
(3)【重试次数】:迁移失败后,只重试 3 次(重试是为了避免网络抖动等原因造成的迁移失败),每次重试间隔 30 秒,重试 3 次后都失败了,会暂停迁移,日志记录下 Bigkey,去掉了其他节点迁移的重试。
(4)【优化日志记录】:迁移失败日志记录迁移节点、solt、key 信息,可以立即定位到问题节点及 key。
五、总结
本文通过对 Bigkey 的分析,重点介绍了在运维中对 bigkey 问题的处理思路、解决方式。首先是需要从源头治理,防止 Bigkey 形成,DBA 应该加强对业务开发同学 bigkey 相关问题的宣导;其次是需要具备及时发现的能力,这个也是我们现在的不足之处。我们后面会从 Bigkey 巡检、Bigkey 分析工具的这两个方面,提高 Bigkey 发现能力。
参考资料:
版权声明: 本文为 InfoQ 作者【vivo互联网技术】的原创文章。
原文链接:【http://xie.infoq.cn/article/5d9a6b64987aafe10cdc6224d】。文章转载请联系作者。
评论