必须用Lua脚本实现原子扣减，因Redis单线程执行可避免查库存、判断、扣减三步间的竞态导致超卖；基础脚本用GET+DECRBY，增强版支持一人一单、销量统计与Hash存储。
直接用 Redis 的 Lua 脚本实现秒杀库存扣减，核心是把“查库存→判断是否足够→扣减”这三步压缩进一个脚本，在 Redis 单线程内原子执行，彻底避开应用层竞争和网络往返延迟。它比分布式锁更轻量、更高效，也比数据库锁更扛压。
为什么必须用 Lua 脚本做原子扣减
秒杀时成千上万请求几乎同时到达，如果在 PHP 或 Java 里先 GET 库存、再 if 判断、再 DECRBY，中间必然存在时间窗口：多个请求读到同一数值（比如 10），都判断“够”，结果一起扣减，导致超卖。Lua 脚本由 Redis 服务端一次性解析执行，中间不被打断，天然串行，从根源上消灭竞态。
Redis Skill - 高性能缓存管理
下载
Redis 缓存和数据结构管理技能。通过自然语言操作 Redis，支持 String、Hash、List、Set、ZSet、Stream 等数据结构操作。当用户提到 Redis、缓存、消息队列、会话存储时使用此技能。
基础 Lua 脚本写法（字符串类型库存）
适用于单 SKU、简单库存场景：
- Redis 中预设库存键：
SET sku:1001:stock 100 - Lua 脚本（
decr_stock.lua）内容：
return redis.call("DECRBY", KEYS[1], ARGV[1])
else
return -1
end
- PHP 调用示例：
$result = $redis->eval(file_get_contents('decr_stock.lua'), ['sku:1001:stock'], [1]); - 返回值含义：正数表示扣减后剩余库存；-1 表示库存不足
增强版脚本（支持一人一单 + Hash 结构）
真实业务需防刷、记销量、支持限购，推荐用 Hash 存储多字段：
- 初始化：
HSET sku:1001 stock 100 sold 0 - Lua 脚本逻辑：
local sold = tonumber(redis.call("HGET", KEYS[1], "sold"))
local need = tonumber(ARGV[1])
local userId = ARGV[2]
local boughtKey = "bought:" .. KEYS[1]
-- 检查是否已买过
if redis.call("SISMEMBER", boughtKey, userId) == 1 then
return -2 -- 已参与
end
-- 检查库存是否充足
if (stock - sold) >= need then
redis.call("HINCRBY", KEYS[1], "sold", need)
redis.call("SADD", boughtKey, userId)
return stock - sold - need -- 返回剩余可售
else
return -1 -- 库存不足
end
- 调用时传入：
$redis->eval($script, ['sku:1001'], [1, 'user_12345']); - 脚本内完成：一人一单校验、库存计算、销量累加、买家标记，全部原子
关键注意事项
- 脚本必须幂等且无副作用：不能调用随机函数、不能依赖外部状态、不能有循环或超长计算，否则会阻塞 Redis 其他请求
- 避免在脚本里访问数据库或发 HTTP 请求：Lua 运行在 Redis 内部，只允许 Redis 命令
-
提前加载脚本（推荐）：用
SCRIPT LOAD获取 SHA1 值，后续用EVALSHA执行，减少网络传输和解析开销 - 库存回滚要靠业务层补救：Lua 扣减成功后，若后续订单创建失败，需异步补偿（如发 MQ 回滚库存），脚本本身不处理回滚
