Redis 知识梳理 [ 五 种基础数据结构 ]

         Redis 有 5 种基础数据结构，分别为:string (字符串)、list (列表)、set (集 合)、hash (哈希) 和 zset (有序集合)。

1. 字符串

字符串 string 是 Redis 最简单的数据结构。它的内部表示就是一个字符串数组.

Redis 所有的数据结构都是以唯一 的 key 字符串作为名称，然后通过这个唯一 key 值来获取相应的 value 数据。

不同类型的数据结构的差异就在于 value 的结构不一样。

 

Redis 的字符串是动态字符串，是可以修改的字符串，内部结构实现上类似于 Java 的 ArrayList，

采用预分配冗余空间的方式来减少内存的频繁分配

 

内部为当前字符串实际分配的空间 capacity 一般要高于实际字符串长度 len。

当字符串长度小于 1M 时，扩容都是加倍现有的空间，如果超过 1M，

扩 容时一次只会多扩 1M 的空间。需要注意的是字符串最大长度为 512M。

 

键值对

  > set name codehole
  OK
  > get name
  "codehole"

  > exists name
  (integer) 1
  > del name
  (integer) 1
  > get name
  (nil)

批量键值对

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

 

 > set name1 codehole
  OK
  > set name2 holycoder
  OK

    > mget name1 name2 name3 # 返回一个列表

   1) "codehole"
   2) "holycoder"
   3) (nil)

  > mset name1 boy name2 girl name3 unknown
  > mget name1 name2 name3
  1) "boy"
  2) "girl"
  3) "unknown"

 

过期和 set 命令扩展

       可以对 key 设置过期时间，到点自动删除，这个功能常用来控制缓存的失效时 间。

 

 

> set name codehole
> get name
"codehole"
> expire name 5 # 5s 后过期 ... # wait for 5s

  > get name
  (nil)

 

 

> setex name 5 codehole # 5s 后过期，等价于 set+expire > get name
"codehole"
... # wait for 5s

  > get name
  (nil)

 

> setnx name codehole # 如果 name 不存在就执行 set 创建 (integer) 1

> get name

"codehole"

 

> setnx name holycoder
(integer) 0 # 因为 name 已经存在，所以 set 创建不成功 > get name
"codehole" # 没有改变

 

计数

 

如果 value 值是一个整数，还可以对它进行自增操作。

自增是有范围的，它的范 围是 signed long 的最大最小值，超过了这个值，Redis 会报错。

 

 > set age 30
  OK
  > incr age
  (integer) 31
  > incrby age 5
  (integer) 36

  > incrby age -5
  (integer) 31
  > set codehole 9223372036854775807  # Long.Max
  OK
  > incr codehole
  (error) ERR increment or decrement would overflow

 

符串是由多个字节组成，每个字节又是由 8 个 bit 组成，如此便可以将一个字 符串看成很多 bit 的组合，这便是 bitmap「位图」数据结构

 

2.list (列表)

 

Redis 的列表相当于 Java 语言里面的 LinkedList，注意它是链表而不是数组。

这意味着 list 的插入和删除操作非常快，时间复杂度为 O(1)，但是索引定位很 慢，时间复杂度为 O(n)。

 

列表中的每个元素都使用双向 指针顺序，串起来可以同时支持前向后向遍历 。

 

 

 

Redis 的列表结构常用来做异步队列使用。

将需要延后处理的任务结构体序列化 成字符串塞进 Redis 的列表，另一个线程从这个列表中轮询数据进行处理。

 

 

右边进左边出:队列     队列是先进先出的数据结构

          > rpush books python java golang
        (integer) 3
        > llen books
        (integer) 3
        > lpop books
        "python"
        > lpop books
        "java"
        > lpop books
        "golang"
        > lpop books
        (nil)
 

右边进右边出:栈    栈是先进后出的数据结构，跟队列正好相反 。

    > rpush books python java golang
    (integer) 3
    > rpop books
    "golang"
    > rpop books
    "java"
    > rpop books
    "python"
    > rpop books
    (nil)

慢操作

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

 

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

 

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

        > rpush books python java golang (integer) 3
        > lindex books 1 # O(n) 慎用 "java"
        > lrange books 0 -1 # 获取所有元素，O(n) 慎用 1) "python"
        2) "java"
        3) "golang"
        > ltrim books 1 -1 # O(n) 慎用 OK
        > lrange books 0 -1
        1) "java"
        2) "golang"
        > ltrim books 1 0 # 这其实是清空了整个列表，因为区间范围长度为负 OK
        > llen books
        (integer) 0

 

 

快速列表

 

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

首先在列表元素较少的情况下会使用一块连续的内存存储，这个结构是ziplist ，也即是压缩列表。

