使用Redis实现分布式锁（Java版）