Redis基本数据类型底层数据结构

Redis目前基本的数据类型有String、List、Set、ZSet、Hash五种，首先Redis是C语言开发的，所以底层就是用C语言封装数据结构或者C语言本身提供的数据结构来存储。redis内部的主要数据结构主要有 简单字符串（SDS）、双端链表、字典、压缩列表、跳跃表、整数集合 。Redis内部 并没有直接使用这些数据结构 来实现键值对数据库，而是基于这些数据结构创建了一个对象系统，这个 对象系统 包含了我们所熟知的五种基本类型数据，也就是 字符串对象、列表对象、哈希对象、集合对象和有序集合对象 这五种类型的对象。而它们每一种对象都使用到了至少一种前面所介绍的数据结构。下面介绍一下redis内部的主要几个数据结构 简单字符串（SDS）、双端链表、压缩列表、跳跃表 的定义。然后再介绍一下redis基本的五种数据类型，也就是五种类型的对象用到了上面的哪些数据结构。

redis的数据结构

SDS（Simple Dynamic String）简单字符串

1、redis定义：

Redis基本数据类型底层数据结构

2、使用范围：在redis里面，C本身的字符串只会作为字符串字面量（String literal）只用在一些不必对字符串值修改的地方，比如打印日志。

而redis需要使用字符串存储并且会修改的地方，都使用了SDS来存储。例如Key值。

3、优点：使用SDS来存储字符串的优点：

• SDS的len属性直接记录了长度，获取字符串长度的复杂度为O(1)。
• C字符串本身不记录长度容易产生缓存区溢出，而SDS杜绝了缓冲区的溢出。
• C字符串本身不记录长度，每次修改都要重新分配内存，SDS减少了重新分配内存次数。
• 优化了字符串缩短操作。并且可以保存任意格式的二进制数据，而C字符串必须含有编码。

链表（list）

1、链表：listNode结构来保存，多个listNode可以形成双向链表，redis定义了list表示头节点来持有链表，下图分别是节点listNode和链表list的定义。

2、redis定义：

• 节点listNode
• 链表list

3、使用范围：链表在redis中用作了列表键、发布与订阅、慢查询、监视器等

跳跃表（zskiplist）

1、跳跃表：是一种有序得数据结构，通过在每个节点上维持多个指向其他节点的指针，从而达到快速访问的目的，可以理解为改进版的双端链表，改进的手段是通过空间换取了时间。

2、复杂度：跳跃表支持平均O(logN)、最坏O(N)的查找复杂度，大部分条件下，跳跃表的效率可以和平衡树媲美，并且实现比平衡树简单。

• 跳跃表节点zskiplistNode
• 跳跃表zskiplist

3、跳跃表结构图：

Redis基本数据类型底层数据结构

仔细观察上图跳跃表的结构后，发现如果节点的层数越高，那么这个节点访问其他节点的速度就越快。换言之，level越高，代表了这个跳跃表的查找效率可能会比较高。当然并不是绝对的，因为redis每次创建跳跃表节点时，程序是根据幂次定律(越大的数出现概率越小)， 生成层数高度。同时，节点的顺序是根据每个节点的分值排序的，如果分值相同，那么根据对象的大小排序。

压缩列表（ziplist）

1、压缩列表：是redis为了节省内存而开发的，是由一系列特殊编码的连续内存块组成的顺序型数据结构，一个压缩列表的可以包含多个节点，每个节点可以保存一个字节数组或者一个整数值。

2、压缩列表结构图：

Redis基本数据类型底层数据结构

3、压缩列表特点：

• 是一种为节省内存开发的顺序性数据结构
• 可以包含多个节点，每个节点保存一个字节数组或者整数值
• 添加新节点到压缩列表，或者从压缩列表删除节点，可能会引发连锁更新操作，但是机率不高

Redis五种基本数据类型

上面提到过，redis并没有使用上面的数据结构直接用来实现键值对数据库，也就是常说的五种基本数据类型，而是创建了一个对象系统，这个系统包含了字符串对象，列表对象、哈希对象、集合对象、和有序集合对象这五种基本数据类型。这样做有一个好处是，我们可以针对不同的场景，对相同的数据类型对象使用不同的数据结构，来优化提高效率。

redisObject对象

1、对象：redis的键值对都是一个redisObject结构，该结构中有三个属性，type类型属性、encoding编码属性、ptr指向底层数据结构属性。

• redisObject对象定义

Redis基本数据类型底层数据结构

Redis基本数据类型底层数据结构

• 数据库的key值都是一个string字符串对象

2、编码常量：

Redis基本数据类型底层数据结构

String类型

字符串对象的编码是 int、raw、embstr 。参考上面的编码常量表，也就是说字符串类型的数据底层的数据结构使用的是整数、SDS、embstr编码的SDS。

1、编码转换

即上述几种编码会在何时转换，也就是redis底层决定用什么存储字符串数据？。

当int类型的编码通过操作存储的是字符串值，那么字符串对象的编码将从int变为raw。

List类型

列表对象的编码可以是 zipList压缩列表 和 linkedlist双端链表 。

1、编码转换

即上述两种编码会在何时转换，也就是redis底层什么时候会用压缩列表存储列表数据？什么时候会使用双端链表存储列表数据。

当列表同时满足以下两个条件时，列表对象会使用zipList编码，也就是压缩列表

• 列表对象保存的所有字符串元素的长度都小于64字节
• 列表保存的元素少于512个，

2、配置

上述两个条件是支持配置的，也就是说我们可以redis直接读取我们的配置，来决定列表list类型底层使用什么样的数据结构来存储数据

• list-max-ziplist-value
• list-max-ziplist-entries

Set类型

集合对象使用的是 intset整数集合 (intset底层使用的是整数集合数据结构)或者 hashtable哈希表 （hashtable底层使用的是字典数据结构，我们并没有在本文做详细介绍，有需要可以自己了解）

1、编码转换

当集合对象同时满足下面两个条件，会使用intset编码

• 集合对象保存的所有对象都是整数值
• 集合对象保存的元素数量小于512个；

2、配置

上述第二个条件是支持配置的。

• set-max-intset-entries

ZSet类型

有序集合的编码使用的是 ziplist压缩列表 和 skiplist跳跃表 。

注意：上面介绍skiplist的时候我们可以从结构图中明显看到存储集合元素的时候，score在每个节点中式如何存储的。那么如果ZSet使用的式ziplist压缩列表，redis怎么存储score和value值呢？其实很简单，每个集合的元素都使用两个节点来存储，第一个节点保存的是成员（member），第二个元素保存的是元素的分值（score）

1、编码转换

当有序集合对象可以同时满足以下两个条件时，使用ziplist编码

• 有序集合的所有元素长度都小于64字节
• 有序集合的元素数量小于128个；

2、配置

上述两个条件是支持配置的。

• zset-max-ziplist-value
• zset-max-ziplist-entries

Hash类型

哈希对象使用的是 ziplist压缩列表 或 hashtable哈希表 。（hashtable底层使用的是字典数据结构，我们并没有在本文做详细介绍，有需要可以自己了解）

1、编码转换

当哈希对象同时满足下面两个条件，使用ziplist压缩列表

• 哈希对象保存的所有键值对的键和值的字符串长度都小于64字节
• 哈希对象保存的键值对的数量小于512个；

2、配置

上述两个条件是支持配置的。

• hash-max-ziplist-value
• hash-max-ziplist-entries