Wynik w posortowanym zestawie obsługuje liczby zmiennoprzecinkowe o podwójnej precyzji, więc prawdopodobnie lepszym rozwiązaniem byłoby zapisanie wyniku redis jako highscore.timestamp
np. (pseudokod)
highscore = 100
timestamp = now()
redis.zadd('myleaderboard', highscore + '.' + timestamp, playerId)
Oznaczałoby to, że wielu graczy, którzy osiągnęli ten sam wysoki wynik, zostanie również posortowanych na podstawie czasu, w którym osiągnęli ten wysoki wynik, zgodnie z poniższym
Dla gracza 1...
redis.zadd('myleaderboard', '100.1362345366', "Charles")
Dla gracza 2...
redis.zadd('myleaderboard', '100.1362345399', "Babbage")
Zobacz to pytanie, aby uzyskać więcej informacji:Unikalna punktacja w tabeli liderów redis
