php+redis实现加锁与解锁操作

// 将用户添加进房间

$roomUsers = $this->redis->get("Room:{$roomId}:Users"); // ['李四', '王五']

$roomUsers[] = $user;

$this->redis->set("Room:{$roomId}:Users", $roomUsers); // ['李四', '王五', '张三']

// lua 脚本解锁

// 先判断 key的值是否为 value, TRUE 才会删除, 所以 $value 的设计要有随机唯一性

$script = 'if redis.call("get",KEYS[1]) == ARGV[1]

then

    return redis.call("del",KEYS[1])

else

    return 0

end ';

$this->redis->eval($script, array($key , $value), 1);