laravel用redis预减库存必须用原子操作，lpop或lua脚本实现，禁止get+set或llen+lpush组合，否则高并发下必然超卖。
直接说结论：Laravel 用 Redis 实现高并发预减库存，核心不是“先查再减”，而是“用原子操作把库存当队列用”——LPUSH/LPOP 或 DECRBY 配合 Lua 脚本才是可靠路径，任何基于 GET + SET 的手动判断都会在压测下立刻超卖。
为什么 llen + lpush 组合会超卖
这是 Laravel 项目里最常踩的坑。比如写成这样：
$len = Redis::llen('stock:1001');
if ($len >= 10) {
return '已售罄';
}
Redis::lpush('stock:1001', $user_id);
问题出在 llen 和 lpush 之间不是原子的。100 个请求同时执行 llen，都读到 9，接着全部通过判断，最终写入 100 条——库存翻了 10 倍。
- 根本原因：Redis 的命令是原子的，但 PHP 代码段不是
- 关键指标：
llen只能用于监控或兜底，绝不能用于业务判断分支 - 真实场景中，哪怕只差 1 个库存，jmeter 模拟 50 并发就能稳定复现超卖
LPOP 作为库存令牌的实操写法
把库存“具象化”为一个 Redis List，每 pop 出一个元素，就代表一个可用名额。这才是真正线性、无竞争的扣减方式。
- 预热时一次性
LPUSH100 个占位符：Redis::lpush('stock:1001', array_fill(0, 100, 1)) - 抢购逻辑只用一行：
$token = Redis::lpop('stock:1001'); - 返回
false表示库存耗尽，无需额外判断 - 注意：
lpop是 O(1)，即使列表空了也极快，不阻塞
这个方案在 Laravel 中可直接嵌入控制器，不需要加锁、不依赖事务，压测 2000 QPS 也能保证库存精确归零。
Redis Skill - 高性能缓存管理
下载
Redis 缓存和数据结构管理技能。通过自然语言操作 Redis，支持 String、Hash、List、Set、ZSet、Stream 等数据结构操作。当用户提到 Redis、缓存、消息队列、会话存储时使用此技能。
需要动态扣减数量时必须用 Lua 脚本
当用户下单不止 1 件（比如买 3 件），LPOP 就不适用了——你不能 pop 3 次再判断是否成功，中间有竞态窗口。此时必须用 Lua 保证“检查 + 扣减”一步到位。
- Lua 脚本里用
GET读库存，DECRBY扣减，再用GET确认结果，全程在 Redis 单线程内完成 - 脚本必须传入期望扣减量（
ARGV[1]）和最小允许库存（ARGV[2]），避免扣成负数 - 在 Laravel 中加载脚本：
Redis::eval($luaScript, 1, 'stock:1001', $buyQty, 0) - 返回值为
1表示成功，0表示库存不足，不要依赖异常捕获来判错
别试图用 setnx 加锁模拟这个逻辑——锁过期时间难估、锁失效后无法回滚、PHP 进程崩溃会导致死锁，这些在秒杀高峰都是致命问题。
预减成功后如何防重复下单
预减库存只是第一步，用户拿到“令牌”后还可能反复提交订单。必须在 Lua 脚本里同步记录已参与用户，否则一个用户抢到多个名额。
- 用
SADD把$user_id写入seckill:1001:users集合 - 在脚本开头加
SISMEMBER判断，命中直接 return 错误 - 集合 key 建议带商品 ID 和活动 ID，避免跨活动冲突
- 不要用字符串拼接用户 ID 存 hash，
SADD天然去重且 O(1)
这个点容易被忽略：预减库存和防重不是两个独立动作，必须在一个 Lua 脚本里完成。拆成两步调用，就又回到“查-改”非原子的老路。
