redis decr 如何保证操作的原子性

Redis 的 DECR 命令用于将存储在哈希表（Hashes）或整数集合（Sorted Sets）中的数字减一。为了保证操作的原子性，Redis 使用了 Lua 脚本来执行 DECR 操作。Lua 脚本在 Redis 中是原子性执行的，这意味着在执行过程中不会被其他命令打断。

当客户端发送 DECR 命令时，Redis 会将 Lua 脚本作为参数传递给它。然后，Redis 会执行这个脚本，并返回结果给客户端。在这个过程中，其他客户端无法执行其他命令，直到当前脚本的执行完成。这样就确保了 DECR 操作的原子性。

以下是一个简单的 Lua 脚本示例，用于实现 DECR 功能：

local key = KEYS[1]
local decrement = tonumber(ARGV[1])

local value = tonumber(redis.call("HGET", key, ARGV[2])) or 0
if value < decrement then
    return -1
else
    return redis.call("HSET", key, ARGV[2], value - decrement)
end

在这个脚本中，我们首先从哈希表中获取指定键的值，然后将其转换为数字。如果值小于要减去的数字，我们返回 -1，表示操作失败。否则，我们将更新哈希表中的值，并返回新值。

当客户端使用 EVAL 命令执行此脚本时，它将确保 DECR 操作的原子性。例如：

EVAL "脚本内容" 1 mykey decrement 1