它将所有的元素紧挨着一起存储，分配的是一块连续的内存。当数据量比较多的时候才会改成 quicklist 。

因为普通的链表需要 的附加指针空间太大，会比较浪费空间，而且会加重内存的碎片化。比如这个列 表里存的只是 int 类型的数据，结构上还需要两个额外的指针 prev 和 next 。所以 Redis 将链表和 ziplist 结合起来组成了 quicklist 。也就是将多个ziplist 使用双向指针串起来使用。这样既满足了快速的插入删除性能，又不 会出现太大的空间冗余。

 

 

 

 

 

3.hash (字典)

 

Redis 的字典相当于 Java 语言里面的 HashMap，它是无序字典。

内部实现结 构上同 Java 的 HashMap 也是一致的，同样的数组 + 链表二维结构。

第一维 hash 的数组位置碰撞时，就会将碰撞的元素使用链表串接起来。

 

 

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

 

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

 

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

 

 

 

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

 

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

 

        > hset books java "think in java" # 命令行的字符串如果包含空格，要用引号括起来 (integer) 1
        > hset books golang "concurrency in go"
        (integer) 1
        > hset books python "python cookbook"
        (integer) 1
        > hgetall books # entries()，key 和 value 间隔出现
        1) "java"
        2) "think in java"
        3) "golang"
        4) "concurrency in go"
        5) "python"
        6) "python cookbook"
        > hlen books
        (integer) 3
        > hget books java
        "think in java"
        > hset books golang "learning go programming" # 因为是更新操作，所以返回 0 (integer) 0
        > hget books golang
        "learning go programming"
        > hmset books java "effective java" python "learning python" golang "modern golang programming"
        OK 

 

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

 

#laoq 本来 29 岁
> hset user-laoq age 29

(integer) 1
#过了这个年，又老了 l 岁
> hincrby user- laoq  age 1

(integer) 30

 

4.set (集合)

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

 

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

 

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

 

        > sadd books python
        (integer) 1
        > sadd books python # 重复
        (integer) 0
        > sadd books java golang
        (integer) 2
        > smembers books # 注意顺序，和插入的并不一致，因为 set 是无序的
        1) "java"
        2) "python"
        3) "golang"
        > sismember books java # 查询某个 value 是否存在，相当于 contains(o) (integer) 1
        > sismember books rust
        (integer) 0
        > scard books # 获取长度相当于 count()
        (integer) 3
        > spop books # 弹出一个
        "java"
 

5.zset (有序列表)

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

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

 

        > zadd books 9.0 "think in java"
        (integer) 1
        > zadd books 8.9 "java concurrency"
        (integer) 1
        > zadd books 8.6 "java cookbook"
        (integer) 1

 

        > zrange books 0 -1 # 按 score 排序列出，参数区间为排名范围
        1) "java cookbook"
        2) "java concurrency"
        3) "think in java"

        > zrevrange books 0 -1 # 按 score 逆序列出，参数区间为排名范围
        1) "think in java"
        2) "java concurrency"
        3) "java cookbook"

        > zcard books # 相当于 count()
        (integer) 3

        > zscore books "java concurrency" # 获取指定 value 的 score   "8.9000000000000004" # 内部 score 使用 double 类型进行存储，所以存在小数点精度问题

        > zrank books "java concurrency" # 排名
        (integer) 1

        > zrangebyscore books 0 8.91 # 根据分值区间遍历 zset
        1) "java cookbook"
        2) "java concurrency"

        > zrangebyscore books -inf 8.91 withscores # 根据分值区间 (-∞, 8.91] 遍历 zset，同时返回分值。

        1) "java cookbook"
        2) "8.5999999999999996"
        3) "java concurrency"
        4) "8.9000000000000004"

        > zrem books "java concurrency" # 删除 value
        (integer) 1

        > zrange books 0 -1
        1) "java cookbook"
        2) "think in java"

 

 

跳跃列表

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

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

 

 

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

 

 

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

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

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

 

 

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

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

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

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

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

 

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

1. create if not exists

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

2. drop if no elements

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

 

过期时间

 

Redis 所有的数据结构都可以设置过期时间，时间到了，Redis 会自动删除相应 的对象。

需要注意的是过期是以对象为单位，比如一个 hash 结构的过期是整个 hash 对象的过期，而不是其中的某个子 key。

 

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

 

        127.0.0.1:6379> set codehole yoyo
        OK
        127.0.0.1:6379> expire codehole 600
        (integer) 1
        127.0.0.1:6379> ttl codehole
        (integer) 597
        127.0.0.1:6379> set codehole yoyo
        OK
        127.0.0.1:6379> ttl codehole
        (integer) -1