redis lua 位溢出

Question

我正在使用redislua并且需要对一个字段执行按位逻辑运算最多53位（redis有序集合分数的整数部分的默认长度）

不过看来我运气不好:

127.0.0.1:6379> eval 'return bit.lshift(1, 30) ' 0
(integer) 1073741824
127.0.0.1:6379> eval 'return bit.lshift(1, 31) ' 0
(integer) -2147483648

好像bit.*只能操作30位然后溢出(32位有符号整数)

我正在使用 Linux 64 位，redis 也是为 64 位编译的。好像是位库的限制：

http://bitop.luajit.org/api.html

Note that all bit operations return signed 32 bit numbers (rationale). And these print as signed decimal numbers by default.

另一方面...

eval 'return math.pow(2, 53) ' 0
(integer) 9007199254740992

知道如何更好地解决这个问题吗？

P.S。有人会说将此逻辑移至客户端 - 但我不能。作品比较复杂，需要和数据紧密配合

Answer 1

It seems bit.* can operate only on 30 bits and then overflows(32 bit signed integer)

不是真的。 LuaJIT 的 BitOp 适用于 32 位有符号整数。这就是为什么 2^31 是负数的原因。 BitOp 文档解释说，使用有符号 int32 而不是无符号的原因是因为体系结构兼容性问题：

Defining the result type as an unsigned number would not be cross-platform safe. All bit operations are thus defined to return results in the range of signed 32 bit numbers

http://bitop.luajit.org/semantics.html

在将位运算的结果与常量进行比较时，这有时会很麻烦。在这种情况下，有必要使用 bit.tobit() 规范化常量值。示例：

> = bit.lshift(1, 31) == 2147483648
false
> = bit.lshift(1, 31) == bit.tobit(2147483648)
true

无论如何，LuaJIT 的 BitOp 模块仅限于 32 位整数。

另一方面，如果您需要的所有按位运算都是 lshift 和 rshift，则可以用 Lua:

对这些函数进行编码

local function lshift(n, b)
   return n * 2^b
end

local function rshift(n, b)
   return n / 2^b
end

redis lua 位溢​​出

redis lua bit overflow

lua

overflow

redis

redis lua 位溢出