redis实现分布式的方法总结