How Podium Fixes Redis Leaderboard Tie-Breaking With Atomic Lua Sequences

Redis sorted sets break score ties using lexicographic ordering, which is deterministic but not meaningful to players or game designers. Podium, an open-source Redis-backed leaderboard service, addresses this by assigning a unique ordering token whenever a player reaches a new score. Common approaches like millisecond timestamps and floating-point score packing were ruled out due to clock skew, concurrency collisions, and IEEE 754 precision limits. Instead, Podium uses an atomic Lua script to decrement a per-leaderboard counter starting at the maximum signed 64-bit integer, generating tokens that naturally preserve first-arrival order under concurrent writes. The encoded token is stored as an internal member name mapped to the public player ID, ensuring correct removal and re-insertion when scores change.