Skor dalam set yang diurutkan mendukung angka floating point presisi ganda, jadi mungkin solusi yang lebih baik adalah menyimpan skor redis sebagai highscore.timestamp
misalnya (kode semu)
highscore = 100
timestamp = now()
redis.zadd('myleaderboard', highscore + '.' + timestamp, playerId)
Ini berarti bahwa beberapa pemain yang mencapai skor tinggi yang sama juga akan diurutkan berdasarkan waktu mereka mencapai skor tinggi tersebut sebagai berikut
Untuk pemain 1...
redis.zadd('myleaderboard', '100.1362345366', "Charles")
Untuk pemain 2...
redis.zadd('myleaderboard', '100.1362345399', "Babbage")
Lihat pertanyaan ini untuk detail selengkapnya:Skor unik untuk papan peringkat redis