基础:万丈高楼平地起 —— Redis 基础数据结构

千里之行,始于足下。本节我们的学习目标是:快速理解并掌握 Redis 的基础知识。

由于本节内容是 Redis 最简单最容易掌握的知识,如果读者已经很熟悉 Redis 的基础数据结构,从珍惜生命的角度出发,你可以略过本节内容,跳到下一节继续阅读。如果你觉得本节的动画有点晃眼,阅读起来不那么舒服,可以看看作者的另一篇文章《Redis 数据结构基础教程》

要体验 Redis,我们先从 Redis 安装说起。

Redis 安装

体验 Redis 需要使用 Linux 或者 Mac 环境,如果是 Windows 可以考虑使用虚拟机。主要方式有四种:

  1. 使用 Docker 安装。
  2. 通过 Github 源码编译。
  3. 直接安装 apt-get install(Ubuntu)、yum install(RedHat) 或者 brew install(Mac)。
  4. 如果读者懒于安装操作,也可以使用网页版的 Web Redis 直接体验。

具体操作如下:

Docker 方式

  1. # 拉取 redis 镜像
  2. > docker pull redis
  3. # 运行 redis 容器
  4. > docker run --name myredis -d -p6379:6379 redis
  5. # 执行容器中的 redis-cli,可以直接使用命令行操作 redis
  6. > docker exec -it myredis redis-cli

Github 源码编译方式

  1. # 下载源码
  2. > git clone --branch 2.8 --depth 1 git@github.com:antirez/redis.git
  3. > cd redis
  4. # 编译
  5. > make
  6. > cd src
  7. # 运行服务器,daemonize表示在后台运行
  8. > ./redis-server --daemonize yes
  9. # 运行命令行
  10. > ./redis-cli

直接安装方式

  1. # mac
  2. > brew install redis
  3. # ubuntu
  4. > apt-get install redis
  5. # redhat
  6. > yum install redis
  7. # 运行客户端
  8. > redis-cli

Redis 基础数据结构

Redis 有 5 种基础数据结构,分别为:string (字符串)、list (列表)、set (集合)、hash (哈希) 和 zset (有序集合)。熟练掌握这 5 种基本数据结构的使用是 Redis 知识最基础也最重要的部分,它也是在 Redis 面试题中问到最多的内容。

本节将带领 Redis 初学者快速通关这 5 种基本数据结构。考虑到 Redis 的命令非常多,这里只选取那些最常见的指令进行讲解,如果有遗漏常见指令,读者可以在评论去留言。

string (字符串)

字符串 string 是 Redis 最简单的数据结构。Redis 所有的数据结构都是以唯一的 key 字符串作为名称,然后通过这个唯一 key 值来获取相应的 value 数据。不同类型的数据结构的差异就在于 value 的结构不一样。

基础:万丈高楼平地起 —— Redis 基础数据结构 - 图1

字符串结构使用非常广泛,一个常见的用途就是缓存用户信息。我们将用户信息结构体使用 JSON 序列化成字符串,然后将序列化后的字符串塞进 Redis 来缓存。同样,取用户信息会经过一次反序列化的过程。

基础:万丈高楼平地起 —— Redis 基础数据结构 - 图2

Redis 的字符串是动态字符串,是可以修改的字符串,内部结构实现上类似于 Java 的 ArrayList,采用预分配冗余空间的方式来减少内存的频繁分配,如图中所示,内部为当前字符串实际分配的空间 capacity 一般要高于实际字符串长度 len。当字符串长度小于 1M 时,扩容都是加倍现有的空间,如果超过 1M,扩容时一次只会多扩 1M 的空间。需要注意的是字符串最大长度为 512M。

键值对

  1. > set name codehole
  2. OK
  3. > get name
  4. "codehole"
  5. > exists name
  6. (integer) 1
  7. > del name
  8. (integer) 1
  9. > get name
  10. (nil)

批量键值对

可以批量对多个字符串进行读写,节省网络耗时开销。

  1. > set name1 codehole
  2. OK
  3. > set name2 holycoder
  4. OK
  5. > mget name1 name2 name3 # 返回一个列表
  6. 1) "codehole"
  7. 2) "holycoder"
  8. 3) (nil)
  9. > mset name1 boy name2 girl name3 unknown
  10. > mget name1 name2 name3
  11. 1) "boy"
  12. 2) "girl"
  13. 3) "unknown"

