redis底层数据结构 -String

redis包含5种常用数据结构

String 、List、Hash、Set 、Zset

基础铺垫

以set为例 

redis其实可以理解为 K-V数据库,因此对每个键值对都会有一个 dictEntry,里面存储了指向 Key 和 Value 的指针;next 指向下一个 dictEntry,与本 Key-Value 无关

key

可以看出 key不是直接存的字符串,而是一个SDS结构 

 value

 value既不是存的String,也不是存的SDS结构,而且用的RedisObject结构   

RedisObject

实际上,不论 redis存储的值 是 5 种类型的哪一种,都是通过 RedisObject 来存的; 

  1. RedisObject 中的 type 字段指明了 要存的值的类型,即:String/List/Set/Zset/Hash中的一个;
  2. RedisObject 中的encoding表示底层使用的编码格式,为了提供存储效率和执行效率,每种数据类型的底层结构不止一种
  3. RedisObject 中的ptr 字段则指向对象所在的地址。可以看出,字符串对象虽然经过了 RedisObject 的包装,但仍然需要通过 SDS 存储。

所以,每种类型都是通过设置RedisObject中的这三个属性来实现存值的。

SDS结构与其他语言字符串结构比较

      1.获取字符串长度复杂度

由于SDS结构中含有len属性,所以获取字符串长度的复杂度为o(1);而对于其他语言来说,获取字符串的长度需要遍历字符串计数来实现,时间复杂度o(n);

     2.字符串的内存重分配次数

其他语言由于不记录字符串长度,所以要修改字符串必须重新分配内存。SDS实现了空间预分配和惰性释放两种策略:

  • 空间预分配:当SDS的API 对一个SDS进行修改,并且需要对SDS进行空间扩展的时候,不仅会为SDS分配修改所需的空间,还会为SDS额外分配空间,这样可以减少连续执行字符串增长操作所需内存分配次数。
  • 惰性释放:当 SDS 的 API 需要对 SDS 保存的字符串进行缩短时,程序并不立即使用内存重分配来回收缩短后多出来的字节,而是使用 free 属性将这些字节的数量记录起来,并等待将来使用,

     3.二进制安全

二进制安全(binary-safe):指能处理任意的二进制数据,包括非 ASCII 和 null 字节。C 字符串以空字符 '\0',作为字符串结束的标识,而对于一些二进制文件(如图片等),内容可能包括空字符串'\0',导致程序读入的空字符会被误认为是字符串的结尾,因此C字符串无法正确存取二进制数据;SDS 的 API 都是以处理二进制的方式来处理 buf 里面的元素,并且 SDS 不是以空字符串'\0'来判断是否结束,而是以 len 属性表示的长度来判断字符串是否结束,因此 Redis 不仅可以保存文本数据,还可以保存任意格式的二进制数据。

    4.C字符串函数兼容

SDS 的buf数组会以'\0'结尾,这样可以重用 C 语言库<string.h> 中的一部分函数,避免了不必要的代码重复。

    5.API安全性与缓冲区溢出

缓冲区溢出(buffer overflow):会存在这样的一种异常,当程序将数据写入缓冲区时,会超过缓冲区的边界,并覆盖相邻的内存位置。在 C 语言中使用 strcat 函数来进行两个字符串的拼接,一旦没有分配足够长度的内存空间,就会造成缓冲区溢出

由于 SDS 记录了自身长度,同时在修改时,API 会按照如下步骤进行:

(1)先检查SDS的空间是否满足修改所需的要求;

(2)如果不满足要求的话,API 会自动将 SDS 的空间扩展至执行修改所需的大小;

(3)然后才执行实际的修改操作;

所以SDS不会造成缓冲区溢出情况

一、String

 字符串存储过程分为两步:1、选择合适的SDS类型;2、选择合适的encoding编码格式;

1、选择合适的SDS类型

根据值value的长度选择对应的SDS类型

源码分析

根据位移计算可知 1<<8 = 2^8=256,单位是字节。也就是说,每种类型的SDS可存储的字节数如下:

