Redis在游戏服务器的使用，看看战力排行榜的实现