过期和 set 命令扩展

可以对 key 设置过期时间,到点自动删除,这个功能常用来控制缓存的失效时间。不过这个「自动删除」的机制是比较复杂的,如果你感兴趣,可以继续深入阅读第 26 节《朝生暮死——过期策略》

  1. > set name codehole
  2. > get name
  3. "codehole"
  4. > expire name 5 # 5s 后过期
  5. ... # wait for 5s
  6. > get name
  7. (nil)
  8. > setex name 5 codehole # 5s 后过期,等价于 set+expire
  9. > get name
  10. "codehole"
  11. ... # wait for 5s
  12. > get name
  13. (nil)
  14. > setnx name codehole # 如果 name 不存在就执行 set 创建
  15. (integer) 1
  16. > get name
  17. "codehole"
  18. > setnx name holycoder
  19. (integer) 0 # 因为 name 已经存在,所以 set 创建不成功
  20. > get name
  21. "codehole" # 没有改变

计数

如果 value 值是一个整数,还可以对它进行自增操作。自增是有范围的,它的范围是 signed long 的最大最小值,超过了这个值,Redis 会报错。

  1. > set age 30
  2. OK
  3. > incr age
  4. (integer) 31
  5. > incrby age 5
  6. (integer) 36
  7. > incrby age -5
  8. (integer) 31
  9. > set codehole 9223372036854775807 # Long.Max
  10. OK
  11. > incr codehole
  12. (error) ERR increment or decrement would overflow

字符串是由多个字节组成,每个字节又是由 8 个 bit 组成,如此便可以将一个字符串看成很多 bit 的组合,这便是 bitmap「位图」数据结构,位图的具体使用会放到后面的章节来讲。

关于字符串的内部结构实现,请阅读第 32 节《极度深寒 —— 探索「字符串」内部》

list (列表)

Redis 的列表相当于 Java 语言里面的 LinkedList,注意它是链表而不是数组。这意味着 list 的插入和删除操作非常快,时间复杂度为 O(1),但是索引定位很慢,时间复杂度为 O(n),这点让人非常意外。

当列表弹出了最后一个元素之后,该数据结构自动被删除,内存被回收。

基础:万丈高楼平地起 —— Redis 基础数据结构 - 图3

Redis 的列表结构常用来做异步队列使用。将需要延后处理的任务结构体序列化成字符串塞进 Redis 的列表,另一个线程从这个列表中轮询数据进行处理。

右边进左边出:队列

  1. > rpush books python java golang
  2. (integer) 3
  3. > llen books
  4. (integer) 3
  5. > lpop books
  6. "python"
  7. > lpop books
  8. "java"
  9. > lpop books
  10. "golang"
  11. > lpop books
  12. (nil)

右边进右边出:栈

  1. > rpush books python java golang
  2. (integer) 3
  3. > rpop books
  4. "golang"
  5. > rpop books
  6. "java"
  7. > rpop books
  8. "python"
  9. > rpop books
  10. (nil)

慢操作

lindex 相当于 Java 链表的get(int index)方法,它需要对链表进行遍历,性能随着参数index增大而变差。

ltrim 和字面上的含义不太一样,个人觉得它叫 lretain(保留) 更合适一些,因为 ltrim 跟的两个参数start_indexend_index定义了一个区间,在这个区间内的值,ltrim 要保留,区间之外统统砍掉。我们可以通过ltrim来实现一个定长的链表,这一点非常有用。

index 可以为负数,index=-1表示倒数第一个元素,同样index=-2表示倒数第二个元素。

  1. > rpush books python java golang
  2. (integer) 3
  3. > lindex books 1 # O(n) 慎用
  4. "java"
  5. > lrange books 0 -1 # 获取所有元素,O(n) 慎用
  6. 1) "python"
  7. 2) "java"
  8. 3) "golang"
  9. > ltrim books 1 -1 # O(n) 慎用
  10. OK
  11. > lrange books 0 -1
  12. 1) "java"
  13. 2) "golang"
  14. > ltrim books 1 0 # 这其实是清空了整个列表,因为区间范围长度为负
  15. OK
  16. > llen books
  17. (integer) 0

