为了实时性和效率，第一次使用 Redis 做每天积分排行榜，使用 ZINCRBY rank:20200217 5 1插入数据。网上很多教程都没有提到 MySQL，总感觉不踏实：

1. 积分只保存在 Redis 里会不会丢失？（感觉不能太依赖持久化 aof）
2. 积分都是按天保存的，怎么统计某个用户的总积分？
3. 某个用户的积分记录怎么保存？

没有相关经验，百度也没找到答案。请教一下业界常规的做法是怎样的，在使用 Redis 的同时是否需要 MySQL 也保存一份数据？