使用redis设计一个简单的分布式锁