java-redis排行榜value+time排序

需求

做一个送花排行榜

• 根据玩家送花数量倒叙排列
• 送花数量相同时，先送花的在前面

思路

用redis存取数据，自动维护有序集合 。
但值一样时，无法保证谁在前谁在后。所以可以把存入的时间考虑进去。

这样排序就变成了： 数值 + 时间。
因为送花数量是整数，那能不能把时间变成小数加在后面呢，这样取数据的时候，直接取整就是原始数据了。

公式:
newValue = value + 1 - time / Math.pow(10, (int) Math.log10(time) + 1d)
value原始数据，time是存入时间毫秒数，newValue存入redis中的数据
newValue整数部分等于value

极值大：value大&time小。
两个玩家value值一样，先进榜（time小）的应该在前面。

代码

public class RankWithTime {
   
    // 玩家类
    static class Player {
   
        String name;
        int value;
        double saveTime;

        public Player(String name, int value) {
   
            this.name = name;
            this.value = value;
        }

        public void setSaveTime(double saveTime) {
   
            this.saveTime = saveTime;
        }

        public int getValue() {
   
            return value;
        }

        public String getName() {
   
            return name;
        }

        @Override
        public String toString() {
   
            return "Player{" +
                    "name='" + name + '\'' +
                    ", value=" + value +
                    ", saveTime=" + saveTime +
                    '}';
        }
    }

    // 数据存储部分 启动类redis作用
    static class Redis {
   
        private static Redis INSTANCE;

        private Redis() {
   }

        public static Redis getInstance() {
   
            if (INSTANCE == null) {
   
                INSTANCE = new Redis();
            }
            return INSTANCE;