为什么分布式一定要有redis?