不确定如何运行Redis文档页面中的CAS（比较和交换）代码片段

是的，这是一种伪代码。

redis-cli 只接受 Redis 命令，它不是一个全面的编辑器，也不支持直接的 Lua 脚本（例如伪代码中的 element 变量）。

我记得大约9年前我曾经使用过lua，所以这对我来说并不像lua。

这不是Lua，而是伪代码。实际上，你链接到的Redis 事务页面根本没有提到Lua（这就是为什么在你的帖子中@Piglet的评论 是有意义的）。

然而，使用Redis的EVAL命令可以执行Lua脚本。

正如 @Dinei 所说，所给的示例是伪代码。

让我们看看它（我添加了行号以供我们参考）：

1 WATCH zset
2 element = ZRANGE zset 0 0
3 MULTI
4 ZREM zset element
5 EXEC

这个例子的重点在于解决如果我们仅读取密钥（使用 ZRANGE 在第 2 行），然后修改密钥（使用 ZREM 在第 4 行）时会发生的竞争条件。我假设您已经理解了如果我们没有使用“CAS”语义时的问题，所以不必深入探讨。

正如指出的那样，redis-cli 只能让您运行 redis 命令并查看它们的回复，但不能保存变量值等。

因此，这个例子的想法就是在第 2 行，我们正在将“读取”操作的结果保存到我们的伪变量 element 中。

然后，在第 4 行，我们在“set”操作中使用该值，当然，第 1、3 和 5 行只是“CAS”命令，以确保没有竞争条件。

假设此类命令的实际使用将在编程语言中的 redis 客户端中完成，该客户端将允许我们保存 ZRANGE 的返回值，然后稍后在 ZREM 命令中使用它。

但是，如果您想在 redis-cli 中运行它，您会看到下面的结果，其中我们假装客户端端代码已经读取并保存了从 zrange 返回的 "a" 并将该值传递给了 zrem 命令：

127.0.0.1:6379> zadd zset 1 a
(integer) 1
127.0.0.1:6379> watch zset
OK
127.0.0.1:6379> zrange zset 0 0
1) "a"
127.0.0.1:6379> multi
OK
127.0.0.1:6379> zrem zset a
QUEUED
127.0.0.1:6379> exec
1) (integer) 1
127.0.0.1:6379>