redis 对象

时间:2022-02-07 10:35:52

redis通过前面几篇的数据结构构键了一个对象系统,这个对象系统包含了字符串对象,列表对象,哈希对象,集合对象,有序集合对象

每一个对象都是一个redisobject

typedef struct redisObject {

    // 类型
unsigned type:; // 编码
unsigned encoding:; // 指向底层实现数据结构的指针
void *ptr; // ... } robj;

type表示类型,有5种,就是

REDIS_STRING,REDIS_LIST,REDIS_HASH,REDIS_SET,REDIS_ZSET

编码表示的就是底层的实现,因为每一种对象都至少有两种以上的实现方式。ptr指向的就是底层实现的数据结构

字符串对象的编码可以是int,raw,embstr

int针对的是整数

如果字符串的长度小于39,那么使用embram,否则使用raw

embstr和raw的区别

(1)embstr是连续的,object和sds是一块连续的内存,这样的话分配内存和释放内存都不是两次,而是一次

(2)充分利用缓存的优势

double类型其实也是字符串类型的

当时用的时候会从字符串类型转换为double类型

int和embstr在满足条件的时候都会转换为raw编码,比如一个整数10085 appending一个字符串的话就不在是一个整数了

另外embsr不可以修改的,他是只读的,如果要修改的话,他会自动转换为raw之后再进行修改

列表对象:

列表对象的编码可以使压缩列表和双端链表,如果其中有字符串的话,字符串是字符串对象的表示,说明字符串对象可以被其他的对象嵌套

编码转换

(1)每一个元素得长度都小于64,

(2)数量小于512,

满足上面两个条件的话就是用压缩列表,否则的话使用双端链表

哈希对象

哈希对象的编码可以是压缩列表和字典

如下图所示

redis 对象

redis 对象

至于编码的转换,和上面的是一样的,如果两个都满足,就使用压缩列表,否则使用字典

ps:注意这两个限制条件在redis.conf的配置文件中是可以修改的

集合对象:

集合对象的编码可以是整数集合和hashtable

看下面:

redis 对象

redis 对象

编码的转换条件

(1)都是整数

(2)元素数量不超过512个

满足以上条件使用整数集合,否则的话使用hashtable

有序集合对象:

编码可以是压缩列表和跳跃表

压缩列表实现的话,使按照分值排序,并且存储的话对象在前,分值在后

redis 对象

redis 对象

zset中基于跳跃表实现的话,就是讲分值从小到大排序,建立一个跳跃表,但是额外还需要一个字典,记录对象和分值的映射,这样的话对于ZSCORE命令,我们可以在O(1)的时间复杂度就可以获得到指定对象的分值

两者结合,无论是有序遍历还是获得指定元素,都会择优选择,降低时间复杂度

redis 对象

编码转换

(1)长度都小于64

(2)数量不超过128个

这两个都满足就是用压缩列表,否者就是用skiplist作为编码

额外对于对象还有很多优化和处理

(1)多态:很多命令都是具有多态的性质,就是可以处理多种命令

在执行一个命令的时候,我们首先会根据值对象的类型去判断这个命令能否执行,如果可以的话,我们还会根据值对象的编码方式选择正确的API去执行

redis 对象

比如上面,我们就可以认为LLEN是多态的,多态可以包括基于类型的多态,和基于编码的多态

(2)内存管理:

对于redisobject我们基于引用计数原值,定义在redisobject结构里面的refcount int,当对象引用计数降低为0的时候,释放对象。这个有点类似windows线程回收机制,采用计数原值,关闭handle减一,线程函数退出减一,为0的时候自动回收线程资源

(3)对象共享:

redis中多个键的值一样的话,会使值指针只想一块内存,引用计数增加,redis服务器初始化的时候会默认创建0-9999字符串,所以他们的引用计数在还没使用的时候就是1了

(4)空转时长:

redisobject中有个lru,表示最后访问的时候

通过idletime可以求出多久没有被访问了,就是当前时间和lru时间差(空转时长)

但是ps(这个命令不会修改lru属性)

如果服务器设置了maxmemory选项,那么当内存达到上线了,服务器会优先空转时间长的进行释放