Redis 概念以及底层数据结构

Redis 简介

REmote DIctionary Server(Redis) 是一个由SalvatoreSanfilippo写的key-value存储系统。

Redis是一个开源的使用ANSI C语言编写、遵守BSD协议、支持网络、可基于内存亦可持久化的日志型、Key-Value数据库,并提供多种语言的API。

它通常被称为数据结构服务器,因为值(value)可以是字符串(String), 哈希(Map), 列表(list), 集合(sets) 和有序集合(sorted sets)等类型。

Redis特点

Redis 是完全开源免费的,遵守BSD协议,是一个高性能的key-value数据库。

Redis 与其他 key – value 缓存产品有以下三个特点:

Redis支持数据的持久化,可以将内存中的数据保持在磁盘中,重启的时候可以再次加载进行使用。

Redis不仅仅支持简单的key-value类型的数据,同时还提供list,set,zset,hash等数据结构的存储。

Redis支持数据的备份,即master-slave模式的数据备份。

Redis 优势

性能极高 – Redis能读的速度是110000次/s,写的速度是81000次/s 。

丰富的数据类型 – Redis支持 Strings, Lists, Hashes, Sets 及 Ordered Sets 数据类型操作。

原子 – Redis的所有操作都是原子性的,同时Redis还支持对几个操作全并后的原子性执行。

丰富的特性 – Redis 还支持 publish/subscribe, 队列,key 过期等等特性。

Redis对象类型简介

  • Redis是一种key/value型数据库,其中,每个key和value都是使用对象表示的。
    比如,我们执行以下代码:
redis> SET message "hello redis"  

