Gaming leaderboards rank players by score. Requirements: update score, get player rank, get top players, get players around a rank.
Scale: M players, K score updates/second, K rank queries/second. Scores change frequently. Real-time rankings expected.