Redis sorted sets for O(log n) score updates and rank queries; MySQL holds durable points and profiles. Top-N, a player's own rank, and the players around them.