为什么分布式要用redis?