Redis排行榜同分排序终极方案：毫秒级时间戳的妙用与工程实践

敲键盘的小夜猫

已于 2025-03-22 18:13:28 修改

阅读量547

点赞数 14

CC 4.0 BY-SA版权

分类专栏： redis 应用场景 java 文章标签： redis 数据库缓存

于 2025-03-22 18:08:10 首次发布

本文链接：https://blog.csdn.net/qq_30294911/article/details/146443137

java 同时被 3 个专栏收录

22 篇文章

订阅专栏

应用场景

12 篇文章

订阅专栏

redis

6 篇文章

订阅专栏

引言

在开发在线游戏、竞赛平台或社交媒体应用时，排行榜功能几乎是标配。排行榜不仅能激励用户参与，还能创造竞争氛围，提高平台活跃度。而Redis作为高性能的内存数据库，其sorted set(zset)数据结构天然适合实现排行榜功能。

Redis的zset：排行榜的理想选择

Redis的zset是一种有序集合，每个元素由一个成员(member)和一个分数(score)组成。zset会根据score自动对成员进行排序，这使它成为实现排行榜的理想数据结构。zset支持的丰富操作如ZADD、ZRANGE、ZREVRANGE等，让排行榜的实现变得简单高效。

实际需求与挑战

在实际业务场景中，我们经常遇到这样的需求：当多个用户分数相同时，需要按照提交时间的先后顺序进行排名。例如，在一个答题竞赛中，答对相同题目数的用户，应该按照完成时间的先后排序，先完成的排名靠前。

这就带来了挑战：Redis的zset默认情况下，当score相同时，会按照member的字典序排序，而非我们期望的时间顺序。

技术原理剖析

zset的排序机制

首先，我们需要理解zset的排序机制：

zset根据score从小到大排序
当score相同时，按member的字典顺序排序
使用ZREVRANGE等命令可以实现从大到小的排序

这一机制在大多数场景下工作良好，但在需要"分数相同时按时间排序"的需求下就显得不够灵活。

复合分数方案

解决这个问题的核心思路是：将分数和时间戳组合成一个复合的score值。由于Redis的score支持双精度浮点数，我们可以利用这一特性，将时间因素融入score中，同时确保主分数的排序优先级。

基本公式：

finalScore = score + timeWeight

但这里有个关键点：我们需要确保timeWeight足够小，不会影响到主分数的排序，同时又能正确反映时间顺序。

方案实现与调优

初始方案分析

最直观的思路是使用如下公式：

finalScore = score + timestamp / 1e13

这里，我们将时间戳除以一个足够大的数（10的13次方），确保它不会影响到整数部分的分数排序。

然而，这个方案存在一个问题：时间戳越大，finalScore越大，这意味着在分数相同的情况下，最新提交的会排在前面，而我们通常希望最早提交的排在前面。

优化方案

针对上述问题，我们需要调整公式，使得时间戳越小，timeWeight部分越大：

finalScore = score + (1 - timestamp / 1e13)
# 等价
finalScore = score + 1 - timestamp / 1e13

这样，在分数相同的情况下，提交时间越早，finalScore越大，排名就越靠前。

import redis.clients.jedis.Jedis;
import redis.clients.jedis.Tuple;

import java.text.SimpleDateFormat;
import java.util.Date;
import java.util.Set;

/**
 * Redis实现分数相同按时间排序的排行榜
 * 
 * 这个实现解决了分数相同时按提交时间先后排序的需求
 * 通过将分数和时间戳组合成一个复合score值，确保：
 * 1. 高分总是排在前面
 * 2. 分数相同时，先提交的排在前面
 */
public class TimeBasedRankingSystem {
    private static final String LEADERBOARD_KEY = "game_leaderboard";
    private static final double TIME_FACTOR = 1e13; // 时间戳权重因子
    
    private Jedis jedis;
    
    public TimeBasedRankingSystem(String host, int port) {
        this.jedis = new Jedis(host, port);
    }
    
    /**
     * 添加或更新用户分数
     * 
     * @param userId 用户ID
     * @param score 原始分数
     * @param timestamp 提交时间的时间戳(毫秒)
     */
    public void addScore(String userId, int score, long timestamp) {
        // 计算复合分数，确保分数相同时早提交的排前面
        double finalScore = score + (1 - timestamp / TIME_FACTOR);
        jedis.zadd(LEADERBOARD_KEY, finalScore, userId);
        System.out.printf("用户 %s 添加成功: 分数=%d, 时间=%s, 最终分数=%f%n", 
            userId, score, formatTimestamp(timestamp), finalScore);
    }
    
    /**
     * 获取排行榜前N名
     * 
     * @param topN 需要获取的排名数量
     * @return 排行榜结果集
     */
    public Set<Tuple> getTopN(int topN) {
        // 使用ZREVRANGE获取分数从高到低的排名
        return jedis.zrevrangeWithScores(LEADERBOARD_KEY, 0, topN - 1);
    }
    
    /**
     * 清空排行榜
     */
    public void clearLeaderboard() {
        jedis.del(LEADERBOARD_KEY);
        System.out.println("排行榜已清空");
    }
    
    /**
     * 显示当前排行榜
     */
    public void displayLeaderboard() {
        Set<Tuple> leaderboard = getTopN(10);
        System.out.println("\n当前排行榜：");
        System.out.println("排名\t用户ID\t复合分数");
        int rank = 1;
        for (Tuple tuple : leaderboard) {
            System.out.printf("%d\t%s\t%.13f%n", 
                rank++, tuple.getElement(), tuple.getScore());
        }
        System.out.println();
    }
    
    /**
     * 格式化时间戳为可读形式
     */
    private String formatTimestamp(long timestamp) {
        SimpleDateFormat sdf = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss");
        return sdf.format(new Date(timestamp));
    }
    
    /**
     * 关闭Redis连接
     */
    public void close() {
        if (jedis != null) {
            jedis.close();
        }
    }
    
    /**
     * 示例使用
     */
    public static void main(String[] args) {
        TimeBasedRankingSystem rankingSystem = new TimeBasedRankingSystem("localhost", 6379);
        try {
            // 清空之前的排行榜数据
            rankingSystem.clearLeaderboard();
            
            // 测试场景: 不同分数的用户
            rankingSystem.addScore("user1", 100, System.currentTimeMillis());
            rankingSystem.addScore("user2", 200, System.currentTimeMillis());
            rankingSystem.addScore("user3", 50, System.currentTimeMillis());
            
            // 显示当前排行榜
            rankingSystem.displayLeaderboard();
            
            // 测试场景: 相同分数，不同提交时间的用户
            long now = System.currentTimeMillis();
            rankingSystem.addScore("userA", 300, now);
            rankingSystem.addScore("userB", 300, now + 1000); // 1秒后
            rankingSystem.addScore("userC", 300, now + 2000); // 2秒后
            
            // 显示最终排行榜
            rankingSystem.displayLeaderboard();
        } finally {
            rankingSystem.close();
        }
    }
}

常见问题与解决方案

时间戳溢出问题

对于长期运行的系统，时间戳可能会变得非常大，影响score的计算精度。

解决方案：使用相对时间戳（如距离某个基准日期的秒数）而非绝对时间戳。

// 使用相对于2020-01-01的时间差
long baseTime = new SimpleDateFormat("yyyy-MM-dd").parse("2020-01-01").getTime();
long relativeTime = timestamp - baseTime;
double finalScore = score + (1 - relativeTime / TIME_FACTOR);