Redis Lua脚本实现CAS（检查和设置）？

Question

local x=string.len(ARGV[1]);
if redis.call('GETRANGE', KEYS[1], 0, x-1) == ARGV[1] then
    redis.call('SET', KEYS[1], ARGV[2]);
    return 1;
    end;
return 0

下面是一个在前缀值为“bar”的键“foo”上调用脚本的示例（在redis-cli中）：

eval "local x=string.len(ARGV[1]); if redis.call('GETRANGE', KEYS[1], 0, x-1) == ARGV[1] then redis.call('SET', KEYS[1], ARGV[2]); return 1; end; return 0" 1 foo bar barbazzle

我认为这种使用模式可能是这样的情况：您希望同时存储一个“Geofence令牌”和一个带有键的值...如果并发客户端持有正确的Geofence令牌，则允许它们尝试更新该值。

这看起来像是代替watch/multi/exec语义的安全使用模式吗？（似乎您可以获取当前值，在本地代码中拆分隔离令牌，构建一个新值，然后尝试随时更新密钥，使用似乎比watch/multi/exec调用更容易混淆的语义）。

Answer 1

根据Redis的文档，在原子性方面你会很好：

Redis使用相同的Lua解释器来运行所有命令。另外，Redis保证脚本以原子的方式执行：在执行脚本时不会执行其他脚本或Redis命令。这个语义类似于MULTI/exec的语义。从所有其他客户机的角度来看，脚本的效果要么仍然不可见，要么已经完成。

但是，如果脚本太慢，就会导致问题。因此，对于需要一些逻辑和原子性的轻操作来说，脚本是最好的。

例如：您有如下脚本：

redis.call('set', 'foo', 1)
redis.call('rpush', 'foo', 2)

脚本执行将返回错误，但是foo已经在redis中设置为1。

与你的问题无关的事情：我注意到你用了

eval "your_raw_code" key_count keys argv

> redis-cli eval "$(cat path/to/script/script_name.lua)" key_count keys argv