其中的key是message,是一个包含了字符串”message”的对象。而value是一个包含了”hello redis”的对象。
Redis共有五种对象的类型,分别是:类型常量对象的名称REDIS_STRING字符串对象REDIS_LIST列表对象REDIS_HASH哈希对象REDIS_SET集合对象REDIS_ZSET有序集合对象Redis中的一个对象的结构体表示如下:“`typedef struct redisObject {

// 类型  
unsigned type:4;          

// 编码方式  
unsigned encoding: 4;  

// 引用计数  
int refcount;  

// 指向对象的值  
void *ptr;  

} robj;

type表示了该对象的对象类型,即上面五个中的一个。但为了提高存储效率与程序执行效率,每种对象的底层数据结构实现都可能不止一种。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| 跳跃表和字典

- 字符串对象

字符串对象的编码可以是int、raw或者embstr
如果一个字符串的内容可以转换为long,那么该字符串就会被转换成为long类型,对象的ptr就会指向该long,并且对象类型也用int类型表示。
普通的字符串有两种,embstr和raw。embstr应该是Redis 3.0新增的数据结构,在2.8中是没有的。如果字符串对象的长度小于39字节,就用embstr对象。否则用传统的raw对象。

#define REDIS_ENCODING_EMBSTR_SIZE_LIMIT 44
robj *createStringObject(char *ptr, size_t len) {
   if (len <= REDIS_ENCODING_EMBSTR_SIZE_LIMIT)
       return createEmbeddedStringObject(ptr,len);
   else
       return createRawStringObject(ptr,len);
}

embstr的好处有如下几点:
1. embstr的创建只需分配一次内存,而raw为两次(一次为[`sds`](https://github.com/antirez/redis/blob/unstable/src/sds.h)分配对象,另一次为objet分配对象,embstr省去了第一次)。
1. 相对地,释放内存的次数也由两次变为一次。
1. embstr的objet和sds放在一起,更好地利用缓存带来的优势。

raw和embstr的区别可以用下面两幅图所示:



![图-1.png](https://wt-box.worktile.com/public/db936e4c-844f-47f5-8c90-9c1c901b383c)


![图-2.png](https://wt-box.worktile.com/public/493f6e5b-e1ef-4943-a47f-35f574e5fee6)


- 列表对象
列表对象的编码可以是ziplist或者linkedlist
1. ziplist是一种压缩链表,它的好处是更能节省内存空间,因为它所存储的内容都是在连续的内存区域当中的。当列表对象元素不大,每个元素也不大的时候,就采用ziplist存储但当数据量过大时就ziplist就不是那么好用了。因为为了保证他存储内容在内存中的连续性,插入的复杂度是O(N),即每次插入都会重新进行realloc。如下图所示,对象结构中ptr所指向的就是一个ziplist整个ziplist只需要malloc一次,它们在内存中是一块连续的区域。


![图-3.png](https://wt-box.worktile.com/public/fa5419e6-b374-44a1-9af3-9a387c595d82)



2. linkedlist是一种双向链表。它的结构比较简单,节点中存放pre和next两个指针,还有节点相关的信息。当每增加一个node的时候,就需要重新malloc一块内存。



![图-4.png](https://wt-box.worktile.com/public/aca6bdb6-6557-466f-b0d6-b7c53fbae051)


- 哈希对象
哈希对象的底层实现可以是ziplist或者hashtable。
ziplist中的哈希对象是按照key1,value1,key2,value2这样的顺序存放来存储的。当对象数目不多且内容不大时,这种方式效率是很高的。

hashtable的是由dict这个结构来实现的, dict是一个字典,其中的指针dicht ht[2] 指向了两个哈希表

typedef struct dict {
   dictType type;
   void *privdata;
   dictht ht[2];
   long rehashidx; / rehashing not in progress if rehashidx == -1 /
   int iterators; / number of iterators currently running /
} dict;
typedef struct dictht {
   dictEntry *table;
   unsigned long size;
   unsigned long sizemask;
   unsigned long used;
} dictht;

dicht[0] 是用于真正存放数据,dicht[1]一般在哈希表元素过多进行rehash的时候用于中转数据。
dictht中的table用语真正存放元素了,每个key/value对用一个dictEntry表示,放在dictEntry数组中。


![图-5.png](https://wt-box.worktile.com/public/76fb0cf2-b867-4c8c-8d16-484248842abb)


- 集合对象
集合对象的编码可以是intset或者hashtable
intset是一个整数集合,里面存的为某种同一类型的整数,支持如下三种长度的整数:

#define INTSET_ENC_INT16 (sizeof(int16_t))
#define INTSET_ENC_INT32 (sizeof(int32_t))
#define INTSET_ENC_INT64 (sizeof(int64_t))

intset是一个有序集合,查找元素的复杂度为O(logN),但插入时不一定为O(logN),因为有可能涉及到升级操作。比如当集合里全是int16_t型的整数,这时要插入一个int32_t,那么为了维持集合中数据类型的一致,那么所有的数据都会被转换成int32_t类型,涉及到内存的重新分配,这时插入的复杂度就为O(N)了。
intset不支持降级操作。

- 有序集合对象
有序集合的编码可能两种,一种是ziplist,另一种是skiplist与dict的结合。
ziplist作为集合和作为哈希对象是一样的,member和score顺序存放。按照score从小到大顺序排列
skiplist是一种跳跃表,它实现了有序集合中的快速查找,在大多数情况下它的速度都可以和平衡树差不多。但它的实现比较简单,可以作为平衡树的替代品。它的结构比较特殊。下面分别是跳跃表skiplist和它内部的节点skiplistNode的结构体:

/*

  • 跳跃表
  • /
    typedef struct zskiplist {
     // 头节点,尾节点
     struct zskiplistNode header, *tail;
     // 节点数量
     unsigned long length;
     // 目前表内节点的最大层数
     int level;
    } zskiplist;
    / ZSETs use a specialized version of Skiplists /
    /
  • 跳跃表节点
  • /
    typedef struct zskiplistNode {
     // member 对象
     robj *obj;
     // 分值
     double score;
     // 后退指针
     struct zskiplistNode *backward;
     // 层
     struct zskiplistLevel {
  // 前进指针  
  struct zskiplistNode *forward;  
  // 这个层跨越的节点数量  
  unsigned int span;  

} level[];
} zskiplistNode;

head和tail分别指向头节点和尾节点,然后每个skiplistNode里面的结构又是分层的(即level数组)
用图表示,大概是下面这个样子:

图-6.png

总结

以上简单介绍了Redis的简介,特性以及五种对象类型和五种对象类型的底层实现。事实上,Redis的高效性和灵活性正是得益于同一个对象类型采用不同的底层结构,并且在必要的时候对二者进行转换,还有就是各种底层结构对内存的合理利用。

作者:龚林杰  Worktile高级工程师
转载请注明出处。

文章标题:Redis 概念以及底层数据结构,发布者:刘佳,转载请注明出处:https://worktile.com/kb/p/6508

(0)
打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
上一篇 2022年3月20日 上午1:15
下一篇 2022年3月20日 上午1:20

相关推荐

  • pid用哪些方法整定参数

    pid整定参数可以使用以下方法:1、z-n法;2、衰减震荡法;3、响应曲线法;4、IMC-PID。z-n法分为两步: 构建闭环控制回路,确定稳定极限。 然后根据公式计算控制器参数。 稳定极限是由P元件决定的。当出现稳态振荡时就达到了这个极限。 1、z-n法 z-n法分为两步: 构建闭环控制回路,确定…

    2023年1月10日
    11500
  • 图形化编程与代码编程的区别是什么

    区别在于图形化是代码的封装和模块化,图形化对没有编程知识的人相对友好,然而其局限是功能远劣于代码,只能用于教育和其它一些极少的场景;代码虽然对于没有基础的人相对困难,但其功能灵活多样,是实际中普遍采用的形式。 图形化编程 图形化编程在起初,是为孩子们涉足编程开发的。所以图形块显得卡通一点,不同图形块…

    2023年2月20日
    6600
  • 怎么用excel做甘特图

    用excel做甘特图的步骤:1、将任务和日期添加到甘特图的Excel工作表中;2、应用自动公式计算任务持续时间;3、从“插入”菜单中插入堆积条形图等。将任务和日期添加到甘特图的Excel工作表中是指,为“任务名称”、“开始日期”、“结束日期”和“工期”创建列,并填充详细信息。 1、将任务和日期添加到…

    2023年2月22日
    3200
  • 呆神王英键:信息安全行业低调大佬的一次脱轨式创业

    文| babayage 编辑 |馨 月 “呆神”王英键,跟呆字不沾半点关系,言谈举止中尽是通透融润的人生智慧。身为信息安全行业的低调大佬,入行早、辈分高、成就大,在三年一小变、五年一大变的信息产业中屹立18年不倒,帮衬的袍泽、带出的徒弟遍布信安领域。可就是这么一位阅尽春秋的高人,却也做出过让自己猛拍…

    2022年3月20日
    17900
  • Python的跨平台图形界面编程选用哪个库为好

    Python的跨平台图形界面编程可以选用的库有:1、Tkinter;2、pyui4win;3、Flexx。Tkinter库是python的标准库,它能够不需要下载安装就直接使用。优点就是使用简单、语法明确,确定就是课自定义化程度不高并且界面风格比较古老。 一、Tkinter Tkinter库是pyt…

    2023年2月10日
    3900
  • 什么是 IP

    IP 地址是一个唯一地址,用于标识互联网或本地网络上的设备。IP 代表“互联网协议”,它是控制通过互联网或本地网络发送的数据格式的一组规则。本质上,IP 地址是允许在网络上的设备之间发送信息的标识符:它们包含位置信息,并使设备可进行通信。 什么是 IP IP 地址是一串由句点分隔的数字。IP 地址表…

    2022年10月24日
    3.7K00
  • 精益看板 用什么软件做

    精益看板可以用以下软件做:一、Trello;二、Asana;三、Jira;四、KanbanFlow;五、Smartsheet。Trello 是一款轻量级的工作进度计划表软件,借助 Trello 的看板、卡片和清单来管理任何团队的项目或任务。它可以通过创建卡片、列表和标签来协作、追踪任务和进度。 一、…

    2023年3月19日
    300
  • 网关和路由器的区别

    网关和路由器的区别有:1、含义不同;2、功能不同;3、使用不同;4、支持上网的终端数量不同;5、WiFi信号覆盖范围不同。网关是一种不同设备不同网络协议之间实现数据传输的重要设备,而路由器是连接网络中各局域网、广域网的设备,是网络连接的桥梁。 1、含义不同 网关:是一种不同设备不同网络协议之间实现数…

    2023年1月31日
    24100
  • flutter 是一个什么框架

    Flutter是谷歌的移动UI框架,可以快速在iOS和Android上构建高质量的原生用户界面。 Flutter可以与现有的代码一起工作。在全世界,Flutter正在被越来越多的开发者和组织使用,并且Flutter是完全免费、开源的,可以用一套代码同时构建Android和iOS应用,性能可以达到原生…

    2023年1月30日
    2300
  • 持续交付和持续部署的区别

    持续交付和持续部署的区别有以下几点:1、持续部署意味着变更会被自动部署到生产环境中,而持续交付则表示变更可以被部署到生产环境中。2、如果要实施持续部署,必须先实施持续交付。3、持续交付在持续集成的基础上,而持续部署则是在持续交付的基础上。 持续交付和持续部署的区别: 1、持续部署意味着变更会被自动部…

    2022年10月17日
    9900

发表回复

登录后才能评论
联系我们
关注微信
关注微信
分享本页
返回顶部
PingCode 比 Jira 更好用的研发管理工具。免费试用         站点及SEO合作,请添加微:All-FeiFei