Điểm số trong một tập hợp được sắp xếp hỗ trợ số dấu phẩy động có độ chính xác gấp đôi, vì vậy có thể một giải pháp tốt hơn sẽ là lưu trữ điểm số redis dưới dạng điểm cao.timestamp
ví dụ. (mã giả)
highscore = 100
timestamp = now()
redis.zadd('myleaderboard', highscore + '.' + timestamp, playerId)
Điều này có nghĩa là nhiều người chơi đạt được cùng một điểm số cao cũng sẽ được sắp xếp dựa trên thời gian họ đạt được điểm số cao đó như sau
Đối với người chơi 1 ...
redis.zadd('myleaderboard', '100.1362345366', "Charles")
Đối với người chơi 2 ...
redis.zadd('myleaderboard', '100.1362345399', "Babbage")
Xem câu hỏi này để biết thêm chi tiết:Điểm duy nhất cho bảng thành tích redis