Redis Lua 脚本的原子性：为什么 Lua 脚本能保证原子性，与事务 MULTI/EXEC 的区别

在 Redis 中，原子性 是指一组操作要么全部执行成功，要么全部不执行，中间状态对外不可见。Lua 脚本与 Redis 内置事务（MULTI/EXEC）都能实现原子性，但底层机制和适用场景存在显著差异。理解这些差异，是编写可靠限流脚本的关键。

1. Lua 脚本的原子性原理

Redis 使用单线程事件循环处理命令。当执行一个 Lua 脚本时，Redis 会将该脚本作为一个整体放入事件循环中，在脚本执行完毕之前，不会处理任何其他客户端命令、AOF 写入或复制操作。这种“阻塞式单次执行”机制保证了原子性：

• 脚本内所有 Redis 命令（如 redis.call()、redis.pcall()）在脚本执行期间按顺序执行，不会被其他命令插入。
• 脚本执行过程中，其他客户端看到的数据状态要么是脚本执行前的状态，要么是脚本执行后的状态，不存在中间状态。
• 脚本执行失败（如运行时错误、语法错误）时，Redis 不会回滚已执行的写操作，但会丢弃脚本的后续命令，并返回错误给调用方。由于脚本是原子执行的，失败时已执行的操作仍然可见，这与传统数据库事务的“全有或全无”略有不同。

2. MULTI/EXEC 事务的原子性原理

Redis 事务通过 MULTI、EXEC、DISCARD、WATCH 命令实现。其原子性机制与 Lua 脚本不同：

• 命令入队阶段： 客户端发送 MULTI 后，后续命令不会立即执行，而是被放入一个队列中。
• 执行阶段： 客户端发送 EXEC 时，Redis 会一次性、顺序地执行队列中的所有命令。在执行期间，同样不会被其他客户端命令插入。
• 原子性保证： 事务内的所有命令要么全部执行，要么全部不执行（如 DISCARD 或 WATCH 监测的 key 被修改导致事务取消）。
• 不支持回滚： 如果事务中某个命令执行失败（如类型错误），Redis 不会回滚已成功的命令，而是继续执行后续命令。这与 Lua 脚本的行为一致。

3. 核心区别对比

4. 为什么限流脚本必须用 Lua？

限流场景要求“读取当前计数 → 判断是否超限 → 更新计数”这三个步骤必须原子执行。如果使用 MULTI/EXEC，由于事务内无法根据读取结果动态决定是否执行后续命令，你无法实现“如果超过阈值则拒绝请求”的逻辑。而 Lua 脚本可以在脚本内完成判断和条件写入：

-- 限流脚本示例：滑动窗口计数
local key = KEYS[1]
local now = tonumber(ARGV[1])
local window = tonumber(ARGV[2])
local limit = tonumber(ARGV[3])

-- 移除窗口外的旧记录
redis.call('ZREMRANGEBYSCORE', key, 0, now - window)

-- 获取当前窗口内的请求数
local current = redis.call('ZCARD', key)

if current < limit then
    -- 未超限，添加当前请求并设置过期时间
    redis.call('ZADD', key, now, now)
    redis.call('EXPIRE', key, window)
    return 1  -- 允许请求
else
    return 0  -- 拒绝请求
end

这个脚本在 Redis 中原子执行，不会出现多个客户端同时读到 current < limit 为 true 而同时放行的情况。

5. 原子性执行流程对比图

下图展示了 Lua 脚本与 MULTI/EXEC 事务在 Redis 单线程模型下的执行流程差异：

6. 选择建议

• 优先使用 Lua 脚本 当需要条件判断、循环、复杂计算或根据中间结果决定后续操作时（如限流、分布式锁、计数器）。
• 使用 MULTI/EXEC 当只需要批量执行一组独立命令，且不需要根据中间结果做决策时（如同时设置多个 key 的过期时间）。
• 避免混合使用 不要在事务中调用 Lua 脚本，也不要在 Lua 脚本中开启事务，这会增加复杂性和性能开销。
• 注意脚本超时 Lua 脚本默认最长执行 5 秒（可通过 lua-time-limit 配置），超时后 Redis 会强制终止脚本并返回错误。限流脚本应保持轻量，避免长时间循环。