快速列表

基础:万丈高楼平地起 —— Redis 基础数据结构 - 图4

如果再深入一点,你会发现 Redis 底层存储的还不是一个简单的 linkedlist,而是称之为快速链表 quicklist 的一个结构。

首先在列表元素较少的情况下会使用一块连续的内存存储,这个结构是 ziplist,也即是压缩列表。它将所有的元素紧挨着一起存储,分配的是一块连续的内存。当数据量比较多的时候才会改成 quicklist。因为普通的链表需要的附加指针空间太大,会比较浪费空间,而且会加重内存的碎片化。比如这个列表里存的只是 int 类型的数据,结构上还需要两个额外的指针 prevnext 。所以 Redis 将链表和 ziplist 结合起来组成了 quicklist。也就是将多个 ziplist 使用双向指针串起来使用。这样既满足了快速的插入删除性能,又不会出现太大的空间冗余。

关于列表的内部结构实现,请阅读第 34 节《极度深寒 —— 探索「压缩列表」内部》和第 35 节《极度深寒 —— 探索「快速列表」内部》

hash (字典)

Redis 的字典相当于 Java 语言里面的 HashMap,它是无序字典。内部实现结构上同 Java 的 HashMap 也是一致的,同样的数组 + 链表二维结构。第一维 hash 的数组位置碰撞时,就会将碰撞的元素使用链表串接起来。

基础:万丈高楼平地起 —— Redis 基础数据结构 - 图5

不同的是,Redis 的字典的值只能是字符串,另外它们 rehash 的方式不一样,因为 Java 的 HashMap 在字典很大时,rehash 是个耗时的操作,需要一次性全部 rehash。Redis 为了高性能,不能堵塞服务,所以采用了渐进式 rehash 策略。

基础:万丈高楼平地起 —— Redis 基础数据结构 - 图6

渐进式 rehash 会在 rehash 的同时,保留新旧两个 hash 结构,查询时会同时查询两个 hash 结构,然后在后续的定时任务中以及 hash 操作指令中,循序渐进地将旧 hash 的内容一点点迁移到新的 hash 结构中。当搬迁完成了,就会使用新的hash结构取而代之。

当 hash 移除了最后一个元素之后,该数据结构自动被删除,内存被回收。

基础:万丈高楼平地起 —— Redis 基础数据结构 - 图7

hash 结构也可以用来存储用户信息,不同于字符串一次性需要全部序列化整个对象,hash 可以对用户结构中的每个字段单独存储。这样当我们需要获取用户信息时可以进行部分获取。而以整个字符串的形式去保存用户信息的话就只能一次性全部读取,这样就会比较浪费网络流量。

hash 也有缺点,hash 结构的存储消耗要高于单个字符串,到底该使用 hash 还是字符串,需要根据实际情况再三权衡。

  1. > hset books java "think in java" # 命令行的字符串如果包含空格,要用引号括起来
  2. (integer) 1
  3. > hset books golang "concurrency in go"
  4. (integer) 1
  5. > hset books python "python cookbook"
  6. (integer) 1
  7. > hgetall books # entries(),key 和 value 间隔出现
  8. 1) "java"
  9. 2) "think in java"
  10. 3) "golang"
  11. 4) "concurrency in go"
  12. 5) "python"
  13. 6) "python cookbook"
  14. > hlen books
  15. (integer) 3
  16. > hget books java
  17. "think in java"
  18. > hset books golang "learning go programming" # 因为是更新操作,所以返回 0
  19. (integer) 0
  20. > hget books golang
  21. "learning go programming"
  22. > hmset books java "effective java" python "learning python" golang "modern golang programming" # 批量 set
  23. OK

同字符串对象一样,hash 结构中的单个子 key 也可以进行计数,它对应的指令是 hincrby,和 incr 使用基本一样。

  1. # 老钱又老了一岁
  2. > hincrby user-laoqian age 1
  3. (integer) 30

关于字典的内部结构实现,请阅读第 33 节《极度深寒 —— 探索「字典」内部》

