一：摘要概述

redis的使用者都可以如数家珍的掏出Redis中常用的对象如string、list、hash、set、zset,一些场景比较丰富的使用者可能会说布隆过滤器、geoHash等。但是对于这些对象底层实现的数据结构却是知之甚少,本文作为redis学习第一篇文章,将会详细阐述redis中的底层数据结构

二：SDS

string作为redis中常用对象之一,普遍用于用户信息缓存等场景。当string对象中encoding编码为embstr或raw时都是采用sds作为其底层实现

2.1 SDS结构

源码文件位于redis安装目录src下的sds.h,sds声明了五种头部类型,分别为sdshdr5、sdshdr8、sdshdr16、sdshdr32、sdshdr64。根据字符串长度创建不同头部的sds实例

struct __attribute__ ((__packed__)) sdshdr8 {
    uint8_t len; 
    uint8_t alloc;
    unsigned char flags;
    char buf[];
};

属性名称	作用含义
len	字符串长度
alloc	预分配空间大小
flags	低三位用于表示sds类型,可以查看sds.h文件76-82行定义
buf[]	存储字符串用数组

2.2 SDS与C字符串区别

区别	描述
长度计算	c中的字符串长度计算需要数组遍历,但是redis中的sds自身维护了len属性。所以O(1)时间复杂度即可
缓冲区溢出	c中字符串更改如果未提前做好内存分配则会内存溢出,但是sds则会根据alloc与len计算预留内存是否足够分配重新申请内存
动态扩展	缓冲区溢出已经阐述这个概念,sds的内存空间会在字符串内容变更时自动扩展计算。策略为`当字符换小于1M时*2翻倍,大于1M时每次扩容1M`
惰性释放	与空间预分配相似操作的还有内存惰性释放,即字符串删除某些内容后所占用的内存空间并不会立即释放,后续字符串变更扩展就无需再申请内存

二：ZipList

ziplist可以说把redis对于内存的极致操作体现的淋漓尽致,链表除了节点值之外还需要维护前后节点两个指针,并且还会造成内存碎片。压缩列表紧凑的内存布局,所有节点都维护在整块内存中处理

2.1 ZipList结构

属性名称	作用含义
zlbytes	列表健占用内存的总字节数,在对列表健内存重分配或者是计算zlend的时候使用
zltail	指向压缩列表起始地址的指针
zllen	压缩列表的节点数量
entry	压缩列表保存的节点数据
zlend	压缩列表的尾节点

2.2 Entry节点结构

属性名称	作用含义
previous_entry_length	字节为单位记录上一个节点的长度,如果上一个字节长度小于254占用1字节。大于254占用5字节,第一个字节设置为OxFE(十进制254),后面四个字节储存长度
encoding	记录content记录的数据类型以及长度。长度一、二、五字节,值的最高位为00、01、10表示类型为字节数组,长度使用除去最高位的其它位记录。11开头表示储存整数,除去最高位其他位置表示content数据长度
content	记录压缩列表记录的数据

2.3 连锁更新

一个压缩列表节点在保存上一个节点长度使用previous_entry_length属性,这个属性可以使用1字节或者是5字节。假设现有一个压缩列表里面保存的节点长度全部都是250-253,这时候previous_entry_length使用一字节记录就行。但是这时候添加一个新节点到头节点的位置,恰好这个节点的大小大于254字节,这时候所有后面字节都需要更新,因为他们的previous_entry_length都会变成5字节

三：QuickList

list链表是redis中常用对象之一,之前一些版本中底层编码数据采用双向链表、压缩列表的数据结构。但是后续考虑链表指针维护开销以及内存碎片原因,开发新的数据结构quicklist,这是一个双向链表和压缩列表的混合体

3.1 quicklist图示

3.2 结构描述

typedef struct quicklist {
    quicklistNode *head;
    quicklistNode *tail;
    unsigned long count;
    unsigned long len;          
    int fill : 16;             
    unsigned int compress : 16;
} quicklist;

