基于Redis对用户数量进行统计——计数器系统的模拟实现