帮我用redis实现分布式锁，lua脚本实现

### 如何使用 Redis 和 Lua 脚本实现分布式锁

#### 使用 EVAL 命令执行 Lua 脚本
为了确保原子性，在 Redis 中可以通过 `EVAL` 或者 `EVALSHA` 来运行一段 Lua 脚本。这允许在一个命令内完成多项操作，从而避免竞争条件。

local key = KEYS[1]
local threadId = ARGV[1]
local leaseTime = tonumber(ARGV[2])

if redis.call("SETNX", key, threadId) == 1 then
    redis.call("PEXPIRE", key, leaseTime * 1000)
    return "ACQUIRED"
else
    return nil
end

这段 Lua 脚本尝试通过调用 `SETNX` 设置一个新键来创建锁；如果成功则进一步设定该键的生存时间（TTL），以防止死锁的发生[^2]。

#### Java 客户端示例代码
下面是一个简单的例子展示如何利用 Jedis 库在客户端应用中执行上述 Lua 脚本来获取分布式的锁：

import java.util.Arrays;
import java.util.List;

public class DistributedLockExample {
    
    public static void main(String[] args){
        String script = "local key=KEYS[1]; local threadId=ARGV[1]; local leaseTime=tonumber(ARGV[2]); "
                      + "if(redis.call('SETNX',key,threadId)==1)then "
                      + "redis.call('PEXPIRE',key,leaseTime*1000);return 'ACQUIRED' end;"
                      + "return nil;";
        
        List<String> keys = Arrays.asList("my_lock_key");
        List<String> arguments = Arrays.asList(Thread.currentThread().getName(), "30");

        try (Jedis jedis = new Jedis("localhost")) {            
            String lockResult = jedis.eval(script, keys, arguments);
            System.out.println(lockResult != null ? "Lock acquired!" : "Failed to acquire the lock.");
        }
    }
}

此程序片段展示了怎样构建并发送包含所需参数的 Lua 脚本给 Redis 服务器去获得一个具有指定超时期限(`leaseTime`) 的独占锁 (`my_lock_key`). 如果返回 `"ACQUIRED"` 表明已成功取得锁定状态.