应用 3：节衣缩食 ——位图

1.位图用于用户一年的签到记录场景，可以减少存储空间

2.位图指令

（1）set,get,（前两个指令获取整个位图）setbit,getbit

（2）位图统计指令bitcount，用来统计指定范围内1的个数，位图查找指令bitpos，用来查找指定范围内出现的第一个0或1

比如我们可以通过  bitcount 统计用户一共签到了多少天，通过  bitpos  指令查找用户从哪一天开始第一次签到。如果指定了范围参数[start, end]，就可以统计在某个时间范围内用户签到了多少天，用户自某天以后的哪天开始签到。

注：start 和  end 参数是字节索引，也就是说指定的位范围必须是  8  的倍数， 而不能任意指定。因为这个设计，我们无法直接计算某个月内用户签到了多少天，而必须要将这个月所覆盖的字节内容全

部取出来  (getrange 可以取出字符串的子串)  然后在内存里进行统计

127.0.0.1:6379> set w hello

OK

127.0.0.1:6379> bitcount w

(integer) 21

127.0.0.1:6379> bitcount w 0 0  # 第一个字符中 1  的位数

(integer) 3

127.0.0.1:6379> bitcount w 0 1  # 前两个字符中 1  的位数

(integer) 7

127.0.0.1:6379> bitpos w 0  # 第一个 0  位(integer) 0

127.0.0.1:6379> bitpos w 1    # 第一个 1  位(integer) 1

127.0.0.1:6379> bitpos w 1 1 1  # 从第二个字符算起，第一个 1  位

(integer) 9

127.0.0.1:6379> bitpos w 1 2 2  # 从第三个字符算起，第一个 1  位

(integer) 17

3.魔术指令bitfield

Redis 的  3.2  版本以后新增了一个功能强大的指令。bitfield  有三个子指令，分别是get/set/incrby，它们都可以对指定位片段进行读写，但是最多只能处理64个连续的位，如果超过  64 位，就得使用多个子指令，bitfield  可以一次执行多个子指令。

接下来我们对照着上面的图看个简单的例子:

127.0.0.1:6379> set w hello

OK

127.0.0.1:6379> bitfield w get u4 0  # 从第一个位开始取 4 个位，结果是无符号数  (u)

(integer) 6

127.0.0.1:6379> bitfield w get u3 2  # 从第三个位开始取 3 个位，结果是无符号数  (u)

(integer) 5

127.0.0.1:6379> bitfield w get i4 0  # 从第一个位开始取 4 个位，结果是有符号数  (i)

1) (integer) 6

127.0.0.1:6379> bitfield w get i3 2  # 从第三个位开始取 3 个位，结果是有符号数  (i)

1) (integer) -3

所谓有符号数是指获取的位数组中第一个位是符号位，剩下的才是值。如果第一位是1，那就是负数。无符号数表示非负数，没有符号位，获取的位数组全部都是值。有符号数最多可以获取  64 位，无符号数只能获取  63 位  (因为  Redis 协议中的  integer  是有符号数，最大  64 位，不能传递  64 位无符号值)。如果超出位数限制，Redis  就会告诉你参数错误。

一次执行多个子指令

127.0.0.1:6379> bitfield w get u4 0 get u3 2 get i4 0 get i3 2

1) (integer) 6

2) (integer) 5

3) (integer) 6

4) (integer) -3

incrby：用来对指定范围的位进行自增操作

既然提到自增，就有可能出现溢出。如果增加了正数，会出现上溢，如果增加的是负数，就会出现下溢出。Redis默认的处理是折返。如果出现了溢出，就将溢出的符号位丢掉。如果是 8 位无符号数  255，加  1 后就会溢出，会全部变零。如果是  8 位有符号数  127，加  1 后就会溢出变成  -128。

127.0.0.1:6379> set w hello

OK

127.0.0.1:6379> bitfield w incrby u4 2 1  # 从第三个位开始，对接下来的 4 位无符号数  +1

1) (integer) 11

127.0.0.1:6379> bitfield w incrby u4 2 1

1) (integer) 12

127.0.0.1:6379> bitfield w incrby u4 2 1

1) (integer) 13

127.0.0.1:6379> bitfield w incrby u4 2 1

1) (integer) 14

127.0.0.1:6379> bitfield w incrby u4 2 1

1) (integer) 15

127.0.0.1:6379> bitfield w incrby u4 2 1  #  溢出折返了

1) (integer) 0

bitfield 指令提供了溢出策略子指令  overflow，用户可以选择溢出行为，默认是折返(wrap)，还可以选择失败  (fail) 报错不执行，以及饱和截断  (sat)，超过了范围就停留在最大最小值。overflow  指令只影响接下来的第一条指令，这条指令执行完后溢出策略会变成默认值折返  (wrap)。

饱和截断  SAT

127.0.0.1:6379> set w hello

OK

127.0.0.1:6379> bitfield w overflow sat incrby u4 2 1

1) (integer) 11

127.0.0.1:6379> bitfield w overflow sat incrby u4 2 1

1) (integer) 12

127.0.0.1:6379> bitfield w overflow sat incrby u4 2 1

1) (integer) 13

127.0.0.1:6379> bitfield w overflow sat incrby u4 2 1

1) (intege) 14

127.0.0.1:6379> bitfield w overflow sat incrby u4 2 1

1) (integer) 15

127.0.0.1:6379> bitfield w overflow sat incrby u4 2 1   #  保持最大值1) (integer) 15

失败不执行  FAIL

127.0.0.1:6379> set w hello

OK

127.0.0.1:6379> bitfield w overflow fail incrby u4 2 1

1) (integer) 11

127.0.0.1:6379> bitfield w overflow fail incrby u4 2 1

1) (integer) 12

127.0.0.1:6379> bitfield w overflow fail incrby u4 2 1

1) (integer) 13

127.0.0.1:6379> bitfield w overflow fail incrby u4 2 1

1) (integer) 14

127.0.0.1:6379> bitfield w overflow fail incrby u4 2 1

1) (integer) 15

127.0.0.1:6379> bitfield w overflow fail incrby u4 2 1   #  不执行

1) (nil)

以上为学习《Redis深度历险核心原理和应用实践》笔记