Redis内部涉及 的数据结构

Redis就是内存中维持一个巨大的字典，字典的key节点及value节点是一个个数据结构。

在这里简单介绍一下Redis用到的数据结构。

[b]1.简易动态字符串（sds）[/b]

Redis没有使用传统的C字符串形式，取而代之的是自己实现了一个简单动态字符串简易动态字符串结构，简称为SDS（Simple Dynamic Strings）。

SDS兼容C字符串的同时，带来了二进制安全、计算更有效率、杜绝缓冲区溢出等优点。

struct sdshdr {
    /*字符串的长度。因为最后一个字节需为'\0'，所以也是buf已经使用的空间的长度-1*/
    int len;
    /*buf中剩余可用空间的长度*/
    int free;
    /*数据空间*/
    char buf[];
};

"hello"的存储方式在内部就可能(小伙伴们考虑一下为啥是可能呢？)表示成下面的形式

[img]http://dl2.iteye.com/upload/attachment/0111/0318/c1fafa4a-8f14-38f2-ba38-86ac007183e6.png[/img]

[b]2.双链表（adlist）[/b]
双链表是一个基本的数据结构，样子就像一串回形针。
Redis中的双链表跟小伙伴们在《数据结构》中学到的双链表一模一样，在此就不详细介绍了。
放个示意图

[img]http://dl2.iteye.com/upload/attachment/0111/0320/5a0e52d8-dc98-38a6-ad50-1fa74e4cd33a.png[/img]

[b]3.字典（dict）[/b]
作为key-value数据库，上面提到过整个Redis就是一个巨大的字典，字典的设计决定了此类产品的成败。

Redis的字典由字典类型特定函数和2个哈希表表组成。特定函数包括计算哈希值、复制键\值等一些列函数组成，两个哈希表用来实现渐进式 rehash。

typedef struct dict {
    /*类型特定函数组成的结构体*/
    dictType *type;
    /*私有数据*/
    void *privdata;
    /*两个哈希表*/
    dictht ht[2];
    /*是否在进行rehash中*/
    int rehashidx;
    /*目前正在运行迭代器的数量*/
    int iterators;
} dict;

哈希表hash算法采用比较流行的MurmurHash2算法，对于规律性较强的key，节点更加“分布均匀”。

用链表法处理hash碰撞，将多个哈希值相同的节点串连在一起。

渐进式 rehash是Redis字典特性，防止一次rehash导致系统资源使用增高可能导致的卡死。

非rehash时，数据会放到哈希表ht[0]；rehash时，新插入的数据会放置到ht[1]，同时每次字典操作都会从ht[0]移动一定数量的哈希表节点到ht[1]，直到ht[0]节点数变为0，
然后执行ht[0]=ht[1]，重置ht[1]。

示意图为正在rehash的字典的示意

[img]http://dl2.iteye.com/upload/attachment/0111/0322/3e4e4857-f492-3652-a229-b1da709eb4c9.png[/img]

[b]4.跳表（skiplist）[/b]
跳表是种偷懒的设计,用来替代平衡树，跳表的算法有同平衡树一样的渐进的预期时间边界，并且更简单、更快速和使用更少的空间。
跳表是按照层级来建造的，每层皆是一个链表，上层是下层的快速跑道可以更快的定位数据所在的位置范围，查询数据时逐层定位缩小范围直至范围变为1或者0。

typedef struct zskiplistNode {
    /* 成员对象,即存储的数据*/
    robj *obj;
    /*分值,用来排序*/
    double score;
    /*后退指针,用于跳表的从尾到头的遍历*/
    struct zskiplistNode *backward;
    /*层级*/
    struct zskiplistLevel {
        /*前进指针,指向本层的下一个节点*/
        struct zskiplistNode *forward;
        /* 跨度,记录到本层下一个节点的距离*/
        unsigned int span;
    } level[];
} zskiplistNode;

各个level节点记录前进指针的同时也会记录到下一个节点的跨度，遍历跳表只需按照跨度等于1从头到尾访问节点即可。

[img]http://dl2.iteye.com/upload/attachment/0111/0324/ee2ca5dd-835d-3a02-a697-8857da5ce7e8.png[/img]

[b]5.压缩列表（ziplist）[/b]

压缩列表是Redis为解决内存而设计的存储方式，到满足一定的条件（如元素的个数少、key或者value的长度短）的情形下，List和字典都有可能使用压缩列表存储。

压缩列表的存储结构如下：


[img]http://dl2.iteye.com/upload/attachment/0111/0330/138e19d8-e13c-3dea-a741-b5df00acc600.png[/img]


zlbytes 记录整个压缩表占用的字节数
zltail 记录压缩列表尾节点距离压力表第一个字节地址的偏移
zllen 表示压缩节点的个数
zlentry 为压缩表节点
zlend 压缩表结尾特殊字节，为0xFF

zlentry的结构如下

typedef struct zlentry {
    /*prevrawlen ：前置节点的长度 ,prevrawlensize ：编码 prevrawlen 所需的字节大小*/
    unsigned int prevrawlensize, prevrawlen;

    /*len ：当前节点值的长度,lensize ：编码 len 所需的字节大小*/
    unsigned int lensize, len;
    /*当前节点 header 的大小，等于 prevrawlensize + lensize*/
    unsigned int headersize;
    /*当前节点存储何种类型的数据*/
    unsigned char encoding;
    /*数据指针*/
    unsigned char *p;

} zlentry;

6.整数集合（intset）

当集合中只有整数时，Redis会使用下面的结构来存储这些整数。

typedef struct intset {
    /*编码方式*/
    uint32_t encoding;
    /*包含的元素个数*/
    uint32_t length;
    /*集合中的元素，会根据编码方式来决定一个元素占用多少个字节*/
    int8_t contents[];
} intset;

[img]http://dl2.iteye.com/upload/attachment/0111/0326/43a48863-7eb7-3b5f-9d6a-b1ae3025fefe.png[/img]