set (集合)

Redis 的集合相当于 Java 语言里面的 HashSet,它内部的键值对是无序的唯一的。它的内部实现相当于一个特殊的字典,字典中所有的 value 都是一个值NULL

当集合中最后一个元素移除之后,数据结构自动删除,内存被回收。

基础:万丈高楼平地起 —— Redis 基础数据结构 - 图8

set 结构可以用来存储活动中奖的用户 ID,因为有去重功能,可以保证同一个用户不会中奖两次。

  1. > sadd books python
  2. (integer) 1
  3. > sadd books python # 重复
  4. (integer) 0
  5. > sadd books java golang
  6. (integer) 2
  7. > smembers books # 注意顺序,和插入的并不一致,因为 set 是无序的
  8. 1) "java"
  9. 2) "python"
  10. 3) "golang"
  11. > sismember books java # 查询某个 value 是否存在,相当于 contains(o)
  12. (integer) 1
  13. > sismember books rust
  14. (integer) 0
  15. > scard books # 获取长度相当于 count()
  16. (integer) 3
  17. > spop books # 弹出一个
  18. "java"

zset (有序集合)

zset 可能是 Redis 提供的最为特色的数据结构,它也是在面试中面试官最爱问的数据结构。它类似于 Java 的 SortedSet 和 HashMap 的结合体,一方面它是一个 set,保证了内部 value 的唯一性,另一方面它可以给每个 value 赋予一个 score,代表这个 value 的排序权重。它的内部实现用的是一种叫做「跳跃列表」的数据结构。

zset 中最后一个 value 被移除后,数据结构自动删除,内存被回收。

基础:万丈高楼平地起 —— Redis 基础数据结构 - 图9

zset 可以用来存粉丝列表,value 值是粉丝的用户 ID,score 是关注时间。我们可以对粉丝列表按关注时间进行排序。

zset 还可以用来存储学生的成绩,value 值是学生的 ID,score 是他的考试成绩。我们可以对成绩按分数进行排序就可以得到他的名次。

  1. > zadd books 9.0 "think in java"
  2. (integer) 1
  3. > zadd books 8.9 "java concurrency"
  4. (integer) 1
  5. > zadd books 8.6 "java cookbook"
  6. (integer) 1
  7. > zrange books 0 -1 # 按 score 排序列出,参数区间为排名范围
  8. 1) "java cookbook"
  9. 2) "java concurrency"
  10. 3) "think in java"
  11. > zrevrange books 0 -1 # 按 score 逆序列出,参数区间为排名范围
  12. 1) "think in java"
  13. 2) "java concurrency"
  14. 3) "java cookbook"
  15. > zcard books # 相当于 count()
  16. (integer) 3
  17. > zscore books "java concurrency" # 获取指定 value 的 score
  18. "8.9000000000000004" # 内部 score 使用 double 类型进行存储,所以存在小数点精度问题
  19. > zrank books "java concurrency" # 排名
  20. (integer) 1
  21. > zrangebyscore books 0 8.91 # 根据分值区间遍历 zset
  22. 1) "java cookbook"
  23. 2) "java concurrency"
  24. > zrangebyscore books -inf 8.91 withscores # 根据分值区间 (-∞, 8.91] 遍历 zset,同时返回分值。inf 代表 infinite,无穷大的意思。
  25. 1) "java cookbook"
  26. 2) "8.5999999999999996"
  27. 3) "java concurrency"
  28. 4) "8.9000000000000004"
  29. > zrem books "java concurrency" # 删除 value
  30. (integer) 1
  31. > zrange books 0 -1
  32. 1) "java cookbook"
  33. 2) "think in java"

跳跃列表

zset 内部的排序功能是通过「跳跃列表」数据结构来实现的,它的结构非常特殊,也比较复杂。

因为 zset 要支持随机的插入和删除,所以它不好使用数组来表示。我们先看一个普通的链表结构。

基础:万丈高楼平地起 —— Redis 基础数据结构 - 图10

我们需要这个链表按照 score 值进行排序。这意味着当有新元素需要插入时,要定位到特定位置的插入点,这样才可以继续保证链表是有序的。通常我们会通过二分查找来找到插入点,但是二分查找的对象必须是数组,只有数组才可以支持快速位置定位,链表做不到,那该怎么办?

