redis bitfield命令

BITFIELD key [GET type offset] [SET type offset value] [INCRBY type offset increment] [OVERFLOW WRAP|SAT|FAIL]

BITFIELD 命令可以将一个 Redis 字符串看作是一个由二进制位组成的数组, 并对这个数组中储存的不同长度二进制位的整数进行访问 (被储存的整数无需进行对齐)。 通过这个命令, 可以使用该命令对一个有符号的5位整型数的1234位设置指定值,也可以对一个31位无符号整型数的4567位进行取值。类似地,在对指定的整数进行自增和自减操作,本命令可以提供有保证的、可配置的上溢和下溢处理操作。

BITFIELD 命令可以在一次调用中同时对多个位范围进行操作:它接受一系列待执行的操作作为参数,并返回一个数组作为回复,数组中的每个元素就是对应操作的执行结果。

比如以下命令就展示了如何对位于偏移量 100 的 8 位长有符号整数执行加法操作,并获取位于偏移量 0 上的 4 位长无符号整数:

> BITFIELD mykey INCRBY i8 100 1 GET u4 0
1) (integer) 1
2) (integer) 0

注意:

  1. 使用 GET 子命令对超出字符串当前范围的二进制位进行访问(包括键不存在的情况),超出部分的二进制位的值将被当做是 0。
  2. 使用 SET or INCRBY 子命令对超出字符串当前范围的二进制位进行访问将导致字符串被扩大,被扩大的部分会使用值为 0 的二进制位进行填充。在对字符串进行扩展时,命令会根据字符串目前已有的最远端二进制位,计算出执行操作所需的最小长度。

*支持的子命令以及数字类型

支持的子命令

  • GET <type> <offset> — 返回指定的二进制位范围。
  • SET <type> <offset> <value> — 对指定的二进制位范围进行设置,并返回它的旧值。
  • INCRBY <type> <offset> <increment> — 对指定的二进制位范围执行加法操作,并返回它的旧值。用户可以通过向 increment 参数传入负值来实现相应的减法操作。

除了以上三个子命令之外,还有一个子命令,它可以改变之后执行的 INCRBY 子命令在发生溢出情况时的行为:

  • OVERFLOW [WRAP|SAT|FAIL]

当被设置的二进制位范围值为整数时,用户可以在类型参数的前面添加 i 来表示有符号整数, u 来表示无符号整数。 比如说,我们可以使用 u8 来表示 8 位长的无符号整数,也可以使用 i16 来表示 16 位长的有符号整数。

命令最大支持 64 位长的有符号整数以及 63 位长的无符号整数,其中无符号整数的 63 位长度限制是由于 Redis 协议目前还无法返回 64 位长的无符号整数而导致的。

*二进制位和位置偏移量

在二进制位范围命令中,用户有两种方法来设置偏移量:如果用户给定的是一个没有任何前缀的数字,那么这个数字指示的就是字符串以零为开始(zero-base)的偏移量。

如果用户给定的是一个带有 # 前缀的偏移量,那么命令将使用这个偏移量与被设置的数字类型的位长度相乘,从而计算出真正的偏移量。例如:

BITFIELD mystring SET i8 #0 100 i8 #1 200

命令会把 mystring 里面,第一个 i8 长度的二进制位的值设置为100 并把第二个 i8 长度的二进制位的值设置为 200 。当我们把一个字符串键当成数组来使用,并且数组中储存的都是同等长度的整数时,使用 # 前缀可以让我们免去手动计算被设置二进制位所在位置的麻烦。

*溢出控制

用户可以通过 OVERFLOW 以下三个参数来控制BITFIELD 命令在执行自增或者自减操作时上溢出和下溢出:

  • WRAP: 使用回绕(wrap around)方法处理有符号整数和无符号整数的溢出情况。对于无符号整数来说,回绕就像使用数值本身与能够被储存的最大无符号整数执行取模计算,这也是 C 语言的标准行为。对于有符号整数来说,上溢将导致数字重新从最小的负数开始计算,而下溢将导致数字重新从最大的正数开始计算。比如说,如果我们对一个值为 127 的 i8 整数执行加一操作,那么将得到结果 -128。
  • SAT: 使用饱和计算(saturation arithmetic)方法处理溢出,也即是说,下溢计算的结果为最小的整数值,而上溢计算的结果为最大的整数值。举个例子,如果我们对一个值为 120 的 i8 整数执行加 10 计算,那么命令的结果将为 i8 类型所能储存的最大整数值 127 。与此相反,如果一个针对 i8 值的计算造成了下溢,那么这个 i8 值将被设置为 -127 。
  • FAIL: 在这一模式下,命令将拒绝执行那些会导致上溢或者下溢情况出现的计算,并向用户返回空值表示计算未被执行。

需要注意的是, OVERFLOW 做作用于该命令之后,下一个 code>OVERFLOW子命令之前的INCRBY commands 命令。

默认情况下, INCRBY使用WRAP参数。

> BITFIELD mykey incrby u2 100 1 OVERFLOW SAT incrby u2 102 1
1) (integer) 1
2) (integer) 1
> BITFIELD mykey incrby u2 100 1 OVERFLOW SAT incrby u2 102 1
1) (integer) 2
2) (integer) 2
> BITFIELD mykey incrby u2 100 1 OVERFLOW SAT incrby u2 102 1
1) (integer) 3
2) (integer) 3
> BITFIELD mykey incrby u2 100 1 OVERFLOW SAT incrby u2 102 1
1) (integer) 0
2) (integer) 3

*返回值

命令的返回值是一个数组,数组中的每个元素对应一个被执行的子命令。需要注意的是,OVERFLOW 子命令本身并不产生任何回复。

例如下面的 OVERFLOW FAIL 返回 NULL.

> BITFIELD mykey OVERFLOW FAIL incrby u2 102 1
1) (nil)

*用途

BITFIELD 命令的作用在于它能够将很多小的整数储存到一个长度较大的位图中,又或者将一个非常庞大的键分割为多个较小的键来进行储存,从而非常高效地使用内存,使得 Redis 能够得到更多不同的应用 ——特别是在实时分析领域:BITFIELD 能够以指定的方式对计算溢出进行控制的能力,使得它可以被应用于这一领域。

*性能考虑

Usually BITFIELD 在一般情况下都是一个快速的命令,需要注意的是,访问一个长度较短的字符串的远端不存在的二进制位将引发一次内存分配操作,这一操作花费的时间可能会比命令访问已有的字符串花费的时间要长。

*二进制位的排列s

BITFIELD 把位图第一个字节偏移量 0 上的二进制位看作是 most significant 位,以此类推。举个例子,如果我们对一个已经预先被全部设置为 0 的位图进行设置,将它在偏移量 7 的值设置为 5 位无符号整数值 23 (二进制位为 10111 ),那么命令将生产出以下这个位图表示:

+--------+--------+
|00000001|01110000|
+--------+--------+

当偏移量和整数长度与字节边界进行对齐时,BITFIELD 表示二进制位的方式跟大端表示法(big endian)一致,但是在没有对齐的情况下,理解这些二进制位是如何进行排列也是非常重要的。