库存 Lua 合约实验台

请求输入修改后运行

初始库存

重置实验时写入库存 key，运行后锁定。

本次扣减量

输入 0、负数、小数或文字可触发非法参数分支。

请求 token

成功后保持 token 不变再次运行，可观察幂等命中。

在 SADD 之后注入运行时错误用于观察：token 已写入，但随后的错误不会让它自动消失。

调用映射EVALSHA

KEYS[1] = "stock:sku-1001"
KEYS[2] = "stock:processed"
ARGV[1] = "3"
ARGV[2] = "order-2026-001"

GET stock:sku-1001

12件可售

SMEMBERS stock:processed

尚无已处理 token

本次原子执行轨迹

等待运行

KEYS[1] · 库存 keystock:sku-1001

KEYS[2] · 已处理集合stock:processed

ARGV[1] · 扣减量"3"

ARGV[2] · 请求 token"order-2026-001"

—

尚未返回 { code: null, stock: 12, token: null }

Redis 会从脚本第一条命令执行到最后一条，期间不会穿插另一个客户端的命令。因此两个请求不会同时读到同一份库存再各自扣减。

但脚本运行时报错不会回滚。勾选错误注入后，SADD 已经成功写入的 token 会保留，后面的 DECRBY 没有执行。真正的脚本应把参数校验放在任何写操作之前，并谨慎安排写入顺序。