属性名称	作用含义
head	头部节点
tail	尾部节点
count	压缩列表元素数量总数
len	ziplist节点数量
fill	单个ziplist节点的填充因子
compress	不压缩节点的深度

3.3 ziplist节点

quicklist 内部默认单个 ziplist 长度为 8k字节，超出了这个字节数就会新建一个 ziplist。ziplist 的长度由配置参数 list-max-ziplist-size决定

3.4 LZF压缩

快速列表ziplist为了push与pop操作的效率默认首尾节点不进行LZF压缩,如果需要设置更多节点不进行LZF压缩可以通过redis.conf配置文件中1099行list-compress-depth 0参数定义

四：Dict

redis中的hash、set等对象都有使用到字典这个数据结构,字典底层实现使用哈希表的结构。字典中主要掌握它的渐进式hash,结构源码位置位于dict.h文件中

4.1 字典结构

typedef struct dict {
    dictType *type;
    void *privdata;
    dictht ht[2];
    long rehashidx;
} dict;

属性名称	作用含义
type	自定义一些操作的方法,拷贝key、拷贝value、销毁key、销毁value等
privdate	创建dict时传入,用于某些特殊操作回传给调用函数
ht	[0]用于数据存储,[1]用于rehash变更
rehashidx	表示rehash进度,-1表示未进行rehash

4.2 哈希表结构

typedef struct dictht {
    dictEntry **table;
    unsigned long size;
    unsigned long sizemask;
    unsigned long used;
} dictht;

属性名称	作用含义
table	hash表节点
size	hash表大小
sizemark	哈希表大小掩码,计算索引值。大小等于size -1
used	哈希表已有的节点数量

4.3 哈希表节点结构

typedef struct dictEntry{
    void *key;
    union{
        void *val;
        uint64_tu64;
        int64_ts64;
    }v;
    struct dictEntry *next;
}dictEntry

属性名称	作用含义
key	保存数据的key值
union	值对象,可以是一个对象,因为有个对象空指针或者是uint64、int64的整数
next	指向下一个Entry的指针,形成一个链表

4.4 渐进式rehash

字典的rehash操作数据量过大时并不是一次完成,而是分批次逐渐进行
rehash过程中新插入字典数据放在[1]哈希表中,并将原[0]中数据重新进行hash计算加入[1]中。读操作将会读取[0]、[1]两个哈希表
rehash过程标志使用dict中属性rehashidx标识
rehash采用cow写时复制技术

五：Intset

redis中常用对象set会用到的底层数据结构

5.1 整数集合特点

1：内容全是数字
2：内存连续
3：元素有序,不可重复

5.2 Intset结构

typedef struct intset{
    uint32_t encoding;
    uint32_t length;
    int8_t contents[];
}intset;

属性名称	作用含义
encoding	整数集合可以有三种编码方式16、32、64
length	整数集合数组中保存的元素个数
contents	从小到大保存的整数集合中的元素

六：ZipList

zset中用到的一个数据结构,查询快是真的,性能可以和红黑树、AVL树不相上下

6.1 跳跃表结构

typedef struct zskiplist{
    //表头结点和尾节点
    structz skiplistNode *heade,*tail;
    //表中节点数量
    unsigned long length;
    //表中层数最大的节点的层数
    int level;
}zskiplist;

属性名称	作用含义
head	跳跃表头结点
tail	跳跃表尾节点
length	跳跃表节点数量,表头结点不记录在里面
level	跳跃表最大层数,不记录表头节点

6.2 跳跃表节点

typedof struct zskiplistNode{
    //层
    struct zskiplistNode{
        //前进指针
        struct zskiplistNode *forward;
        //跨度
        unsihned int span;
    }level[];
    //后退指针
    struct zskiplistNode *backward;
    //分值
    double score；
    //成员对象
    robj *obj;
}zsikplistNode;

属性名称	作用含义
zskiplistNode	集合记录该节点位于的每一层
forward	每一层节点对应的下一个节点
span	距离下一个节点需要跨越的层数
backward	后退指针
score	节点分数值
obj	跳跃表节点保存的对象