想想一个创业公司,刚开始只有几个人,团队成员之间人人平等,都是联合创始人。随着公司的成长,人数渐渐变多,团队沟通成本随之增加。这时候就会引入组长制,对团队进行划分。每个团队会有一个组长。开会的时候分团队进行,多个组长之间还会有自己的会议安排。公司规模进一步扩展,需要再增加一个层级 —— 部门,每个部门会从组长列表中推选出一个代表来作为部长。部长们之间还会有自己的高层会议安排。

跳跃列表就是类似于这种层级制,最下面一层所有的元素都会串起来。然后每隔几个元素挑选出一个代表来,再将这几个代表使用另外一级指针串起来。然后在这些代表里再挑出二级代表,再串起来。最终就形成了金字塔结构。

想想你老家在世界地图中的位置:亚洲—>中国->安徽省->安庆市->枞阳县->汤沟镇->田间村->xxxx号,也是这样一个类似的结构。

基础:万丈高楼平地起 —— Redis 基础数据结构 - 图11

「跳跃列表」之所以「跳跃」,是因为内部的元素可能「身兼数职」,比如上图中间的这个元素,同时处于 L0、L1 和 L2 层,可以快速在不同层次之间进行「跳跃」。

定位插入点时,先在顶层进行定位,然后下潜到下一级定位,一直下潜到最底层找到合适的位置,将新元素插进去。你也许会问,那新插入的元素如何才有机会「身兼数职」呢?

跳跃列表采取一个随机策略来决定新元素可以兼职到第几层。

首先 L0 层肯定是 100% 了,L1 层只有 50% 的概率,L2 层只有 25% 的概率,L3 层只有 12.5% 的概率,一直随机到最顶层 L31 层。绝大多数元素都过不了几层,只有极少数元素可以深入到顶层。列表中的元素越多,能够深入的层次就越深,能进入到顶层的概率就会越大。

这还挺公平的,能不能进入中央不是靠拼爹,而是看运气。

关于跳跃列表的内部结构实现,请阅读第 36 节《极度深寒 —— 探索「跳跃列表」内部结构》

容器型数据结构的通用规则

list/set/hash/zset 这四种数据结构是容器型数据结构,它们共享下面两条通用规则:

  1. create if not exists

    如果容器不存在,那就创建一个,再进行操作。比如 rpush 操作刚开始是没有列表的,Redis 就会自动创建一个,然后再 rpush 进去新元素。

  2. drop if no elements

    如果容器里元素没有了,那么立即删除元素,释放内存。这意味着 lpop 操作到最后一个元素,列表就消失了。

过期时间

Redis 所有的数据结构都可以设置过期时间,时间到了,Redis 会自动删除相应的对象。需要注意的是过期是以对象为单位,比如一个 hash 结构的过期是整个 hash 对象的过期,而不是其中的某个子 key。

还有一个需要特别注意的地方是如果一个字符串已经设置了过期时间,然后你调用了 set 方法修改了它,它的过期时间会消失。

  1. 127.0.0.1:6379> set codehole yoyo
  2. OK
  3. 127.0.0.1:6379> expire codehole 600
  4. (integer) 1
  5. 127.0.0.1:6379> ttl codehole
  6. (integer) 597
  7. 127.0.0.1:6379> set codehole yoyo
  8. OK
  9. 127.0.0.1:6379> ttl codehole
  10. (integer) -1

思考 & 作业

  1. 如果你是 Java 用户,请定义一个用户信息结构体,然后使用 fastjson 对用户信息对象进行序列化和反序列化,再使用 Jedis 对 Redis 缓存的用户信息进行存和取。

  2. 如果你是 Python 用户,使用内置的 JSON 包就可以了。然后通过 redis-py 来对 Redis 缓存的用户信息进行存和取。

  3. 想想如果要改成用 hash 结构来缓存用户信息,你该如何封装比较合适?

  4. 想想平时还有哪些指令你平时用过而本小节没有提到的?

  5. 回想一下掘金社区的功能模块中分别会使用到哪些数据结构?

扩展阅读

留言