De score in een gesorteerde set ondersteunt drijvende-kommagetallen met dubbele precisie, dus een betere oplossing zou zijn om de redis-score op te slaan als highscore.timestamp
bijv. (pseudocode)
highscore = 100
timestamp = now()
redis.zadd('myleaderboard', highscore + '.' + timestamp, playerId)
Dit zou betekenen dat meerdere spelers die dezelfde hoge score hebben behaald, ook worden gesorteerd op de tijd dat ze die hoge score hebben behaald, zoals hieronder beschreven
Voor speler 1...
redis.zadd('myleaderboard', '100.1362345366', "Charles")
Voor speler 2...
redis.zadd('myleaderboard', '100.1362345399', "Babbage")
Zie deze vraag voor meer informatie:Unieke score voor redis-klassement