SDS_TYPE_5 -- 32 Byte
SDS_TYPE_8 -- 256 Byte
SDS_TYPE_16 -- 64KB
SDS_TYPE_32 -- ...
SDS_TYPE_64 -- ...
        

2、选择合适的encoding编码格式

Redis的全部底层数据结构有:

redis_encoding_int (long类型的整数)

redis_encoding_embstr  (embstr编码的简单动态字符串)

redis_encoding_raw (简单动态字符串)

redis_encoding_ht (字典)

redis_encoding_linkedlist (双端链表)

redis_encoding_ziplist(压缩列表)

redis_encoding_intset(整数集合)

redis_encoding_skiplist(跳跃表和字典)

字符串的底层encoding编码结构是 int,raw 或者 embstr。

embstr 和 raw比较

好处:embstr 的使用只分配一次内存空间(因此 RedisObject 和 sds 是连续的),而 raw 需要分配两次内存空间(分别为 RedisObject 和 sds 分配空间)。因此与 raw 相比,embstr 的好处在于创建时少分配一次空间,删除时少释放一次空间,以及对象的所有数据连在一起,寻找方便。

坏处: 而embstr 的坏处也很明显,如果字符串的长度增加需要重新分配内存时,整个 RedisObject 和 sds 都需要重新分配空间,因此 Redis 中的 embstr 实现为只读。

如果一个字符串内容可转为 long,那么该字符串会被转化为 long 类型,对象 ptr 指向该 long,并且对象类型也用 int 类型表示。普通的字符串有两种 embstr 和 raw。如果字符串对象的长度小于 44字节,就用 embstr,否则用 raw。

为什么是44呢?

实际redis中存储数据的最小SDS结构是SDS_TYPE_8,结构:

可以看出,一个最小的SDS,至少占用3字节,再加上RedisObject的16个字节,也就是说一个最小的字符串是19个字节。

再了解下redis的内存分配器:jemalloc、tcmalloc。

这些内存分配器可以分配的大小2/4/8/16/32/64字节,可以看出最多分配64字节,即64K连续的内存。

64字节,减去RedisObject的16字节和SDS的3字节头信息,剩下45字节,再去除\0结尾,这样得出embstr可存储最大长度为64-16-3-1=44字节的字符串。 

底层数据编码格式转换

  • 当 int 数据不再是整数,或大小超过了 long 的范围时,自动转化为 raw。
  • 对于 embstr,由于其实现是只读的,因此在对 embstr 对象进行修改时,都会先转化为 raw 再进行修改。因此,只要是修改 embstr 对象,修改后的对象一定是 raw 的,无论是否达到了 44个字节。

ps:字符串追加空间扩展流程

 String的使用场景

number底层也是使用的String来实现的,所以可以用来实现自增、创建全局唯一的Id 、计数功能,另外还有分布式锁、位运算setbit

1)亿级用户登录

setbit date1225 101 1 //id=101的用户在1225日期登录

setbit date1225 90 1 //id=90的用户在1225登录过

setbit date1223 12 1 //id =12 在1223登录

bitcount date1225  //result :2    1225登录过2人

bitcount date1225 0 100   //result:1 前100个用户在1225登录了一人

strlen date1225 //  key:date1225保存的内容value大小是最大值101位除以8 = 12byte。所以bitmap的适用场景是数据量很大并且连续,否则value值占内存很大却保存的数据很少。

2)统计周活用户数

setbit date1225 10 1

setbit date1225 9 1

setbit date1225 7 1

setbit 1225 2 1

所以 1225日存储的数据是0 1 0 0 0 0 1 0 1 1

假如 1226登录的用户数据1 0 0 1 1 0 0 1 0 1

        1227登录的用户数据0 1 0 0 1 1 0 1 1 0

那么1225~1227的活跃用户有:

第一步:bitopt or user-num-1225~1227  date1225 date1226 date1227 ,三个日期每个用户登录标记取或运算。

