redis 现象求解

› Redis

› Redis 入门指南

› phpRedisAdmin

› Deploy Redis on Ubuntu or Debian

This topic created in 3153 days ago, the information mentioned may be changed or developed.

用 redis 存储大整数，出现精度丢失问题。网上查了下找不到有关信息。有没有大佬来解释一波？感激不尽！以及这个问题如何解决？

127.0.0.1:6379> zadd test 14338073069842465 2239

(integer) 0

127.0.0.1:6379> zscore test 2239

"14338073069842464"//储存 65，拿到 64

127.0.0.1:6379> zadd test 14338073069842466 2239

(integer) 0

127.0.0.1:6379> zscore test 2239

"14338073069842466"//储存 66，拿到 66

127.0.0.1:6379> zadd test 14338073069842463 2239

(integer) 0

127.0.0.1:6379> zscore test 2239

"14338073069842464"//储存 63，拿到 64

127.0.0.1:6379> zadd test 14338073069842462 2239

(integer) 0

127.0.0.1:6379> zscore test 2239

"14338073069842462"//储存 62，拿到 62

18 replies • 2017-10-12 16:12:06 +08:00

crystom

Oct 11, 2017

9007199254740992

crystom

Oct 11, 2017

Redis sorted sets use a double 64-bit floating point number to represent the score. In all the architectures we support, this is represented as an IEEE 754 floating point number, that is able to represent precisely integer numbers between -(2^53) and +(2^53) included. In more practical terms, all the integers between -9007199254740992 and 9007199254740992 are perfectly representable. Larger integers, or fractions, are internally represented in exponential form, so it is possible that you get only an approximation of the decimal number, or of the very big integer, that you set as score

zcj2898

Oct 11, 2017

@crystom 谢谢了，用来实现游戏排行，高 32bit 是排行值，低 32bit 是时间戳，有什么解决方案吗~

des

Oct 11, 2017 via Android

@zcj2898 为什么要这么存？是有什么特殊需求嘛？

zcj2898

Oct 11, 2017

@des 游戏从业者，比如英雄排行榜数据，依次比较英雄的战力、等级、星级、阶级如果都一样就比先到这个战力的时间戳，依次把这些值序列后就很容易造成 value 很大超过楼上说的 53 位精度。

daybyday

Oct 11, 2017

合理分配好："战力、等级、星级、阶级、时间戳" 各项占用的位数，使得 score 值总大小在精度不丢失范围内
你这场景，比较好的解决方案是：牺牲时间戳的精度，单位存分，甚至存小时，另外存成偏移值，而不是绝对值，也能省一些

crystom

Oct 11, 2017

在 redis2.6 上可能可以使用 lua script 解决（我没实际用过），不过我比较赞同楼上，如果让我做的话，会在业务上妥协精度。

WinterWu

Oct 11, 2017

1. 如楼上所言，想办法缩减长度，牺牲点时间戳精度之类 /尤其看需要的比较时间范围，用偏移值解决，比如今天零点开始的偏移值，可以算算去掉多少位数
2. 改成字符串格式，利用字符串排序
3. 分段-类似分桶，将分值按照范围分别保存和排序，然后在每个范围内仅保存偏移

zcj2898

Oct 11, 2017

感谢各位回复，我缩减一下各数据所占的位数。就是排行榜原来的数据要作废了。

wsy2220

Oct 11, 2017

存字符串吧

lslqtz

Oct 12, 2017

@zcj2898 对原来的数据进行解析转成新数据嘛

dangyuluo

Oct 12, 2017

原来的数据也不用作废。写个小程序转换一下就好。

czheo

Oct 12, 2017

可以存 score + timestamp/2^31。(2^31 - 1 是 timestamp 最大值，可以用到 2038 年)
比如积分 100，timestamp= 1507750681，存 100 + 1507750681/2^31 = 100.70210112305。
当 score 不够大，精度准确。score 过大，小数位精度会自动丢失。

如果为了 debug 方便，也可以存 score + timestamp/10^10。

crystom

Oct 12, 2017 via iPhone

@czheo 浮点浮点，除以几的话和不除差不多的

wombat

Oct 12, 2017

base64 一下，用的时候在解开不就好了。

zhx1991

Oct 12, 2017

存成 string 自己转

yexiangyang

Oct 12, 2017 via iPhone

@zhx1991 zadd 不支持字符串分值

czheo

Oct 12, 2017

@crystom 想想好像确实差不多。