利用redis做分布式的原理