第二步:bitcount user-num-1225~1227 = 9 

  • 3
    点赞
  • 15
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
1.redis支持的数据结构 string list hash set zset(基本回答) 加分项:另外redis还对这几种数据结构做了扩展,如GEO对位置计算,hyperLogLog做统计,bitmaps:redis底层存储value值都是存储的二进制数据,redis提供bitmaps(位图)可以直接访问或修改底层存储的二进制数据 2.redis线程模型 redis是单线程实现。 3.redis 提供的持久机制 redis 支持rdb和aof两种持久机制,redis4.0后支持混合持久化。rdb是定时的持久机制,宕机有可能会丢失最后一次持久化之后存在数据丢失。aof是基于操作日志追加的持久机制。(基本回答) 加分项: 1.rdb持久化原理 原理是redis会单独创建(fork)一个与当前进程一模一样的子进程来进行持久化, 这个子线程的所有数据(变量。环境变量,程序程序计数器等)都和原进程一模一样,会先将数据写入到一个临时文件中, 待持久化结束了,再用这个临时文件替换上次持久化好的文件 2.他什么时候fork子进程,或者什么时候触发rdb持久化机制 shutdown时,如果没有开启aof,会触发 配置文件中默认的快照配置 执行命令save或者bgsave save是只管保存,其他不管,全部阻塞 bgsave: redis会在后台异步进行快照操作,同时可以响应客户端的请求,但是在调用fork函数时是阻塞的,很快,可以忽略不计 执行flushall命令 但是里面是空的,无意义 3.aof原理? 原理是将Reids的操作日志以追加的方式写入文件,读操作是不记录的 2.触发机制(根据配置文件配置项) no:表示等操作系统进行数据缓存同步到磁盘(快,持久化没保证) always:同步持久化,每次发生数据变更时,立即记录到磁盘(慢,安全) everysec:表示每秒同步一次(默认值,很快,但可能会丢失一秒以内的数据) 以下问题都是基本回答: 4.redis支持事务吗 redis可以说是半支持事务(假事务),提供了一些在一定程度上支持线程安全和事务的命令。例如:multi/exec watch inc等。但是redis的事务并不支持回滚,即可以两个命令可以同时提交执行,但是如果有失败,成功的也不会回滚 5.你们公司使用的是什么集群模式 看你写的项目经验,如果你们公司数据量特别大,公司用缓存牛逼,就说Rediscluster,小公司可以说哨兵集群 1.哨兵模式 基本回答:哨兵主要就是启动哨兵(redis特殊)节点,对主节点进行监控,如果半数以上发现ping主节点不通了,认为主节点挂了,则进行故障转移,就是选出一个从节点代替主节点 2.Rediscluster集群模式 基本回答:Rediscluster是一个高可用集群,它基于分片(对key进行crc16,然后对16384取余)的原理,可以把他理解为是由多组哨兵集群组成,但是它不依赖哨兵 6.缓存穿透 缓存穿透指的是使用不存在的key进行大量的高并发查询,这导致缓存无法命中,每次请求都要穿透到后端数据库系统进行查询,数据库压力过大。 常用解决方案:将空值缓存起来。 其他解决方案:使用布隆过滤器(guava 19开始已支持布隆过滤器) 备注:如果你可以理解太白老师讲的基于redis位图自己实现的布隆过滤器,可以说说,更加分 7.缓存击穿 缓存击穿是指缓存中没有但数据库中有的数据(一般是缓存时间到期),这时由于并发用户特别多,同时读缓存没读到数据,又同时去数据库去取数据,引起数据库压力瞬间增大,造成过大压力 解决方案:1.互斥锁 如果项目不会多部署则可以使用jvm锁,如果会多部署则使用分布式锁 8.缓存雪崩 缓存雪崩指缓存服务器重启或者大量缓存集中在某一个时间段内失效 常用解决办法: 1.主要就是要搭建高可用集群,保证机器的高可用。 2.对不同的数据使用不同的失效时间,甚至对相同的数据、不同的请求使用不同的失效时间。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值