V2EX 首页   注册   登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  Redis

redis 现象求解

  •  
  •   zcj2898 · 11 天前 · 1483 次点击

    用 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 回复  |  直到 2017-10-12 16:12:06 +08:00
        1
    crystom   11 天前
    9007199254740992
        2
    crystom   11 天前
    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
        3
    zcj2898   11 天前
    @crystom 谢谢了,用来实现游戏排行,高 32bit 是排行值,低 32bit 是时间戳,有什么解决方案吗~
        4
    des   11 天前 via Android
    @zcj2898 为什么要这么存?是有什么特殊需求嘛?
        5
    zcj2898   11 天前
    @des 游戏从业者,比如英雄排行榜数据,依次比较英雄的战力、等级、星级、阶级如果都一样就比先到这个战力的时间戳,依次把这些值序列后就很容易造成 value 很大超过楼上说的 53 位精度。
        6
    daybyday   11 天前
    合理分配好:"战力、等级、星级、阶级、时间戳" 各项占用的位数,使得 score 值总大小在精度不丢失范围内
    你这场景,比较好的解决方案是:牺牲时间戳的精度,单位存分,甚至存小时,另外存成偏移值,而不是绝对值,也能省一些
        7
    crystom   11 天前
    在 redis2.6 上可能可以使用 lua script 解决(我没实际用过),不过我比较赞同楼上,如果让我做的话,会在业务上妥协精度。
        8
    WinterWu   11 天前
    1. 如楼上所言,想办法缩减长度,牺牲点时间戳精度之类 /尤其看需要的比较时间范围,用偏移值解决,比如今天零点开始的偏移值,可以算算去掉多少位数
    2. 改成字符串格式,利用字符串排序
    3. 分段-类似分桶,将分值按照范围分别保存和排序,然后在每个范围内仅保存偏移
        9
    zcj2898   11 天前
    感谢各位回复,我缩减一下各数据所占的位数。就是排行榜原来的数据要作废了。
        10
    wsy2220   11 天前
    存字符串吧
        11
    lslqtz   11 天前
    @zcj2898 对原来的数据进行解析转成新数据嘛
        12
    dangyuluo   11 天前
    原来的数据也不用作废。写个小程序转换一下就好。
        13
    czheo   11 天前
    可以存 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。
        14
    crystom   11 天前 via iPhone
    @czheo 浮点浮点,除以几的话和不除差不多的
        15
    blackshadow   11 天前
    base64 一下,用的时候在解开不就好了。
        16
    zhx1991   11 天前
    存成 string 自己转
        17
    yexiangyang   10 天前 via iPhone
    @zhx1991 zadd 不支持字符串分值
        18
    czheo   10 天前
    @crystom 想想好像确实差不多。
    DigitalOcean
    关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   鸣谢   ·   2356 人在线   最高记录 3541   ·  
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.0 · 67ms · UTC 06:03 · PVG 14:03 · LAX 23:03 · JFK 02:03
    ♥ Do have faith in what you're doing.
    沪ICP备16043287号-1