• BITFIELD key [GET type offset] [SET type offset value] [INCRBY type offset increment] [OVERFLOW WRAP|SAT|FAIL]
    • 支持的子命令以及数字类型
    • 二进制位和位置偏移量
    • 溢出控制
    • 作用
    • 性能注意事项
    • 二进制位的排列
    • 返回值

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

    可用版本: >= 3.2.0
    时间复杂度: 每个子命令的复杂度为 O(1) 。

    BITFIELD 命令可以将一个 Redis 字符串看作是一个由二进制位组成的数组,并对这个数组中储存的长度不同的整数进行访问(被储存的整数无需进行对齐)。换句话说,通过这个命令,用户可以执行诸如“对偏移量 1234 上的 5 位长有符号整数进行设置”、“获取偏移量 4567 上的 31 位长无符号整数”等操作。此外,BITFIELD 命令还可以对指定的整数执行加法操作和减法操作,并且这些操作可以通过设置妥善地处理计算时出现的溢出情况。

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

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

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

    注意:

    • 使用 GET 子命令对超出字符串当前范围的二进制位进行访问(包括键不存在的情况),超出部分的二进制位的值将被当做是 0 。

    • 使用 SET 子命令或者 INCRBY 子命令对超出字符串当前范围的二进制位进行访问将导致字符串被扩大,被扩大的部分会使用值为 0 的二进制位进行填充。在对字符串进行扩展时,命令会根据字符串目前已有的最远端二进制位,计算出执行操作所需的最小长度。

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

    以下是 BITFIELD 命令支持的子命令:

    • GET <type> <offset> —— 返回指定的二进制位范围。

    • SET <type> <offset> <value> —— 对指定的二进制位范围进行设置,并返回它的旧值。

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

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

    • OVERFLOW [WRAP|SAT|FAIL]

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

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

    二进制位和位置偏移量

    在二进制位范围命令中,用户有两种方法来设置偏移量:

    • 如果用户给定的是一个没有任何前缀的数字,那么这个数字指示的就是字符串以零为开始(zero-base)的偏移量。

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

    比如说,对于以下这个命令来说:

    1. BITFIELD mystring SET i8 #0 100 i8 #1 200

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

    溢出控制

    用户可以通过 OVERFLOW 命令以及以下展示的三个参数,指定 BITFIELD 命令在执行自增或者自减操作时,碰上向上溢出(overflow)或者向下溢出(underflow)情况时的行为:

    • WRAP :使用回绕(wrap around)方法处理有符号整数和无符号整数的溢出情况。对于无符号整数来说,回绕就像使用数值本身与能够被储存的最大无符号整数执行取模计算,这也是 C 语言的标准行为。对于有符号整数来说,上溢将导致数字重新从最小的负数开始计算,而下溢将导致数字重新从最大的正数开始计算。比如说,如果我们对一个值为 127i8 整数执行加一操作,那么将得到结果 -128

    • SAT :使用饱和计算(saturation arithmetic)方法处理溢出,也即是说,下溢计算的结果为最小的整数值,而上溢计算的结果为最大的整数值。举个例子,如果我们对一个值为 120i8 整数执行加 10 计算,那么命令的结果将为 i8 类型所能储存的最大整数值 127 。与此相反,如果一个针对 i8 值的计算造成了下溢,那么这个 i8 值将被设置为 -127

    • FAIL :在这一模式下,命令将拒绝执行那些会导致上溢或者下溢情况出现的计算,并向用户返回空值表示计算未被执行。

    需要注意的是,OVERFLOW 子命令只会对紧随着它之后被执行的 INCRBY 命令产生效果,这一效果将一直持续到与它一同被执行的下一个 OVERFLOW 命令为止。在默认情况下,INCRBY 命令使用 WRAP 方式来处理溢出计算。

    以下是一个使用 OVERFLOW 子命令来控制溢出行为的例子:

    1. > BITFIELD mykey incrby u2 100 1 OVERFLOW SAT incrby u2 102 1
    2. 1) (integer) 1
    3. 2) (integer) 1
    4.  
    5. > BITFIELD mykey incrby u2 100 1 OVERFLOW SAT incrby u2 102 1
    6. 1) (integer) 2
    7. 2) (integer) 2
    8.  
    9. > BITFIELD mykey incrby u2 100 1 OVERFLOW SAT incrby u2 102 1
    10. 1) (integer) 3
    11. 2) (integer) 3
    12.  
    13. > BITFIELD mykey incrby u2 100 1 OVERFLOW SAT incrby u2 102 1
    14. 1) (integer) 0 -- 使用默认的 WRAP 方式处理溢出
    15. 2) (integer) 3 -- 使用 SAT 方式处理溢出

    而以下则是一个因为 OVERFLOW FAIL 行为而导致子命令返回空值的例子:

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

    作用

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

    性能注意事项

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

    二进制位的排列

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

    1. +--------+--------+
    2. |00000001|01110000|
    3. +--------+--------+

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

    返回值

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