真题31 如何使用Redis实现分布式锁？